6. RTSS 1985: San Diego, California, USA

@proceedings{DBLP:conf/rtss/1985,
  title     = {Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS
               '85), December 3-6, 1985, San Diego, California, USA},
  booktitle = {IEEE Real-Time Systems Symposium},
  publisher = {IEEE Computer Society},
  year      = {1985},
  isbn      = {0-8186-0675-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Fault Tolerance

• Fabrizio Lombardi, Chin-Long Wey: On a Multiprocessor System with Dynamic Redundancy. 3-12 BibTeX
• Kang G. Shin, Parameswaran Ramanathan: Synchronization of a Large Clock Network in the Presence of Malicious Faults. 13-24 BibTeX
• Jung M. An, Wesley W. Chu: A Resilient Commit Protocol for Real Time Systems. 25-29 BibTeX

Programming Languages I

• J. L. Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, E. Pilaud: Outline of a Real Time Data Flow Language. 33-42 BibTeX
• Antony A. Faustini, Edgar B. Lewis: A Declarative Language for the Specification of Real Time Systems. 43-51 BibTeX

Programming Languages II

• Insup Lee, Vijay Gehlot: Language Constructs for Distributed Real-Time Programming. 57-66 BibTeX
• Albert N. Copper III, John P. Kearns: Real-Time Distributed Control with Asynchronous Message Reception. 67-75 BibTeX

Operating Systems

• A. Kung, R. Kung: GALAXY: A Distributed Real-Time Operating System Supporting High Availability. 79-87 BibTeX
• J. James, K. Rowe, L. Gray, B. Vishnubhatla, C. F. Wan, M. Wilson: Experience Porting the Harmony Operating System. 88-99 BibTeX

Scheduling

• Wei Zhao, Krithi Ramamritham: Distributed Scheduling Using Bidding and Focused Addressing. 103-111 BibTeX
• E. Douglas Jensen, C. Douglas Locke, Hideyuki Tokuda: A Time-Driven Scheduling Model for Real-Time Operating Systems. 112-122 BibTeX
• Hung-Yang Chang, Miron Livny: Priority in Distributed Systems. 123-130 BibTeX

Applications: Signal Processing and Fault Tolerance

• Chris J. Walter, Roger M. Kieckhafer, Alan M. Finn: MAFT: A Multicomputer Architecture for Fault-Tolerance in Real-Time Control Systems. 133-140 BibTeX
• Haiyan Lin, Wei Yueming: VLSI Systolic Array Architecture for Real-Time Digital Signal Processing. 141-146 BibTeX
• David W. Craig, C. Murray Woodside: Processing Bounds and Fast Allocation for Signal Processing Tasks with Cornerturning Transfers. 147-152 BibTeX

Methodology and Diagnosis

• Miroslaw Malek, Yoon-Hwa Choi: Real-Time Diagnosis of Homogeneous Systems. 155-159 BibTeX
• Fares A. Nassar, Dorothy M. Andrews: A Methodology for Analysis of Failure Prediction Data. 160-166 BibTeX

Models of Real-Time Programs

• Amy E. Zwarico, Insup Lee: Proving a Network of Real-Time Processes Correct. 169-177 BibTeX
• Aloysius K. Mok, Supoj Sutanthavibul: Modeling and Scheduling of Dataflow Real-Time Systems. 178-187 BibTeX