default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th 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, ISBN 0-8186-8268-X
Model Checking
- Klaus Havelund, Arne Skou, Kim Guldstrand Larsen, Kristian 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
Scheduling Theory
- 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 (mn)-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
Fault Tolerance
- 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
Synchronization and Data Sharing
- 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
Runtime System Implementation
- 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
Cache-Related and Hardware Schedule
- 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
Specification and Design of Real-Time Systems
- 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
Real-Time Networks
- 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
QoS and Open Systems
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-30 20:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
