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

Proceedings Real-Time Systems Symposium

Dec. 3 1997 to Dec. 5 1997

San Francisco, CA

ISSN: 1052-8725

ISBN: 0-8186-8268-X

Table of Contents

On-the-fly symbolic model checking for real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 25-34
by A. Bouajjani, S. Tripakis, S. Yovine
Message from the General ChairFreely available from IEEE.pp. ix
Message from the Program ChairFreely available from IEEE.pp. x
Conference OrganizationFreely available from IEEE.pp. xi
Session 1: Model Checking
Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAALFull-text access may be available. Sign in or learn about subscription options.pp. 2
by K. Havelund, A. Skou, K.G. Larsen, K. Lund
Session 1: Model Checking
Efficient verification of real-time systems: compact data structure and state-space reductionFull-text access may be available. Sign in or learn about subscription options.pp. 14
by K.G. Larsen, F. Larsson, P. Pettersson, W. Yi
Session 1: Model Checking
On-the-fly symbolic model checking for real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 25
by A. Bouajjani, S. Tripakis, S. Yovine
Session 2: Scheduling Theory
A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithmsFull-text access may be available. Sign in or learn about subscription options.pp. 36
by C.-C. Han, H.-Y. Tyan
Session 2: Scheduling Theory
Combining (/sub m//sup n/)-hard deadlines and dual priority schedulingFull-text access may be available. Sign in or learn about subscription options.pp. 46
by G. Bernat, A. Burns
Session 2: Scheduling Theory
Real-time queueing network theoryFull-text access may be available. Sign in or learn about subscription options.pp. 58
by J.P. Lehoczky
Session 2: Scheduling Theory
Jitter concerns in periodic task systemsFull-text access may be available. Sign in or learn about subscription options.pp. 68
by S.K. Baruah, D. Chen, A.K. Mok
Session 3: Fault Tolerance
Adaptive fault tolerance and graceful degradation under dynamic hard real-time schedulingFull-text access may be available. Sign in or learn about subscription options.pp. 79
by O. Gonzalez, H. Shrikumar, J.A. Stankovic, K. Ramamritham
Session 3: Fault Tolerance
A low-cost processor group membership protocol for a hard real-time distributed systemFull-text access may be available. Sign in or learn about subscription options.pp. 90
by M. Clegg, K. Marzullo
Session 3: Fault Tolerance
Efficient spare-resource allocation for fast restoration of real-time channels from network component failuresFull-text access may be available. Sign in or learn about subscription options.pp. 99
by S. Han, K.G. Shin
Session 5: Synchronization and Data Sharing
Wait-free object-sharing schemes for real-time uniprocessors and multiprocessorsFull-text access may be available. Sign in or learn about subscription options.pp. 111
by J.H. Anderson, R. Jain, S. Ramamurthy
Session 5: Synchronization and Data Sharing
More optimism about real-time distributed commit processingFull-text access may be available. Sign in or learn about subscription options.pp. 123
by R. Gupta, J. Haritsa, K. Ramamritham
Session 5: Synchronization and Data Sharing
A novel approach to multiprogrammed multiprocessor synchronization for real-time kernelFull-text access may be available. Sign in or learn about subscription options.pp. 134
by H. Takada, K. Sakamura
Session 5: Synchronization and Data Sharing
Similarity-based load adjustment for real-time data-intensive applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 144
by Shao-Juen Ho, Tei-Wei Kuo, A.K Mok
Session 6: Runtime System Implementation
Real-time filesystems. Guaranteeing timing constraints for disk accesses in RT-MachFull-text access may be available. Sign in or learn about subscription options.pp. 155
by A. Molano, K. Juvva, R. Rajkumar
Session 6: Runtime System Implementation
Implementation and evaluation of real-time Java threadsFull-text access may be available. Sign in or learn about subscription options.pp. 166
by A. Miyoshi, T. Kitayama, H. Tokuda
Session 6: Runtime System Implementation
Early detection of timing constraint violation at runtimeFull-text access may be available. Sign in or learn about subscription options.pp. 176
by A.K. Mok, G. Liu
Session 7: Cache-Related and Hardware Scheduler
Enhanced analysis of cache-related preemption delay in fixed-priority preemptive schedulingFull-text access may be available. Sign in or learn about subscription options.pp. 187
by Chang-Gun Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong Sang Kim
Session 7: Cache-Related and Hardware Scheduler
A cache-aware scheduling algorithm for embedded systemsFull-text access may be available. Sign in or learn about subscription options.pp. 199
by G. Luculli, M. Di Natale
Session 7: Cache-Related and Hardware Scheduler
Scalable hardware earliest-deadline-first scheduler for ATM switching networksFull-text access may be available. Sign in or learn about subscription options.pp. 210
by Byung Kook Kim, K.G. Shin
Session 8: Specification and Design of Real-Time Systems
Formal development of a real-time kernelFull-text access may be available. Sign in or learn about subscription options.pp. 220
by S. Fowler, A. Wellings
Session 8: Specification and Design of Real-Time Systems
A constraint-based approach for specification and verification of real-time systemsFull-text access may be available. Sign in or learn about subscription options.pp. 230
by G. Gupta, E. Pontelli
Session 8: Specification and Design of Real-Time Systems
Guidelines for automated implementation of executable object oriented models for real-time embedded control systemsFull-text access may be available. Sign in or learn about subscription options.pp. 240
by M. Saksena, P. Freedman, P. Rodziewicz
Session 9: Real-Time Networks
Optimal smoothness results and approximation techniques for real-time VBR video traffic smoothingFull-text access may be available. Sign in or learn about subscription options.pp. 253
by J. Zhang, J. Hui
Session 9: Real-Time Networks
Static priority scheduling for ATM networksFull-text access may be available. Sign in or learn about subscription options.pp. 264
by C. Li, R. Bettati, W. Zhao
Session 9: Real-Time Networks
Response-time guarantees in ATM networksFull-text access may be available. Sign in or learn about subscription options.pp. 274
by A. Ermedahl, H. Hansson, M. Sjodin
Session 9: Real-Time Networks
Integrated delay analysis of regulated ATM switchFull-text access may be available. Sign in or learn about subscription options.pp. 285
by Joseph Kee-Yin Ng, Shibin Song, Wei Zhao
Session 10: QoS and Open Systems
A resource allocation model for QoS managementFull-text access may be available. Sign in or learn about subscription options.pp. 298
by R. Rajkumar, C. Lee, J. Lehoczky, D. Siewiorek
Session 10: QoS and Open Systems
Scheduling real-time applications in an open environmentFull-text access may be available. Sign in or learn about subscription options.pp. 308
by Z. Deng, J.W.-S. Liu
Session 10: QoS and Open Systems
On adaptive resource allocation for complex real-time applicationsFull-text access may be available. Sign in or learn about subscription options.pp. 320
by D. Rosu, K. Schwan, S. Yalamanchili, R. Jha
Session 10: QoS and Open Systems
Exploiting skips in periodic tasks for enhancing aperiodic responsivenessFull-text access may be available. Sign in or learn about subscription options.pp. 330
by M. Caccamo, G. Buttazzo
Session 11: Industrial Panel: Real Issues and Real Solutions
Index of AuthorsFreely available from IEEE.pp. 341
Showing 36 out of 36