Abstract is missing.
- Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAKlaus Havelund, Arne Skou, Kim Guldstrand Larsen, K. Lund. 2-13 [doi]
- Efficient verification of real-time systems: compact data structure and state-space reductionKim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. 14-24 [doi]
- On-the-fly symbolic model checking for real-time systemsAhmed Bouajjani, Stavros Tripakis, Sergio Yovine. 25 [doi]
- A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithmChing-Chih Han, Hung-Ying Tyan. 36-45 [doi]
- Combining (/sub m//sup n/)-hard deadlines and dual priority schedulingGuillem Bernat, Alan Burns. 46-57 [doi]
- Real-time queueing network theoryJohn P. Lehoczky. 58-67 [doi]
- Jitter concerns in periodic task systemsSanjoy K. Baruah, Deji Chen, Aloysius K. Mok. 68 [doi]
- Adaptive fault tolerance and graceful degradation under dynamic hard real-time schedulingOscar González, H. Shrikumar, John A. Stankovic, Krithi Ramamritham. 79-89 [doi]
- A low-cost processor group membership protocol for a hard real-time distributed systemMatthew Clegg, Keith Marzullo. 90-98 [doi]
- Efficient spare-resource allocation for fast restoration of real-time channels from network component failuresSeungjae Han, Kang G. Shin. 99 [doi]
- Wait-free object-sharing schemes for real-time uniprocessors and multiprocessorsJames H. Anderson, Rohit Jain, Srikanth Ramamurthy. 111-122 [doi]
- More optimism about real-time distributed commit processingRamesh Gupta, Jayant R. Haritsa, Krithi Ramamritham. 123-133 [doi]
- A novel approach to multiprogrammed multiprocessor synchronization for real-time kernelHideyuki Takada, Ken Sakamura. 134-143 [doi]
- Similarity-based load adjustment for real-time data-intensive applicationsShao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok. 144 [doi]
- Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-MachAnastasio Molano, Kanaka Juvva, Ragunathan Rajkumar. 155-165 [doi]
- Implementation and evaluation of real-time Java threadsAkihiko Miyoshi, Takuro Kitayama, Hideyuki Tokuda. 166-175 [doi]
- Early detection of timing constraint violation at runtimeAloysius K. Mok, Guangtian Liu. 176 [doi]
- Enhanced analysis of cache-related preemption delay in fixed-priority preemptive schedulingChang-Gun Lee, Joosun Hahn, Yang-Min Seo, Sang Lyul Min, Rhan Ha, Seongsoo Hong, Chang Yun Park, Minsuk Lee, Chong-Sang Kim. 187-198 [doi]
- A cache-aware scheduling algorithm for embedded systemsGabriele Luculli, Marco Di Natale. 199-209 [doi]
- Scalable hardware earliest-deadline-first scheduler for ATM switching networksByung Kook Kim, Kang G. Shin. 210 [doi]
- Formal development of a real-time kernelSimon Fowler, Andy J. Wellings. 220-229 [doi]
- A constraint-based approach for specification and verification of real-time systemsGopal Gupta, Enrico Pontelli. 230-239 [doi]
- Guidelines for automated implementation of executable object oriented models for real-time embedded control systemsManas Saksena, Paul Freedman, Pawel Rodziewicz. 240 [doi]
- Optimal smoothness results and approximation techniques for real-time VBR video traffic smoothingJunbiao Zhang, Joseph Y. Hui. 253-263 [doi]
- Static priority scheduling for ATM networksChengzhi Li, Riccardo Bettati, Wei Zhao. 264-273 [doi]
- Response-time guarantees in ATM networksAndreas Ermedahl, Hans Hansson, Mikael Sjödin. 274-284 [doi]
- Integrated delay analysis of regulated ATM switchJoseph Kee-Yin Ng, Shibin Song, Wei Zhao. 285 [doi]
- A resource allocation model for QoS managementRagunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek. 298-307 [doi]
- Scheduling real-time applications in an open environmentZhong Deng, Jane W.-S. Liu. 308-319 [doi]
- On adaptive resource allocation for complex real-time applicationDaniela Rosu, Karsten Schwan, Sudhakar Yalamanchili, Rakesh Jha. 320-329 [doi]
- Exploiting skips in periodic tasks for enhancing aperiodic responsivenessMarco Caccamo, Giorgio C. Buttazzo. 330 [doi]