2. RTAS 1996: Boston, MA, USA

@proceedings{DBLP:conf/rtas/1996,
  title     = {2nd IEEE Real-Time Technology and Applications Symposium (RTAS
               '96), June 10-12, 1996, Boston, MA, USA},
  booktitle = {IEEE Real-Time Technology and Applications Symposium},
  publisher = {IEEE Computer Society},
  year      = {1996},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Case Studies and Applications

• Neil C. Audsley, I. J. Bate, Alan Burns:
  Putting fixed priority scheduling theory into engineering practice for safety critical applications. 2-10
  Electronic Edition (IEEE Computer Society DL) BibTeX
• David H. Jameson:
  Building real-time music tools visually with Sonnet. 11-18
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Carlton Bickford, Marie S. Teo, Gary Wallace, John A. Stankovic, Krithi Ramamritham:
  A robotic assembly application on the Spring real-time system. 19-28
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jesús Fernández-Conde, Alberto García-Martínez, Ángel Viña:
  Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments. 29-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Databases and Concurrency Control

• Young-Kuk Kim, Sang Hyuk Son:
  Supporting predictability in real-time database systems. 38-48
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Azer Bestavros:
  AIDA-based real-time fault-tolerant broadcast disks. 49-58
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ching-Shan Peng, Kwei-Jay Lin:
  A semantic-based concurrency control protocol for real-time transactions. 59-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Tutorial

• Chia Shen:
  On ATM support for distributed real-time applications. 70-81
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Roman Ginis, Victor Fay Wolfe, Janet J. Prichard:
  The design of an open system with distributed real-time requirements. 82-90
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chih Lai, H. Rebecca Callison:
  A framework for simulation of concurrency control policy in real-time systems. 91-99
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Michael Gagliardi, Ragunathan Rajkumar, Lui Sha:
  Designing for evolvability: building blocks for evolvable real-time systems. 100-109
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Daniel Gaudrau, Paul Freedman:
  Temporal Analysis and Object-Oriented Real-Time Software Development: A Case Study with ROOM/ObjecTime. 110-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Communications

• Shobana Balakrishnan, Füsun Özgüner:
  Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks. 120-129
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ashish Mehra, Atri Indiresan, Kang G. Shin:
  Resource management for real-time communication: making theory meet practice. 130-138
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Michael J. Markowski, Adarshpal S. Sethi:
  Evaluation of Wireless Soft Real-Time Protocols. 139-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Real-Time System Development and Analysis Tools

• Marty Humphrey, John A. Stankovic:
  CAISARTS: a tool for real-time scheduling assistance. 150-159
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Matthew F. Storch, Jane W.-S. Liu:
  DRTSS: a simulation framework for complex real-time systems. 160-169
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon:
  Supporting the specification and analysis of timing constraints. 170-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Formal Methods and Processor Scheduling

• Farn Wang:
  Scalable compositional reachability analysis of real-time concurrent systems. 182-191
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Myla Archer, Constance L. Heitmeyer:
  Mechanical verification of timed automata: a case study. 192-203
  Electronic Edition (IEEE Computer Society DL) BibTeX
• José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings:
  Adding instruction cache effect to schedulability analysis of preemptive real-time systems. 204-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Tutorial

• Bran Selic:
  Real-Time Object-Oriented Modeling (ROOM). 214-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Operating Systems and Distributed Systems

• Chen Lee, Katsuhiko Yoshida, Clifford W. Mercer, Ragunathan Rajkumar:
  Predictable Communication Protocol Processing in Real-Time Mach. 220-229
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Sung-Kwan Kim, Sang Lyul Min, Rhan Ha:
  Efficient worst case timing analysis of data caching. 230-240
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Khawar M. Zuberi, Kang G. Shin:
  EMERALDS: a microkernel for embedded real-time systems. 241-249
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin:
  RTCAST: lightweight multicast for real-time process groups. 250-259
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri:
  A Flexible Tool Kit for Development of Real-Time Applications. 260-
  Electronic Edition (IEEE Computer Society DL) BibTeX