Real-Time Systems, Volume 13

Volume 13, Number 1, July 1997

Nedo Celandroni, Erina Ferro, Francesco Potorti: A Traffic Generator for Testing Communication Systems: Presentation, Implementation and Performance. 5-24 BibTeX
Gianluigi Alari, Augusto Ciuffoletti: Implementing a Probabilistic Clock Synchronization Algorithm. 25-46 BibTeX
Minsuk Lee, Sang Lyul Min, Heonshik Shin, Chong-Sang Kim, Chang Yun Park: Threaded Prefetching: A New Instruction Memory Hierarchy for Real-Time Systems. 47-65 BibTeX
Peter P. Puschner, Anton V. Schedl: Computing Maximum Task Execution Times - A Graph-Based Approach. 67-91 BibTeX

Joël Goossens, Raymond R. Devillers: The Non-Optimality of the Monotonic Priority Assignments for Hard Real-Time Offset Free Systems. 107-126 BibTeX
Jiandong Huang, Deepak R. Kenchammana-Hosekote, Mukul Agrawal, James Richardson: Presto - A System Environment for Mission-Critical Multimedia Applications. 127-139 BibTeX
Kam-yiu Lam, Sheung-lun Hung, Sang Hyuk Son: On Using Real-Time Static Locking Protocols for Distributed Real-Time Databases. 141-166 BibTeX
Jorge Santos, Edgardo Ferro, Javier Orozco, Ricardo Cayssials: A Heuristic Approach to the Multitask-Multiprocessor Assignment Problem using the Empty-Slots Method and Rate Monotonic Scheduling. 167-199 BibTeX

Bernd J. Krämer: Editorial. 217-218 BibTeX
Antonino Mazzeo, Nicola Mazzocca, Stefano Russo, Valeria Vittorini: A Systematic Approach to the Petri Net Based Specification of Concurrent Systems. 219-236 BibTeX
Bernd J. Krämer, Norbert Völker: A Highly Dependable Computing Architecture for Safety-Critical Control Applications. 237-251 BibTeX
Hans Langmaack: The ProCoS Approach to Correct Systems. 253-275 BibTeX
Horst Wedde, Jon A. Lind: Building Large, Complex, Distributed Safety-Critical Operating Systems. 277-302 BibTeX