Conferences in DBLP
In Ryu Current Issues and Challenges in Embedded Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Saehwa Kim , Sukjae Cho , Seongsoo Hong Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementations. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Lindgren , Hans Hansson , Henrik Thane Using measurements to derive the worst-case execution time. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Theiling Extracting safe and precise control flow from binaries. [Citation Graph (0, 0)][DBLP ] Conf ] Hyung-Taek Lim , Seung-Min Yang A framework to model dependable real-time systems based on real-time object model. [Citation Graph (0, 0)][DBLP ] Conf ] Iain Bate , Guillem Bernat , G. Murphy , Peter P. Puschner Low-level analysis of a portable Java byte code WCET analysis framework. [Citation Graph (0, 0)][DBLP ] Conf ] Chi-Min Lin , Tien-Fu Chen Dynamic memory management for real-time embedded Java chips. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Anderson , Philip Holman Efficient pure-buffer algorithms for real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Abeni , Giorgio C. Buttazzo Support for dynamic QoS in the HARTIK kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Daeyoung Kim , Yann-Hang Lee , Mohamed F. Younis SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Jeffay , Gerardo Lamastra A comparative study of the realization of rate-based computing services in general purpose operating systems. [Citation Graph (0, 0)][DBLP ] Conf ] LihChyun Shu , Michal Young Chopping and versioning real-time transactions to avoid remote blocking. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Hyun Son , Myoung-Ho Kim Finding the critical path in a time-constrained workflow. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Lindström Extensions to optimistic concurrency control with time intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Byung-Kyu Choi , Riccardo Bettati Efficient resource management for hard real-time communication over differentiated services architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Yu-Sheng Huang , Chih-wen Hsueh Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel model. [Citation Graph (0, 0)][DBLP ] Conf ] Elisabeth Uhlemann , Per-Arne Wiberg , Tor Aulin , Lars K. Rasmussen Deadline dependent coding-a framework for wireless real-time communication. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Saez , Joan Vila , Alfons Crespo Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. [Citation Graph (0, 0)][DBLP ] Conf ] Radu Dobrin , Yusuf Özdemir , Gerhard Fohler Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedules. [Citation Graph (0, 0)][DBLP ] Conf ] Jochen Kreuzinger , A. Schulz , Matthias Pfeffer , Theo Ungerer , Uwe Brinkschulte , C. Krakowski Real-time scheduling on multithreaded processors. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Kee-Yin Ng , Calvin Kin-Cheung Hui , Wai Wong A multi-server design for a distributed MPEG video system with streaming support and QoS control. [Citation Graph (0, 0)][DBLP ] Conf ] Hacène Fouchal , Eric Petitjean , Sébastien Salva Testing timed systems with timed purposes. [Citation Graph (0, 0)][DBLP ] Conf ] Chris C. H. Ngan , Kam-yiu Lam Real-time multiple video player systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-Ho Kim , Sang-Wook Kim , Dae-Yong Kim , Wan Choi Implementing real-time scheduling daemon in general purpose operating system Unix. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Meylan , Aneema Bajpai , Riccardo Bettati ProtEx: a toolkit for the analysis of distributed real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Minseok Song , Naehyuck Chang , Heonshik Shin A new queue discipline for various delay and jitter requirements in real-time packet-switched networks. [Citation Graph (0, 0)][DBLP ] Conf ] Tatsuo Nakajima Explicit binding interface for supporting native ATM networks in a CORBA system. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Toetenel , R. F. Lutje Spelberg , G. Bandini Parametric verification of the IEEE 1394a Root Contention protocol using LPMC. [Citation Graph (0, 0)][DBLP ] Conf ] Song Wang , Yu-Chung Wang , Kwei-Jay Lin Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Libin Dong , Rami G. Melhem , Daniel Mossé Effect of scheduling jitter on end-to-end delay in TDMA protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Allalaghatta Pavan , Vipin Gopal , S. Song , N. Birch , R. Harinath , D. Castanon Admission control and resource allocation in a strictly priority based network. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio C. Buttazzo From Hard to Soft Real-Time Systems: Predictability vs. Efficiency. [Citation Graph (0, 0)][DBLP ] Conf ] Vangalur S. Alagar , D. Muthiayen Towards a mechanical verification of real-time reactive systems modeled in UML. [Citation Graph (0, 0)][DBLP ] Conf ] Andrés Terrasa , Ana García-Fornes , Vicente J. Botti Including user-defined timing exception support in FRTL. [Citation Graph (0, 0)][DBLP ] Conf ] Anders Wall , Kristian Sandström , Jukka Mäki-Turja , Christer Norström , Wang Yi Verifying temporal constraints on data in multi-rate transactions using timed automata. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando L. Pelayo , Fernando Cuartero , Valentín Valero Ruiz , Diego Cazorla An example of performance evaluation by using the stochastic process algebra: ROSA. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Lindgren , Hans Hansson , Christer Norström , Sasikumar Punnekkat Deriving reliability estimates of distributed real-time systems by simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Hakan Aydin , Rami G. Melhem , Daniel Mossé Optimal scheduling of imprecise computation tasks in the presence of multiple faults. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Anderson , Anand Srinivasan Pfair scheduling: beyond periodic task systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jörgen Hansson , Marcus Thuresson , Sang Hyuk Son Imprecise task scheduling and overload management using OR-ULD. [Citation Graph (0, 0)][DBLP ] Conf ] Joël Goossens , Sanjoy K. Baruah Multiprocessor algorithms for uniprocessor feasibility analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Mejía-Alvarez , Hakan Aydin , Daniel Mossé , Rami G. Melhem Scheduling optional computations in fault-tolerant real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Aloysius K. Mok Tracking Real-Time Systems Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Andersson , Jan Jonsson Fixed-priority preemptive multiprocessor scheduling: to partition or not to partition. [Citation Graph (0, 0)][DBLP ] Conf ] Yukikazu Nakamoto , Yoshihiro Tsujino , Nobuki Tokura Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devices. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Chevochot , Isabelle Puaut Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support. [Citation Graph (0, 0)][DBLP ] Conf ] Hyungill Kim , Sungyoung Lee , Byeong-Soo Jeong An improved feasible shortest path real-time fault-tolerant scheduling algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Daeyoung Kim , Yann-Hang Lee DC/sup 2/ scheduling for aperiodic tasks in strongly partitioned real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Pao-Ann Hsiung , Farn Wang , Ruey-Cheng Chen On the verification of Wireless Transaction Protocol using SGM and RED. [Citation Graph (0, 0)][DBLP ] Conf ] Baek-Young Choi , Sejun Song , Nigel Birch , Jim Huang Probabilistic approach to switched Ethernet for real-time control applications. [Citation Graph (0, 0)][DBLP ] Conf ] Dong-Hwan Park , Soon-Ju Kang IEEE1394 OHCI device driver architecture for guarantee real-time requirement. [Citation Graph (0, 0)][DBLP ] Conf ] Seungwoo Son , Chaedeok Lim , Heung-Nam Kim Debugging protocol for remote cross development environment. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian Sandström , Christer Norström , Magnus Ahlmark Frame packing in real-time communication. [Citation Graph (0, 0)][DBLP ] Conf ] David Polock , Dieter Zöbel Conformance testing of priority inheritance protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Li-Hsing Yen Probabilistic analysis of causal message ordering. [Citation Graph (0, 0)][DBLP ] Conf ] Abdeslam En-Nouaary , Ferhat Khendek , Rachida Dssouli Testing embedded real-time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Iwai , Jin Nakazawa , Hideyuki Tokuda Dragon: soft real-time event delivering architecture for networked sensors and appliances. [Citation Graph (0, 0)][DBLP ] Conf ] Håkan Sundell , Philippas Tsigas Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Khoumsi A new method for testing real time systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mi-Seon Choi , Hye-Sook Yoon , Eun-Mi Song , Young-Keol Kim , Young-Kuk Kim , Seong-il Jin , Mi-kyong Han , Wan Choi Two-step backup mechanism for real-time main memory database recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Heejun Han , Seog Park , Chanjung Park A concurrency control protocol for read-only transactions in real-time secure database systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Lindström , Kimmo E. E. Raatikainen Using importance of transactions and optimistic concurrency control in firm real-time databases. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Münnich PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systems. [Citation Graph (0, 0)][DBLP ] Conf ] Victor C. S. Lee , Kwok-Wa Lam , Sang Hyuk Son Real-time transaction processing with partial validation at mobile clients. [Citation Graph (0, 0)][DBLP ] Conf ] Naijun Zhan Another formal proof for Deadline Driven Scheduler. [Citation Graph (0, 0)][DBLP ] Conf ] Jyhjong Lin Real-time systems development: from structured analysis to object-oriented design. [Citation Graph (0, 0)][DBLP ] Conf ] D. Muthiayen , Vangalur S. Alagar , Ferhat Khendek , A. Sefidcon An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan M. Petters Bounding the execution time of real-time tasks on modern processors. [Citation Graph (0, 0)][DBLP ] Conf ] Vangalur S. Alagar , L. Zhang Automatic code generation for real-time reactive systems in TROMLAB environment. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Gustafsson Eliminating annotations by automatic flow analysis of real-time programs. [Citation Graph (0, 0)][DBLP ] Conf ] Seong Woo Kwak , Byung-Jae Choi , Byung Kook Kim Checkpointing strategy for multiple real-time tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Patricia Balbastre , Ismael Ripoll , Alfons Crespo Control tasks delay reduction under static and dynamic scheduling policies. [Citation Graph (0, 0)][DBLP ] Conf ] 