18. RTSS 1997: San Francisco, CA, USA

@proceedings{DBLP:conf/rtss/1997,
  title     = {Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS
               '97), December 3-5, 1997, San Francisco, CA, USA},
  booktitle = {IEEE Real-Time Systems Symposium},
  publisher = {IEEE Computer Society},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Model Checking

• Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund:
  Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAA. 2-13
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
  Efficient verification of real-time systems: compact data structure and state-space reduction. 14-24
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine:
  On-the-fly symbolic model checking for real-time systems. 25-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Scheduling Theory

• Ching-Chih Han, Hung-Ying Tyan:
  A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm. 36-45
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Guillem Bernat, Alan Burns:
  Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling. 46-57
  Electronic Edition (IEEE Computer Society DL) BibTeX
• John P. Lehoczky:
  Real-time queueing network theory. 58-67
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok:
  Jitter concerns in periodic task systems. 68-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Fault Tolerance

• Oscar González, H. Shrikumar, John A. Stankovic, Krithi Ramamritham:
  Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. 79-89
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Matthew Clegg, Keith Marzullo:
  A low-cost processor group membership protocol for a hard real-time distributed system. 90-98
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Seungjae Han, Kang G. Shin:
  Efficient spare-resource allocation for fast restoration of real-time channels from network component failures. 99-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Synchronization and Data Sharing

• James H. Anderson, Rohit Jain, Srikanth Ramamurthy:
  Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors. 111-122
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritham:
  More optimism about real-time distributed commit processing. 123-133
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Hideyuki Takada, Ken Sakamura:
  A novel approach to multiprogrammed multiprocessor synchronization for real-time kernel. 134-143
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok:
  Similarity-based load adjustment for real-time data-intensive applications. 144-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Runtime System Implementation

• Anastasio Molano, Kanaka Juvva, Ragunathan Rajkumar:
  Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach. 155-165
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Akihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda:
  Implementation and evaluation of real-time Java threads. 166-175
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Aloysius K. Mok, Guangtian Liu:
  Early detection of timing constraint violation at runtime. 176-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Cache-Related and Hardware Schedule

• Chang-Gun Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim:
  Enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling. 187-198
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Gabriele Luculli, Marco Di Natale:
  A cache-aware scheduling algorithm for embedded systems. 199-209
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Byung Kook Kim, Kang G. Shin:
  Scalable hardware earliest-deadline-first scheduler for ATM switching networks. 210-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Specification and Design of Real-Time Systems

• Simon Fowler, Andy J. Wellings:
  Formal development of a real-time kernel. 220-229
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Gopal Gupta, Enrico Pontelli:
  A constraint-based approach for specification and verification of real-time systems. 230-239
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Manas Saksena, Paul Freedman, Pawel Rodziewicz:
  Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. 240-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Real-Time Networks

• Junbiao Zhang, Joseph Y. Hui:
  Optimal smoothness results and approximation techniques for real-time VBR video traffic smoothing. 253-263
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chengzhi Li, Riccardo Bettati, Wei Zhao:
  Static priority scheduling for ATM networks. 264-273
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Andreas Ermedahl, Hans Hansson, Mikael Sjödin:
  Response-time guarantees in ATM networks. 274-284
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Joseph Kee-Yin Ng, Shibin Song, Wei Zhao:
  Integrated delay analysis of regulated ATM switch. 285-
  Electronic Edition (IEEE Computer Society DL) BibTeX

QoS and Open Systems

• Ragunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek:
  A resource allocation model for QoS management. 298-307
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Zhong Deng, Jane W.-S. Liu:
  Scheduling real-time applications in an open environment. 308-319
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchili, Rakesh Jha:
  On adaptive resource allocation for complex real-time application. 320-329
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Marco Caccamo, Giorgio C. Buttazzo:
  Exploiting skips in periodic tasks for enhancing aperiodic responsiveness. 330-
  Electronic Edition (IEEE Computer Society DL) BibTeX