Abstract is missing.
- Current Issues and Challenges in Embedded Software DevelopmentIn Ryu. 3 [doi]
- Schedulability-aware mapping of real-time object-oriented models to multi-threaded implementationsSaehwa Kim, Sukjae Cho, Seongsoo Hong. 7-14 [doi]
- Using measurements to derive the worst-case execution timeMarkus Lindgren, Hans Hansson, Henrik Thane. 15-22 [doi]
- Extracting safe and precise control flow from binariesHenrik Theiling. 23-30 [doi]
- A framework to model dependable real-time systems based on real-time object modelHyung Taek Lim, Seung-Min Yang. 31-38 [doi]
- Low-level analysis of a portable Java byte code WCET analysis frameworkIain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner. 39 [doi]
- Dynamic memory management for real-time embedded Java chipsChi-Min Lin, Tien-Fu Chen. 49-56 [doi]
- Efficient pure-buffer algorithms for real-time systemsJames H. Anderson, Philip Holman. 57-64 [doi]
- Support for dynamic QoS in the HARTIK kernelLuca Abeni, Giorgio C. Buttazzo. 65-72 [doi]
- SPIRIT-/spl mu/Kernel for strongly partitioned real-time systemsDaeyoung Kim, Yann-Hang Lee, Mohamed F. Younis. 73-80 [doi]
- A comparative study of the realization of rate-based computing services in general purpose operating systemsKevin Jeffay, Gerardo Lamastra. 81 [doi]
- Chopping and versioning real-time transactions to avoid remote blockingLihChyun Shu, Michal Young. 93-101 [doi]
- Finding the critical path in a time-constrained workflowJin Hyun Son, Myoung-Ho Kim. 102-107 [doi]
- Extensions to optimistic concurrency control with time intervalsJan Lindström. 108 [doi]
- Efficient resource management for hard real-time communication over differentiated services architecturesByung Kyu Choi, Riccardo Bettati. 119-126 [doi]
- Minimizing the maximum end-to-end delay on tree structure using the distributed pinwheel modelYu-Sheng Huang, Chih-wen Hsueh. 127-134 [doi]
- Deadline dependent coding-a framework for wireless real-time communicationElisabeth Uhlemann, Per-Arne Wiberg, Tor Aulin, Lars K. Rasmussen. 135 [doi]
- Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedulesSergio Saez, Joan Vila i Carbó, Alfons Crespo. 145-149 [doi]
- Task attribute assignment of fixed priority scheduled tasks to reenact off-line schedulesRadu Dobrin, Yusuf Özdemir, Gerhard Fohler. 150-154 [doi]
- Real-time scheduling on multithreaded processorsJochen Kreuzinger, A. Schulz, Matthias Pfeffer, Theo Ungerer, Uwe Brinkschulte, C. Krakowski. 155-159 [doi]
- A multi-server design for a distributed MPEG video system with streaming support and QoS controlJoseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong. 160-165 [doi]
- Testing timed systems with timed purposesHacène Fouchal, Eric Petitjean, Sébastien Salva. 166-171 [doi]
- Real-time multiple video player systemsChris C. H. Ngan, Kam-yiu Lam. 172-176 [doi]
- Implementing real-time scheduling daemon in general purpose operating system UnixJin-Ho Kim, Sang-Wook Kim, Dae-Yong Kim, Wan Choi. 177-182 [doi]
- ProtEx: a toolkit for the analysis of distributed real-time systemsYves Meylan, Aneema Bajpai, Riccardo Bettati. 183 [doi]
- A new queue discipline for various delay and jitter requirements in real-time packet-switched networksMinseok Song, Naehyuck Chang, Heonshik Shin. 191-198 [doi]
- Explicit binding interface for supporting native ATM networks in a CORBA systemTatsuo Nakajima. 199-206 [doi]
- Parametric verification of the IEEE 1394a Root Contention protocol using LPMCHans Toetenel, R. F. Lutje Spelberg, G. Bandini. 207-214 [doi]
- Integrating the fixed priority scheduling and the total bandwidth server for aperiodic tasksSong Wang, Yu-Chung Wang, Kwei-Jay Lin. 215-222 [doi]
- Effect of scheduling jitter on end-to-end delay in TDMA protocolsLibin Dong, Rami G. Melhem, Daniel Mossé. 223-230 [doi]
- Admission control and resource allocation in a strictly priority based networkAllalaghatta Pavan, Vipin Gopal, S. Song, N. Birch, R. Harinath, D. Castanon. 231 [doi]
- From Hard to Soft Real-Time Systems: Predictability vs. EfficiencyGiorgio C. Buttazzo. 241 [doi]
- Towards a mechanical verification of real-time reactive systems modeled in UMLVangalur S. Alagar, D. Muthiayen. 245-254 [doi]
- Including user-defined timing exception support in FRTLAndrés Terrasa, Ana García-Fornes, Vicente J. Botti. 255-262 [doi]
- Verifying temporal constraints on data in multi-rate transactions using timed automataAnders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi. 263-270 [doi]
- An example of performance evaluation by using the stochastic process algebra: ROSAFernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla. 271-278 [doi]
- Deriving reliability estimates of distributed real-time systems by simulationMats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat. 279 [doi]
- Optimal scheduling of imprecise computation tasks in the presence of multiple faultsHakan Aydin, Rami G. Melhem, Daniel Mossé. 289-296 [doi]
- Pfair scheduling: beyond periodic task systemsJames H. Anderson, Anand Srinivasan. 297-306 [doi]
- Imprecise task scheduling and overload management using OR-ULDJörgen Hansson, Marcus Thuresson, Sang Hyuk Son. 307-314 [doi]
- Multiprocessor algorithms for uniprocessor feasibility analysisJoël Goossens, Sanjoy K. Baruah. 315-322 [doi]
- Scheduling optional computations in fault-tolerant real-time systemsPedro Mejía-Alvarez, Hakan Aydin, Daniel Mossé, Rami G. Melhem. 323 [doi]
- Tracking Real-Time Systems RequirementsAloysius K. Mok. 333 [doi]
- Fixed-priority preemptive multiprocessor scheduling: to partition or not to partitionBjörn Andersson, Jan Jonsson. 337-346 [doi]
- Real-time task scheduling algorithms for maximum utilization of secondary batteries in portable devicesYukikazu Nakamoto, Yoshihiro Tsujino, Nobuki Tokura. 347-354 [doi]
- Holistic schedulability analysis of a fault-tolerant real-time distributed run-time supportPascal Chevochot, Isabelle Puaut. 355-362 [doi]
- An improved feasible shortest path real-time fault-tolerant scheduling algorithmHyungill Kim, Sungyoung Lee, Byeong-Soo Jeong. 363-367 [doi]
- DC/sup 2/ scheduling for aperiodic tasks in strongly partitioned real-time systemsDaeyoung Kim, Yann-Hang Lee. 368 [doi]
- On the verification of Wireless Transaction Protocol using SGM and REDPao-Ann Hsiung, Farn Wang, Ruey-Cheng Chen. 379-383 [doi]
- Probabilistic approach to switched Ethernet for real-time control applicationsBaek-Young Choi, Sejun Song, Nigel Birch, Jim Huang. 384-388 [doi]
- IEEE1394 OHCI device driver architecture for guarantee real-time requirementDong-Hwan Park, Soon-Ju Kang. 389-393 [doi]
- Debugging protocol for remote cross development environmentSeungwoo Son, Chaedeok Lim, Heung-Nam Kim. 394-398 [doi]
- Frame packing in real-time communicationKristian Sandström, Christer Norström, Magnus Ahlmark. 399-403 [doi]
- Conformance testing of priority inheritance protocolsDavid Polock, Dieter Zöbel. 404-408 [doi]
- Probabilistic analysis of causal message orderingLi-Hsing Yen. 409 [doi]
- Testing embedded real-time systemsAbdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli. 417-424 [doi]
- Dragon: soft real-time event delivering architecture for networked sensors and appliancesMasayuki Iwai, Jin Nakazawa, Hideyuki Tokuda. 425-432 [doi]
- Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing informationHåkan Sundell, Philippas Tsigas. 433-440 [doi]
- A new method for testing real time systemsAhmed Khoumsi. 441 [doi]
- Two-step backup mechanism for real-time main memory database recoveryMiseon Choi, Hye-Sook Yoon, Eun-Mi Song, Young-Keol Kim, Young-Kuk Kim, Seong-il Jin, Mi-kyong Han, Wan Choi. 453-457 [doi]
- A concurrency control protocol for read-only transactions in real-time secure database systemsHeejun Han, Seog Park, Chanjung Park. 458-463 [doi]
- Using importance of transactions and optimistic concurrency control in firm real-time databasesJan Lindström, Kimmo E. E. Raatikainen. 463-467 [doi]
- PRED-DF - a data flow based semantic concurrency control protocol for real-time main-memory database systemsAlexander Münnich. 468-472 [doi]
- Real-time transaction processing with partial validation at mobile clientsVictor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son. 473 [doi]
- Another formal proof for Deadline Driven SchedulerNaijun Zhan. 481-485 [doi]
- Real-time systems development: from structured analysis to object-oriented designJyhjong Lin. 486-490 [doi]
- An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systemsD. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, A. Sefidcon. 491-497 [doi]
- Bounding the execution time of real-time tasks on modern processorsStefan M. Petters. 498-502 [doi]
- Automatic code generation for real-time reactive systems in TROMLAB environmentVangalur S. Alagar, L. Zhang. 503-510 [doi]
- Eliminating annotations by automatic flow analysis of real-time programsJan Gustafsson. 511-516 [doi]
- Checkpointing strategy for multiple real-time tasksSeong Woo Kwak, Byung-Jae Choi, Byung Kook Kim. 517-521 [doi]
- Control tasks delay reduction under static and dynamic scheduling policiesPatricia Balbastre, Ismael Ripoll, Alfons Crespo. 522 [doi]