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 ] 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 ] Conf ] Ahmed Bouajjani , Stavros Tripakis , Sergio Yovine On-the-fly symbolic model checking for real-time systems. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Guillem Bernat , Alan Burns Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] John P. Lehoczky Real-time queueing network theory. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjoy K. Baruah , Deji Chen , Aloysius K. Mok Jitter concerns in periodic task systems. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Matthew Clegg , Keith Marzullo A low-cost processor group membership protocol for a hard real-time distributed system. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] James H. Anderson , Rohit Jain , Srikanth Ramamurthy Wait-free object-sharing schemes for real-time uniprocessors and multiprocessors. [Citation Graph (0, 0)][DBLP ] Conf ] Ramesh Gupta , Jayant R. Haritsa , Krithi Ramamritham More optimism about real-time distributed commit processing. [Citation Graph (0, 0)][DBLP ] Conf ] Hideyuki Takada , Ken Sakamura A novel approach to multiprogrammed multiprocessor synchronization for real-time kernel. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Anastasio Molano , Kanaka Juvva , Ragunathan Rajkumar Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach. [Citation Graph (0, 0)][DBLP ] Conf ] Akihiko Miyoshi , Takuro Kitayama , Hideyuki Tokuda Implementation and evaluation of real-time Java threads. [Citation Graph (0, 0)][DBLP ] Conf ] Aloysius K. Mok , Guangtian Liu Early detection of timing constraint violation at runtime. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Gabriele Luculli , Marco Di Natale A cache-aware scheduling algorithm for embedded systems. [Citation Graph (0, 0)][DBLP ] Conf ] Byung Kook Kim , Kang G. Shin Scalable hardware earliest-deadline-first scheduler for ATM switching networks. [Citation Graph (0, 0)][DBLP ] Conf ] Simon Fowler , Andy J. Wellings Formal development of a real-time kernel. [Citation Graph (0, 0)][DBLP ] Conf ] Gopal Gupta , Enrico Pontelli A constraint-based approach for specification and verification of real-time systems. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Junbiao Zhang , Joseph Y. Hui Optimal smoothness results and approximation techniques for real-time VBR video traffic smoothing. [Citation Graph (0, 0)][DBLP ] Conf ] Chengzhi Li , Riccardo Bettati , Wei Zhao Static priority scheduling for ATM networks. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Ermedahl , Hans Hansson , Mikael Sjödin Response-time guarantees in ATM networks. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Kee-Yin Ng , Shibin Song , Wei Zhao Integrated delay analysis of regulated ATM switch. [Citation Graph (0, 0)][DBLP ] Conf ] Ragunathan Rajkumar , Chen Lee , John P. Lehoczky , Daniel P. Siewiorek A resource allocation model for QoS management. [Citation Graph (0, 0)][DBLP ] Conf ] Zhong Deng , Jane W.-S. Liu Scheduling real-time applications in an open environment. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela Rosu , Karsten Schwan , Sudhakar Yalamanchili , Rakesh Jha On adaptive resource allocation for complex real-time application. [Citation Graph (0, 0)][DBLP ] Conf ] Marco Caccamo , Giorgio C. Buttazzo Exploiting skips in periodic tasks for enhancing aperiodic responsiveness. [Citation Graph (0, 0)][DBLP ] Conf ] 