Douglas Niehaus, John A. Stankovic, Krithi Ramamritham  Home/Search
Context Related
| ukans.edu/~niehaus...lconference.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ukans.edu/~niehaus/realtime (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Building complex real-time systems requires languages and tools that permit careful specification of the system design as well as providing automatic calculation and analysis. If this design and analysis environment is well done, it should be able to accommodate modification of the system design through simple specification changes and then rerunning the analysis tools. A critical aspect of such an environment is simultaneous support for conflicting goals: design by layered abstractions which... (Update)
Context of citations to this paper: More
.... with the design and implementation of reflective real time systems [34, 36] and with specification languages for hardware platforms [24, 35]. 4.2 Configuration Tools Today s configuration tools are very limited. Research questions include what are the essential...
.... language with a reflective kernel in much the same way as we have currently integrated the Spring System Description Language (SDL) [6] with the Spring kernel. In SDL, the designer can specify the system network topology, each node layout (each node is a multiprocessor in the...
Cited by: More
Predictable Threads for Dynamic Hard Real-Time Environments - Humphrey, Stankovic (1998) (Correct)
VEST: A Toolset for Constructing and Analyzing Component Based.. - Stankovic (2000) (Correct)
Continuous and Multimedia OS Support In Real-Time.. - John Stankovic.. (1995) (Correct)
Similar documents (at the sentence level):
42.0%: The Spring System Description Language - Douglas Niehaus John (1993) (Correct)
18.1%: Program Representation And Execution In Real-Time Multiprocessor.. - Niehaus (1994) (Correct)
Active bibliography (related documents): More All
0.5: Program Representation and Translation for Predictable Real-Time.. - Niehaus (1991) (Correct)
0.4: Kernel-Level Threads for Dynamic, Hard Real-Time.. - Humphrey, Wallace.. (1995) (Correct)
0.2: SpringNet: A Scalable Architecture For High Performance.. - John Stankovic (1993) (Correct)
Similar documents based on text: More All
0.1: The Spring System: Integrated Support for Complex.. - John Stankovic Department (1999) (Correct)
0.1: System Failure And Recovery - Sivasankaran, Ramamritham, Srankovic (Correct)
0.1: MIRROR: A State-Conscious Concurrency Control.. - Xiong.. (1998) (Correct)
Related documents from co-citation: More All
7: The Spring Kernel: A New Paradigm for Real-Time Systems (context) - Stankovic, Ramamritham - 1991
4: Efficient Scheduling Algorithms For RealTime Multiprocessor Systems (context) - Ramamritham, Stankovic et al. - 1990
4: A reflective architecture for real-time operating systems - Stankovic, Ramamritham - 1994
BibTeX entry: (Update)
D. Niehaus, J. Stankovic, and K. Ramaritham, "A real-time system description language," in Proceedings of the 1995 IEEE Real-Time Technology and Applications Symposium, May 1995. http://citeseer.ist.psu.edu/niehaus95realtime.html More
@misc{ niehaus95realtime,
author = "D. Niehaus and J. Stankovic and K. Ramaritham",
title = "A real-time system description language",
text = "D. Niehaus, J. Stankovic, and K. Ramaritham, A real-time system description
language, in Proceedings of the 1995 IEEE Real-Time Technology and Applications
Symposium, May 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/niehaus95realtime.html" }
Citations (may not include all citations):297 STATEMATE: A Working Environment for the Development of Comp.. - Harel - 1988
103 The Spring Kernel: A New Paradigm for Real-Time Systems (context) - Stankovic, Ramamritham - 1991
98 Real-Time Systems and Their Programming Languages (context) - Burns, Wellings - 1989
98 Efficient Scheduling Algorithms for Real-Time Multiprocessor.. (context) - Ramamritham, Stankovic et al. - 1990
89 Strategies for RealTime System Specification (context) - Hatley, Pirbhai - 1988
57 Object Oriented Real-Time Language Design: Constructs for Ti.. (context) - Ishikawa, Tokuda et al. - 1990
56 Software Design Methods for Concurrent and Real-Time Systems (context) - Gomaa - 1993
46 Constructing Predictable Real-Time Systems (context) - Halang, Stoyenko - 1991
38 Dynamic Endto -End Guarantees in Distributed Real-Time Syste.. - Di Natale, Stankovic - 1994
21 Program Representation and Translation for Predictable Real-.. - Niehaus - 1991
20 Language Support for the Maruti Real-Time System (context) - Nirkhe, Tripathi et al. - 1990
17 Predictable Real-Time Caching in the Spring System (context) - Niehaus, Nahum et al. - 1991
8 Comparative Evaluation of High-Level Real-Time Programming L.. (context) - Halang, Stoyenko - 1990
7 Program Representation and Execution in Real-Time Multiproce.. - Niehaus - 1994
6 Building Flexible RealTime Systems Using the Flex Language (context) - Kenney, Lin - 1991
4 Real-Time Platforms and Environments for Time Constrained Fl.. (context) - Stankovic, Ramamritham et al. - 1994
4 An Architecture for RealTime Software Systems (context) - Baker, Scallon - 1986
3 Address Space and Resource Management in the Spring System (context) - Niehaus, Kuan et al. - 1992
3 The Spring Simulation Testbed - V2 User's Guide (context) - Gene - 1990
2 A Robotics Application for the Spring Real-Time System (context) - Bickford - 1992
2 Advanced Real-Time Languages for Distributed Industrial Proc.. (context) - Steusloff - 1984
1 Validating the ADARTS Software Design Method for Real-Time S.. (context) - Cochran, Gomaa - 1991
1 Ramamritham Spring System Description Language (context) - Niehaus, Stankovic - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.tisl.ukans.edu/~niehaus/real-time.html):
Program Representation and Translation for Predictable Real-Time.. - Niehaus (1991) (Correct)
The Spring System Description Language - Douglas Niehaus John (1993) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC