1. Home
  2. Proceedings
  3. RTSS
  4. RTSS 1996
Default Cover Image

17th IEEE Real-Time Systems Symposium

Dec. 4 1996 to Dec. 6 1996

Washington D.C.

ISSN: 1052-8725

ISBN: 0-8186-7689-2

Table of Contents

17th IEEE Real-Time Systems SymposiumFreely available from IEEE.pp. iii,iv,v,vi,vii
ForewordFreely available from IEEE.pp. viii
CommitteesFreely available from IEEE.pp. ix
ReviewersFreely available from IEEE.pp. x
Session 1: Scheduling I
Bounding completion times of jobs with arbitrary release times and variable execution timesFull-text access may be available. Sign in or learn about subscription options.pp. 2
by J. Sun, J.W.S. Liu
Session 1: Scheduling I
On task schedulability in real-time control systemsFull-text access may be available. Sign in or learn about subscription options.pp. 13
by D. Seto, J.P. Lehoczky, L. Sha, K.G. Shin
Session 1: Scheduling I
A multiframe model for real-time tasksFull-text access may be available. Sign in or learn about subscription options.pp. 22
by A.K. Mok, D. Chen
Session 2: Experimental Systems and Applications
Middleware for Distributed Industrial Real-Time Systems on ATM NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 32
by I. Mizunuma, C. Shen, M. Takegaki
Session 2: Experimental Systems and Applications
Analysing APEX applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 39
by N. Audsley, A. Wellings
Session 2: Experimental Systems and Applications
Operating system extensions for dynamic real-time applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 45
by S. Sommer, J. Potter
Session 3: Formal Methods
Approximate reachability analysis of timed automataFull-text access may be available. Sign in or learn about subscription options.pp. 52
by F. Balarin
Session 3: Formal Methods
Correctness of vehicle control systems-a case studyFull-text access may be available. Sign in or learn about subscription options.pp. 62
by H.B. Weinberg, N. Lynch
Session 3: Formal Methods
Reducing the number of clock variables of timed automataFull-text access may be available. Sign in or learn about subscription options.pp. 73
by C. Daws, S. Yovine
Session 3: Formal Methods
Predictability of real-time systems: a process-algebraic approachFull-text access may be available. Sign in or learn about subscription options.pp. 82
by V. Natarajan, R. Cleaveland
Session 4: Synchronization
A framework for implementing objects and scheduling tasks in lock-free real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 94
by J.H. Anderson, S. Ramamurthy
Session 4: Synchronization
Optimizing a FIFO, scalable spin lock using consistent memoryFull-text access may be available. Sign in or learn about subscription options.pp. 106
by I. Rhee
Proceedings 1996 Asia-Pacific Software Engineering ConferenceFreely available from IEEE.pp. 311-311
Session 6: Model and Tools
The MSP.RTL real-time scheduler synthesis toolFull-text access may be available. Sign in or learn about subscription options.pp. 118
by A.K. Mok, Duu-Chung Tsou, R.C.M. de Rooij
Session 6: Model and Tools
Tool support for the construction of statically analysable hard real-time Ada systemsFull-text access may be available. Sign in or learn about subscription options.pp. 129
by T. Vardanega
Session 6: Model and Tools
High availability in the real-time publisher/subscriber inter-process communication modelFull-text access may be available. Sign in or learn about subscription options.pp. 136
by R. Rajkumar, M. Gagliardi
Session 7: Communications
Structuring communication software for quality-of-service guaranteesFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Ashish Mehra, A. Indiresan, K.G. Shin
Session 7: Communications
Multirate scheduling for guaranteed and predictive services in ATM networksFull-text access may be available. Sign in or learn about subscription options.pp. 155
by D. Saha, S. Mukherjee, S.K. Tripathi
Session 7: Communications
Message transmission with timing constraints in ring networksFull-text access may be available. Sign in or learn about subscription options.pp. 165
by Ching-Chih Han, K.G. Shin
Session 7: Communications
On supporting time-constrained communications in WDMA-based star-coupled optical networksFull-text access may be available. Sign in or learn about subscription options.pp. 175
by Hung-Ying Tyan, Chao-Ju Hou, Bin Wang, Ching-Chih Han
Session 8: Scheduling II
Real-Time Queueing TheoryFull-text access may be available. Sign in or learn about subscription options.pp. 186
by J.P. Lehoczky
Session 8: Scheduling II
An optimal pinwheel scheduler using the single-number reduction techniqueFull-text access may be available. Sign in or learn about subscription options.pp. 196
by Chih-Wen Hsueh, Kwei-Jay Lin
Session 8: Scheduling II
Integrated scheduling of multimedia and hard real-time tasksFull-text access may be available. Sign in or learn about subscription options.pp. 206
by H. Kaneko, J.A. Stankovic, S. Sen, K. Ramamritham
Session 9: Databases
Commit processing in distributed real-time database systemsFull-text access may be available. Sign in or learn about subscription options.pp. 220
by R. Gupta, J. Haritsa, K. Ramamritham, S. Seshadri
Session 9: Databases
Value-cognizant admission control for RTDB systemsFull-text access may be available. Sign in or learn about subscription options.pp. 230
by A. Bestavros, S. Nagy
Session 9: Databases
Scheduling transactions with temporal constraints: exploiting data semanticsFull-text access may be available. Sign in or learn about subscription options.pp. 240
by Ming Xiong, R. Sivasankaran, J.A. Stankovic, K. Ramamritham, D. Towsley
Session 10: Timing Analysis
Cache modeling for real-time software: beyond direct mapped instruction cachesFull-text access may be available. Sign in or learn about subscription options.pp. 254
by Y.-T. S. Li, S. Malik, A. Wolfe
Session 10: Timing Analysis
Analysis of cache-related preemption delay in fixed-priority preemptive schedulingFull-text access may be available. Sign in or learn about subscription options.pp. 264
by Chang-Gun Lee, J. Hahn, Sang Lyul Min, R. Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong Sang Kim
Session 10: Timing Analysis
A Method for Bounding the Effect of DMA I/O Interference on Program Execution TimeFull-text access may be available. Sign in or learn about subscription options.pp. 275
by T.-Y. Huang, J.W.-S. Liu, D. Hull
Session 11: Resource Allocation and System Implementation
A proportional share resource allocation algorithm for real-time, time-shared systemsFull-text access may be available. Sign in or learn about subscription options.pp. 288
by I. Stoica, H. Abdel-Wahab, K. Jeffay, S.K. Baruah, J.E. Gehrke, C.G. Plaxton
Session 11: Resource Allocation and System Implementation
Visual assessment of a real-time system design: a case study on a CNC controllerFull-text access may be available. Sign in or learn about subscription options.pp. 300
by Namyun Kim, Minsoo Ryu, Seongsoo Hong, M. Saksena, Chong-Ho Choi, Heonshik Shin
Session 11: Resource Allocation and System Implementation
Optimizing Interprocess Communication for Embedded Real-Time SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 311
by S. Poledna
Session 11: Resource Allocation and System Implementation
Author IndexFreely available from IEEE.pp. 321
Showing 37 out of 37