17. RTSS 1996: Washington, DC, USA

@proceedings{DBLP:conf/rtss/1996,
  title     = {Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS
               '96), December 4-6, 1996, Washington, DC, USA},
  booktitle = {IEEE Real-Time Systems Symposium},
  publisher = {IEEE Computer Society},
  year      = {1996},
  isbn      = {0-8186-7689-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Scheduling I

• Jun Sun, Jane W.-S. Liu:
  Bounding completion times of jobs with arbitrary release times and variable execution times. 2-12
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin:
  On task schedulability in real-time control systems. 13-21
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Aloysius K. Mok, Deji Chen:
  A multiframe model for real-time tasks. 22-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Experimental Systems and Applications

• Ichiro Mizunuma, Chia Shen, Morikazu Takegaki:
  Middleware for Distributed Industrial Real-Time Systems on ATM Networks. 32-38
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Neil C. Audsley, Andy J. Wellings:
  Analysing APEX applications. 39-44
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Steven Sommer, John Potter:
  Operating system extensions for dynamic real-time application. 45-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Formal Methods

• Felice Balarin:
  Approximate reachability analysis of timed automata. 52-61
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Henri B. Weinberg, Nancy A. Lynch:
  Correctness of vehicle control systems-a case study. 62-72
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Conrado Daws, Sergio Yovine:
  Reducing the number of clock variables of timed automata. 73-81
  Electronic Edition (IEEE Computer Society DL) BibTeX
• V. Natarajan, Rance Cleaveland:
  Predictability of real-time systems: a process-algebraic approach. 82-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Synchronization

• James H. Anderson, Srikanth Ramamurthy:
  A framework for implementing objects and scheduling tasks in lock-free real-time systems. 94-105
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Injong Rhee:
  Optimizing a FIFO, scalable spin lock using consistent memory. 106-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Model and Tools

• Aloysius K. Mok, Duu-Chung Tsou, Ruud C. M. de Rooij:
  The MSP.RTL real-time scheduler synthesis tool. 118-128
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tullio Vardanega:
  Tool support for the construction of statically analysable hard real-time Ada systems. 129-135
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ragunathan Rajkumar, Michael Gagliardi:
  High availability in the real-time publisher/subscriber inter-process communication model. 136-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Communications

• Ashish Mehra, Atri Indiresan, Kang G. Shin:
  Structuring communication software for quality-of-service guarantees. 144-154
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Debanjan Saha, Sarit Mukherjee, Satish K. Tripathi:
  Multirate scheduling for guaranteed and predictive services in ATM networks. 155-164
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ching-Chih Han, Kang G. Shin:
  Message transmission with timing constraints in ring networks . 165-174
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Hung-Ying Tyan, Chao-Ju Hou, Bin Wang, Ching-Chih Han:
  On supporting time-constrained communications in WDMA-based star-coupled optical networks. 175-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Scheduling II

• John P. Lehoczky:
  Real-Time Queueing Theory. 186-195
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chih-wen Hsueh, Kwei-Jay Lin:
  An optimal pinwheel scheduler using the single-number reduction technique. 196-205
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Hiroyuki Kaneko, John A. Stankovic, Subhabrata Sen, Krithi Ramamritham:
  Integrated scheduling of multimedia and hard real-time tasks. 206-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Databases

• Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritham, S. Seshadri:
  Commit processing in distributed real-time database systems. 220-229
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Azer Bestavros, Sue Nagy:
  Value-cognizant admission control for RTDB systems. 230-239
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Ming Xiong, Rajendran M. Sivasankaran, John A. Stankovic, Krithi Ramamritham, Donald F. Towsley:
  Scheduling transactions with temporal constraints: exploiting data semantics. 240-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Timing Analysis

• Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe:
  Cache modeling for real-time software: beyond direct mapped instruction caches. 254-263
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Chang-Gun Lee, Joosun Hahn, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim:
  Analysis of cache-related preemption delay in fixed-priority preemptive scheduling. 264-274
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tai-Yi Huang, Jane W.-S. Liu, David Hull:
  A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time. 275-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Resource Allocation and System Implementation

• Ion Stoica, Hussein M. Abdel-Wahab, Kevin Jeffay, Sanjoy K. Baruah, Johannes Gehrke, C. Greg Plaxton:
  A proportional share resource allocation algorithm for real-time, time-shared systems. 288-299
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Namyun Kim, Minsoo Ryu, Seongsoo Hong, Manas Saksena, Chong-Ho Choi, Heonshik Shin:
  Visual assessment of a real-time system design: a case study on a CNC controller. 300-310
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Stefan Poledna:
  Optimizing Interprocess Communication for Embedded Real-Time Systems. 311-
  Electronic Edition (IEEE Computer Society DL) BibTeX