RTSS A

32 papers

YearTitle / Authors
1997A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm.
Ching-Chih Han, Hung-Ying Tyan
1997A cache-aware scheduling algorithm for embedded systems.
Gabriele Luculli, Marco Di Natale
1997A constraint-based approach for specification and verification of real-time systems.
Gopal Gupta, Enrico Pontelli
1997A low-cost processor group membership protocol for a hard real-time distributed system.
Matthew Clegg, Keith Marzullo
1997A novel approach to multiprogrammed multiprocessor synchronization for real-time kernel.
Hideyuki Takada, Ken Sakamura
1997A resource allocation model for QoS management.
Ragunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek
1997Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling.
Oscar González, H. Shrikumar, John A. Stankovic, Krithi Ramamritham
1997Combining (
Guillem Bernat, Alan Burns
1997Early detection of timing constraint violation at runtime.
Aloysius K. Mok, Guangtian Liu
1997Efficient spare-resource allocation for fast restoration of real-time channels from network component failures.
Seungjae Han, Kang G. Shin
1997Efficient verification of real-time systems: compact data structure and state-space reduction.
Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1997Enhanced analysis of cache-related preemption delay in fixed-priority preemptive scheduling.
Chang-Gun Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim
1997Exploiting skips in periodic tasks for enhancing aperiodic responsiveness.
Marco Caccamo, Giorgio C. Buttazzo
1997Formal development of a real-time kernel.
Simon Fowler, Andy J. Wellings
1997Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL.
Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian Lund
1997Guidelines for automated implementation of executable object oriented models for real-time embedded control systems.
Manas Saksena, Paul Freedman, Pawel Rodziewicz
1997Implementation and evaluation of real-time Java threads.
Akihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda
1997Integrated delay analysis of regulated ATM switch.
Joseph Kee-Yin Ng, Shibin Song, Wei Zhao
1997Jitter concerns in periodic task systems.
Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok
1997More optimism about real-time distributed commit processing.
Ramesh Gupta, Jayant R. Haritsa, Krithi Ramamritham
1997On adaptive resource allocation for complex real-time application.
Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchili, Rakesh Jha
1997On-the-fly symbolic model checking for real-time systems.
Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine
1997Optimal smoothness results and approximation techniques for real-time VBR video traffic smoothing.
Junbiao Zhang, Joseph Y. Hui
1997Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), December 3-5, 1997, San Francisco, CA, USA
1997Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach.
Anastasio Molano, Kanaka Juvva, Ragunathan Rajkumar
1997Real-time queueing network theory.
John P. Lehoczky
1997Response-time guarantees in ATM networks.
Andreas Ermedahl, Hans Hansson, Mikael Sjödin
1997Scalable hardware earliest-deadline-first scheduler for ATM switching networks.
Byung Kook Kim, Kang G. Shin
1997Scheduling real-time applications in an open environment.
Zhong Deng, Jane W.-S. Liu
1997Similarity-based load adjustment for real-time data-intensive applications.
Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok
1997Static priority scheduling for ATM networks.
Chengzhi Li, Riccardo Bettati, Wei Zhao
1997Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors.
James H. Anderson, Rohit Jain, Srikanth Ramamurthy