18. RTSS 1997: San Francisco, CA, USA

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA. IEEE Computer Society 1997

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 UPPAAL. 2-13
Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction. 14-24
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine:
On-the-fly symbolic model checking for real-time systems. 25-34

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

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

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

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

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
Gabriele Luculli, Marco Di Natale:
A cache-aware scheduling algorithm for embedded systems. 199-209
Byung Kook Kim, Kang G. Shin:
Scalable hardware earliest-deadline-first scheduler for ATM switching networks. 210-218

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

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

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

Last update Sat May 25 19:00:10 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page