Conferences in DBLP
Klaus Havelund , Arne Skou , Kim Guldstrand Larsen , K. Lund Formal modeling and analysis of an audio/video protocol: an industrial case study using UPPAAL. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:2-13 [Conf ] Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi Efficient verification of real-time systems: compact data structure and state-space reduction. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:14-24 [Conf ] Ahmed Bouajjani , Stavros Tripakis , Sergio Yovine On-the-fly symbolic model checking for real-time systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:25-0 [Conf ] Ching-Chih Han , Hung-Ying Tyan A better polynomial-time schedulability test for real-time fixed-priority scheduling algorithm. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:36-45 [Conf ] Guillem Bernat , Alan Burns Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:46-57 [Conf ] John P. Lehoczky Real-time queueing network theory. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:58-67 [Conf ] Sanjoy K. Baruah , Deji Chen , Aloysius K. Mok Jitter concerns in periodic task systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:68-0 [Conf ] Oscar González , H. Shrikumar , John A. Stankovic , Krithi Ramamritham Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:79-89 [Conf ] Matthew Clegg , Keith Marzullo A low-cost processor group membership protocol for a hard real-time distributed system. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:90-98 [Conf ] Seungjae Han , Kang G. Shin Efficient spare-resource allocation for fast restoration of real-time channels from network component failures. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:99-0 [Conf ] James H. Anderson , Rohit Jain , Srikanth Ramamurthy Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:111-122 [Conf ] Ramesh Gupta , Jayant R. Haritsa , Krithi Ramamritham More optimism about real-time distributed commit processing. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:123-133 [Conf ] Hideyuki Takada , Ken Sakamura A novel approach to multiprogrammed multiprocessor synchronization for real-time kernel. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:134-143 [Conf ] Shao-Juen Ho , Tei-Wei Kuo , Aloysius K. Mok Similarity-based load adjustment for real-time data-intensive applications. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:144-0 [Conf ] Anastasio Molano , Kanaka Juvva , Ragunathan Rajkumar Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:155-165 [Conf ] Akihiko Miyoshi , Takuro Kitayama , Hideyuki Tokuda Implementation and evaluation of real-time Java threads. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:166-175 [Conf ] Aloysius K. Mok , Guangtian Liu Early detection of timing constraint violation at runtime. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:176-0 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:187-198 [Conf ] Gabriele Luculli , Marco Di Natale A cache-aware scheduling algorithm for embedded systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:199-209 [Conf ] Byung Kook Kim , Kang G. Shin Scalable hardware earliest-deadline-first scheduler for ATM switching networks. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:210-0 [Conf ] Simon Fowler , Andy J. Wellings Formal development of a real-time kernel. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:220-229 [Conf ] Gopal Gupta , Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:230-239 [Conf ] Manas Saksena , Paul Freedman , Pawel Rodziewicz Guidelines for automated implementation of executable object oriented models for real-time embedded control systems. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:240-0 [Conf ] Junbiao Zhang , Joseph Y. Hui Optimal smoothness results and approximation techniques for real-time VBR video traffic smoothing. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:253-263 [Conf ] Chengzhi Li , Riccardo Bettati , Wei Zhao Static priority scheduling for ATM networks. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:264-273 [Conf ] Andreas Ermedahl , Hans Hansson , Mikael Sjödin Response-time guarantees in ATM networks. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:274-284 [Conf ] Joseph Kee-Yin Ng , Shibin Song , Wei Zhao Integrated delay analysis of regulated ATM switch. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:285-0 [Conf ] Ragunathan Rajkumar , Chen Lee , John P. Lehoczky , Daniel P. Siewiorek A resource allocation model for QoS management. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:298-307 [Conf ] Zhong Deng , Jane W.-S. Liu Scheduling real-time applications in an open environment. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:308-319 [Conf ] Daniela Rosu , Karsten Schwan , Sudhakar Yalamanchili , Rakesh Jha On adaptive resource allocation for complex real-time application. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:320-329 [Conf ] Marco Caccamo , Giorgio C. Buttazzo Exploiting skips in periodic tasks for enhancing aperiodic responsiveness. [Citation Graph (0, 0)][DBLP ] IEEE Real-Time Systems Symposium, 1997, pp:330-0 [Conf ]