9. RTSS 1988: Huntsville, Alabama, USA

Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS '88), December 6-8, 1988, Huntsville, Alabama, USA. IEEE Computer Society 1988 BibTeX

@proceedings{DBLP:conf/rtss/1988,
  title     = {Proceedings of the 9th IEEE Real-Time Systems Symposium (RTSS
               '88), December 6-8, 1988, Huntsville, Alabama, USA},
  booktitle = {IEEE Real-Time Systems Symposium},
  publisher = {IEEE Computer Society},
  year      = {1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Specification and Analysis

Armen Gabrielian, Matthew K. Franklin: State-Based Specification of Complex Real-Time Systems. 2-11 BibTeX
Farnam Jahanian, Douglas A. Stuart: A Method for Verifying Properties of Modechart Specifications. 12-21 BibTeX

Resource Scheduling and Allocation I

Jianzhong Du, Joseph Y.-T. Leung: Minimizing Mean Flow Time with Release Time and Deadline Constraints. 24-32 BibTeX
Kang G. Shin, C. Mani Krishna, Yann-Hang Lee: Optimal Resource Control in Periodic Real-Time Environments. 33-41 BibTeX
Jay K. Strosnider, Thomas E. Marchok, John P. Lehoczky: Advanced Real-Time Scheduling Using the IEEE 802.5 Token Ring. 42-52 BibTeX

Applications

N. A. Wilkinson, M. Stella Atkins, J. G. Rogers: A Real Time Parallel Processing Data Acquisition System. 54-59 BibTeX
R. Bond, S. Bemrich, J. Connelty, G. Pendergrass, J. Hulsey: Missile Guidance Processor Software Development: A Case Study. 60-68 BibTeX
Luqi, Valdis Berzins: Execution of a High Level Real-Time Language. 69-76 BibTeX

Language and Semantics

Mathai Joseph, Asis Goswami: What's 'Real' about Real-Time Systems? 78-85 BibTeX
K. T. Narayana, A. A. Aaby: Specification of Real-Time Systems in Real-Time Temporal Interval Logic. 86-95 BibTeX
Kwei-Jay Lin, Swaminathan Natarajan: Expressing and Maintaining Timing Constraints in FLEX. 96-105 BibTeX
Valdis Berzins, Luqi: Semantics of a Real-Time Language. 106-110 BibTeX

Operating System Support

Horst Wedde, Ghasem S. Alijani, Gookhai Kang, Bo-Kyung Kim: MELODY: A Distributed Real-Time Testbed for Adaptive Systems. 112-119 BibTeX
Theodore P. Baker, Alan C. Shaw: The Cyclic Executive Model and Ada. 120-129 BibTeX
Michelle C. McElvany: Guaranteeing Deadlines in MAFT. 130-139 BibTeX

Resource Scheduling and Allocation II

Jen-Yao Chung, Jane W.-S. Liu: Algorithms for Scheduling Periodic Jobs to Minimize Average Error. 142-151 BibTeX
Sara R. Biyabani, John A. Stankovic, Krithi Ramamritham: The Integration of Deadline and Criticalness in Hard Real-Time Scheduling. 152-160 BibTeX
Shem-Tov Levi, Daniel Mossé, Ashok K. Agrawala: Allocation of Real-Time Computations under Fault Tolerance Constraints. 161-170 BibTeX

Architectural Support

James W. Wendorf: Implementation and Evaluation of a Time-Driven Scheduling Processor. 172-180 BibTeX
David B. Kirk: Process Dependent Static Cache Partitioning for Real-Time Systems. 181-190 BibTeX
Yuval Tamir, Gregory L. Frazier: Support for High-Priority Traffic in VLSI Communication Switches. 191-200 BibTeX

Reliability and Fault Tolerance

C. Mani Krishna, Inderpal S. Bhandari: On the Graceful Degradation of Phase-Locked Clocks. 202-211 BibTeX
Salih Yurttas, Fabrizio Lombardi: New Approaches for the Reconfiguration of Two-Dimensional VLSI Arrays Using Time-Redundancy. 212-221 BibTeX
Michael H. Woodbury, Kang G. Shin: Evaluation of the Probability of Dynamic Failure and Processor Utilization for Real-Time Systems. 222-231 BibTeX
Thomas E. Bihari, Karsten Schwan: A Comparison of Four Adaptation Algorithms for Increasing the Reliability of Real-Time Software. 232-241 BibTeX

Resource Scheduling and Allocation III

Kwang Soo Hong, Joseph Y.-T. Leung: On-Line Scheduling of Real-Time Tasks. 244-250 BibTeX
Brinkley Sprunt, John P. Lehoczky, Lui Sha: Exploiting Unused Periodic Time for Aperiodic Service Using the Extended Priority Exchange Algorithm. 251-258 BibTeX
Ragunathan Rajkumar, Lui Sha, John P. Lehoczky: Real-Time Synchronization Protocols for Multiprocessors. 259-269 BibTeX

Performance Analysis

Wesley W. Chu, Chi-Man Sit: Estimating Task Response Time with Contentions for Real-Time Distributed Systems. 272-281 BibTeX
X. Li, Miroslaw Malek: Analysis of Speedup and Communication/Computation Ratio in Multiprocessor Systems. 282-288 BibTeX
Hideyuki Tokuda, Makoto Kotera: A Real-Tie Tool Set for the ARTS Kernel. 289-299 BibTeX