See this document in CiteSeerX!

Program Representation And Execution In Real-Time Multiprocessor Systems (1994)  (Make Corrections)  (7 citations)
Douglas Niehaus



  Home/Search   Context   Related

Links:   ACM

 
View or download:
ukans.edu/pub/misc/thesis...full.ps.gz
ukans.edu/~niehaus/publica...full.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  ukans.edu (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: PROGRAM REPRESENTATION AND EXECUTION IN REAL-TIME MULTIPROCESSOR SYSTEMS FERUARY 1994 DOUGLAS NIEHAUS, B.S., NORTHWESTERN UNIVERSITY M.S., UNIVERSITY OF MICHIGAN Ph.D., UNIVERSITY OF MASSACHUSETTS AMHERST Directed by: Professor John A. Stankovic In real-time systems the correctness of the computation depends not only on the logical correctness of the answer, but also on when it is produced. Run-time management in a real-time system must therefore exercise detailed control of how and when... (Update)

Context of citations to this paper:   More

.... of four (4KB, 16KB, 64KB, 16MB) This is the finest grain of increment for such a range in any of the processors in this survey, but [14] suggests an increment factor of only 2 as more useful and more efficient in terms of memory allocation. The TLB entries are directly...

...critical sections and synchronous communication. We address other aspects of constructing a predictable real time system elsewhere [11, 9]. One of our goals is to establish a source language, Spring C, that can serve as a target for many of the existing languages. The...

Cited by:   More
Predictable Threads for Dynamic Hard Real-Time Environments - Humphrey, Stankovic (1998)   (Correct)
Real-Time Support in General Purpose Operating Systems - Gopalan (2001)   (Correct)
A Real-Time System Description Language - Niehaus, Stankovic, Ramamritham (1995)   (Correct)

Active bibliography (related documents):   More   All
1.3:   Program Representation and Translation for Predictable Real-Time.. - Niehaus (1991)   (Correct)
1.2:   SpringNet: A Scalable Architecture For High Performance.. - John Stankovic (1993)   (Correct)
1.0:   An Argument for a Runtime Layer in SPARTA Design - Wisniewski, Brown (1994)   (Correct)

Similar documents based on text:   More   All
0.2:   Cv - Nahum   (Correct)
0.2:   The Spring System Description Language - Douglas Niehaus John (1993)   (Correct)
0.2:   The Spring System: Integrated Support for Complex.. - John Stankovic Department (1999)   (Correct)

Related documents from co-citation:   More   All
5:   The Spring Kernel: A New Paradigm for Real-Time Systems (context) - Stankovic, Ramamritham - 1991
3:   Efficient Scheduling Algorithms For RealTime Multiprocessor Systems (context) - Ramamritham, Stankovic et al. - 1990
2:   Object-oriented real-time language design: constructs for timing constraints (context) - Ishikawa, Tokuda et al. - 1990

BibTeX entry:   (Update)

D. Niehaus, Program Representation and Execution in Real-Time Multiprocessor Systems, PhD thesis, University of Massachusetts, Amherst MA, 1994. http://citeseer.ist.psu.edu/niehaus94program.html   More

@techreport{ niehaus94program,
    author = "Douglas Niehaus",
    title = "Program Representation and Execution in Real-Time Multiprocessor Systems",
    number = "UM-CS-1994-22a",
    month = ",",
    year = "1994",
    url = "citeseer.ist.psu.edu/niehaus94program.html" }
Citations (may not include all citations):
1582   Scheduling Algorithms for Multiprogramming in a Hard Real-ti.. - Liu, Layland - 1973  ACM
296   Free Software Foundation (context) - Stallman - 1992
235   The Synchronous Data Flow Programming Language LUSTRE - Halbwachs, Caspi et al. - 1991
206   Real-Time Mach: Towards a Predictable Real-Time System - Tokuda, Nakajima et al. - 1990
188   Aperiodic Task Scheduling for Hard-RealTime Systems (context) - Sprunt, Sha et al. - 1989
167   Calculating the Maximum Execution Time of RealTime Programs (context) - Puschner, Koza - 1990
123   Constructing Distributed Systems in Conic - Magee, Kramer et al. - 1989  ACM   DBLP
103   The Spring Kernel: A New Paradigm for Real-Time Systems (context) - Stankovic, Ramamritham - 1991  DBLP
103   Experiments with a Program Timing Tool Based on Source-Level.. (context) - Park, Shaw - 1991
98   Efficient Scheduling Algorithms for Real-Time Multiprocessor.. (context) - Ramamritham, Stankovic et al. - 1990
98   Real-Time Systems and Their Programming Languages (context) - Burns, Wellings - 1989  ACM
92   Reasoning About Time in Higher-Level Language Software - Shaw - 1989  ACM   DBLP
83   A Retargetable Technique for Predicting Execution Time - Harmon, Baker et al. - 1992  DBLP
82   Real-Time Scheduling Theory and ADA (context) - Sha, Goodenough - 1988  ACM   DBLP
81   Implementing Precise Interrupts in Pipelined Processors (context) - Smith, Plezkun - 1988  ACM   DBLP
81   Real-Time Synchronization Protocols for Multiprocessors (context) - Rajkumar, Sha et al. - 1988  DBLP
79   The ESTEREL Language (context) - Boussinot, Simon - 1991
65   Misconceptions About Real-Time Computing (context) - Stankovic - 1988
57   Object Oriented Real-Time Language Design: Constructs for Ti.. (context) - Ishikawa, Tokuda et al. - 1990
57   Real-Time Euclid: A Language for Reliable Real-Time Systems (context) - Kligerman, Stoyenko - 1986  ACM   DBLP
54   Evaluating Tight Execution Time Bounds of Programs by Annota.. (context) - Mok - 1989  ACM
52   Preemptive Scheduling under Time and Resource Constraints (context) - Zhao, Ramamritham et al. - 1987  ACM   DBLP
46   Constructing Predictable Real-Time Systems (context) - Halang, Stoyenko - 1991
43   The Integration of Deadline and Criticalness in Hard Real-Ti.. (context) - Biyabani, Stankovic et al. - 1988  DBLP
42   Strategic Memory Allocation for Real-Time) Cache Design Usin.. (context) - Kirk, Strosnider - 1990
42   Strategic Memory Allocation for Real-Time) Cache Design (context) - Kirk - 1989
38   HARTS: A Distributed Real-Time Architecture (context) - Shin - 1990  DBLP
34   Allocating Hard Real-Time Tasks: An NP-Hard Problem Made Eas.. - Tindell, Burns et al. - 1992  DBLP
32   Resource Reclaiming in Multiprocessor Real-Time Systems - Shen, Ramamritham et al. - 1993  ACM   DBLP
29   The Real-Time Operating System of MARS (context) - Damm, Reisinger et al. - 1989  ACM   DBLP
25   RTC: Language Support for Real-Time Concurrency (context) - Wolfe, Davidson et al. - 1991  DBLP
25   Real-Time Concurrent C: A Language for Programming Dynamic R.. (context) - Gehani, Ramamritham - 1991  DBLP
23   Foundations of Real-Time Computing: Scheduling and Resource .. (context) - van Tilborg, Koob - 1991
21   Program Representation and Translation for Predictable Real-.. - Niehaus - 1991  ACM
20   Implementing a Predictable Real-Time Multiprocessor Kernel -.. - Molesky, Ramamritham et al. - 1990
20   Language Support for the Maruti Real-Time System (context) - Nirkhe, Tripathi et al. - 1990  DBLP
20   Compiling Real-Time Programs into Schedulable Code - Hong, Gerber - 1993  ACM   DBLP
19   The MARUTI Hard Real-Time Operating System (context) - Levi, Tripathi et al. - 1989  ACM   DBLP
17   Predictable Real-Time Caching in the Spring System (context) - Niehaus, Nahum et al. - 1991
17   Developing RealTime Tasks with Predictable Timing (context) - Pospischil, Puschner et al. - 1992
16   A Verifier for Real-Time Properties (context) - Ostroff - 1992  ACM   DBLP
15   A Schedulability Analyzer for Real-Time Euclid (context) - Stoyenko - 1987  DBLP
14   CHAOS: Why One Cannot Have Only an Operating System for Real.. (context) - Gopinath, Schwan - 1989  ACM   DBLP
13   The ARTS Real-Time Object Model (context) - Mercer, Tokuda - 1990  DBLP
13   User's Guide (context) - Systems
11   The Spring Scheduling Co-Processor: A Scheduling Accelerator - Burleson, Ko et al. - 1993  DBLP
11   Dynamic Sharing and Backward Compatibility on 64-bit Machine.. - Garrett, Bianchini et al. - 1992  ACM
10   the Reflective Nature of the Spring Kernel - Stankovic - 1991
10   Predictable Synchronization Mechanisms for Multiprocessor Re.. - Molesky, Shen et al. - 1990  ACM   DBLP
10   HARTOS: A Distributed Real-Time Operating System (context) - Kandlur, Kiskis et al. - 1989  ACM   DBLP
10   A Partial Evaluator for the Maruti Hard Real-Time System (context) - Nirkhe, Pugh - 1991  ACM   DBLP
9   The Spring Scheduling Co-Processor: Design (context) - Niehaus, Ramamritham et al. - 1993
9   Real-Time UNIX Systems - Design and Application Guide (context) - Furht, Grostick et al. - 1991
8   Verilog-XL Reference Manual (context) - Systems - 1991
8   Guaranteed Response Times in a Distributed Hard-Real-Time En.. (context) - Leinbaugh, Yamini - 1986  ACM   DBLP
8   Meta-Level Control in Distributed Real-Time Systems (context) - Ramamritham, Stankovic et al. - 1987
8   Predictable Cache Design for Real-Time Systems (context) - Kirk - 1990  ACM
8   Real-Time Mentat Programming Language and Architecture (context) - Grimshaw, Silberman et al. - 1990  ACM
8   Comparative Evaluation of High-Level Real-Time Programming L.. (context) - Halang, Stoyenko - 1990  ACM   DBLP
6   MACS: A Predictable Architecture for Real-Time Systems (context) - Cogswell, Segall - 1991
6   Building Flexible Real-Time Systems Using the Flex Language (context) - Kenney, Lin - 1991  ACM   DBLP
6   Scramnet Network Reference Manual (context) - Corporation, Ohio - 1991
6   Toward a Real-Time Data Flow Language (context) - Faustini, Lewis - 1986
5   Real-Time Systems: Well Timed Scheduling and Scheduling with.. (context) - Zlokapa - 1993
5   Spring System Description Language - Niehaus, Stankovic - 1993
5   Durra: A Task-Level Description Language (context) - Barbacci, Wing - 1987
5   Specifying Functional and Timing Behavior for Real-Time Appl.. (context) - Barbacci, Wing - 1986  ACM   DBLP
5   An Interactive Timing Analysis Tool for the SARTOR Environme.. (context) - Amerasinghe - 1985
4   GARTL: A Real-Time Programming Language Based on Multi-Versi.. (context) - Marlin, Zhao et al. - 1990  DBLP
4   Compiler Support for Object Oriented Real-Time Software (context) - Gopinath, Bihari et al. - 1992
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
3   Algorithms for Scheduling Imprecise Calculations (context) - Liu, Lin et al. - 1991
3   Tool to Analyze Timing on 68020 Processor (context) - Lavoie - 1991
3   From CHAOS-base to CHAOS-arc: A Family of Real-time Kernels (context) - Schwan, Gheith et al. - 1990
3   Reflective Real-Time Systems - Stankovic - 1993  ACM
3   Issues Related to Dynamic Scheduling in Real-Time Systems (context) - Wang - 1993
3   Compiler Assisted Adaptive Scheduling in RealTime Systems (context) - Gopinath, Gupta - 1990
2   Building a Real-Time Kernel: First Steps in Validating a Pur.. - Callison, Shaw - 1989  DBLP
2   The Synchronous Approach to Reactive and RealTime Systems (context) - Beneviste, Gerard - 1991
2   A Designer's Perspective of the Hawk Multiprocessor Operatin.. (context) - Holmes, Harris - 1989
2   An Integrated Approach to Dynamic Task and Resource Manageme.. (context) - Shen - 1992  ACM
2   Real-Time Operating Systems: What's Wrong With Today's Syste.. (context) - Stankovic - 1992
2   Advanced Real-Time Languages for Distributed Industrial Proc.. (context) - Steusloff - 1984
2   A Robotics Application for the Spring Real-Time System (context) - Bickford - 1993
1   Static Scheduling of Data Flow Programs for Digital Signal P.. (context) - Lee, Messerschmitt - 1987
1   PR4000 Microporcessor User's Manual (context) - Semiconductor - 1991
1   Spring Project Documentation (context) - Kuan - 1990
1   SpringNet: An Architecture for High Performance (context) - Stankovic, Niehaus et al. - 1993
1   MCOR Unit68020 32-bit Microprocessor User's Manual (context) - Inc - 1986
1   Additional PEARL Language Structures for the Implementation .. (context) - Halang, Henn - 1988
1   Microporcessor Programmer's Reference Manual (context) - Inc - 1990
1   bit Microporcessor User's Manual (context) - Inc - 1990
1   Timing Analysis Language - TAL Programmer's Manual (context) - Chen - 1985
1   Bridging the Gap Between Scheduling Theory and Practice (context) - Katcher, Arakawa et al. - 1991
1   The Use of Ada for Real-Time Systems (context) - Baker - 1990  ACM
1   RISC Microporcessor User's Manual (context) - Inc - 1992



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.ittc.ukans.edu.html):   More
DEFLATE Compressed Data Format Specification version 1.3 - Deutsch (1996)   (Correct)
An ATM WAN/LAN Gateway Architecture - Gary Minden   (Correct)
Uniform Resource Locators - Status Of   (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