Alan Shaw  Home/Search
Context Related
Links: ACM DBLP | cs.chungnam.ac.kr/~ykim/cou...chap16.ps cs.chungnam.ac.kr/~ykim/cou...chap16.ps cs.chungnam.ac.kr/~ykim/cou...chap16.ps 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 Problem Downloading? From: cs.chungnam.ac.kr/~ykim/co...refs (more) From: cs.chungnam.ac.kr/~ykim/co...refs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Introduction Real-time systems and many other computer applications must meet specifications and perform tasks that satisfy timing as well as logical criteria for correctness. Examples of timing properties and constraints include deadlines, the periodic execution of processes, and external event recognition based on time of occurrence (e.g., [9, 18]). We present a scheme for reasoning with and about time and for specifying timing properties in concurrent programs. The objectives are to predict ... (Update)
Cited by: More
Model Generation for Temporal Properties of Reactive Components - Moss, Muller (Correct)
Worst Case Timing Analysis Of Concurrently Executing Dma I/o And.. - Huang (1997) (Correct)
Analysis of Real Time Operating System Based - Applications Libor Waszniowski (Correct)
Active bibliography (related documents): More All
0.6: Analyzing the Behavior and Performance of Parallel Programs - Adve (1993) (Correct)
0.2: Program Timing Analysis - Chapman (1994) (Correct)
0.2: Automated Derivation of Time Bounds in Uniprocessor.. - Avrunin, Corbett.. (1994) (Correct)
Similar documents based on text: More All
0.0: On Hoare Logic and Kleene Algebra with Tests - Kozen (1998) (Correct)
0.0: Hoare Logic and Auxiliary Variables - Kleymann (1998) (Correct)
0.0: On Hoare Logic, Kleene Algebra, and Types - Kozen (1999) (Correct)
Related documents from co-citation: More All
34: Calculating the maximum execution times of realtime programs (context) - Puschner, Koza - 1989
29: Experiments with a program timing tool based on sourcelevel timing scheme (context) - Park, Shaw - 1991
28: A retargetable technique for predicting execution time - Harmon, Baker et al. - 1992
BibTeX entry: (Update)
A. Shaw, "Reasoning about time in higher-level language software," IEEE Transactions on Software Engineering, vol. 15, July 1989. http://citeseer.ist.psu.edu/shaw89reasoning.html More
@article{ shaw89reasoning,
author = "A. C. Shaw",
title = "Reasoning about Time in Higher-Level Language Software",
journal = "IEEE Transactions on Software Engineering",
volume = "15",
number = "7",
publisher = "IEEE Computer Society",
address = "Washington, DC",
pages = "875--889",
year = "1989",
url = "citeseer.ist.psu.edu/shaw89reasoning.html" }
Citations (may not include all citations):167 Calculating the MaximumExecution Time of RealTime Programs (context) - Puschner, Koza - 1989
54 Evaluating Tight Execution Time Bounds of Programs by Annota.. (context) - Mok - 1989 ACM
42 Communicating Real-Time State Machines (context) - Shaw - 1992 ACM DBLP
21 A Real-Time Language with a Schedulability Analyzer (context) - Stoyenko - 1987 ACM
20 Predicting Deterministic Execution Times of Real-Time Progra.. (context) - Park - 1992 ACM
10 A Partial Evaluator for the Maruti Hard Real-Time System (context) - Nirkhe, Pugh - 1991 ACM DBLP
8 Deterministic Timing Schema for Parallel Programs (context) - Shaw - 1991 DBLP
7 A Prototyping Environment for Specifying, Executing, and Che.. - Raju, Shaw - 1992
5 Towards a Timing Semantics for Programming Languages (context) - Shaw - 1991
5 FLEX: A Language for Real-Time Systems Programming (context) - Lin - 1991
2 An Experiment on Predicting and Measuring the Deterministic .. (context) - Kim, Shaw - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cs.chungnam.ac.kr/~ykim/courses/grad-rts99/refs.html): More
A Software Overview of HARTS: A Distributed Real-Time.. - Shin, Kandlur, Kiskis, .. (Correct)
Compiler Support for Real-Time Programs - Gerber, Hong (1998) (Correct)
Scheduling Algorithms and Operating Systems Support for.. - Ramamritham, Stankovic (1994) (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