Building Responsive Systems CLEOPATRA Building Responsive Systems from Physically-correct Specifications...  Home/Search
Context
Related
| bu.edu/techreports...traresponsive.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: bu.edu/techreports/pdf/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Predictability -- the ability to foretell that an implementation will not violate a set of specified reliability and timeliness requirements -- is a crucial, highly desirable property of responsiveembedded systems. This paper overviews a development methodology for responsive systems, which enhances predictabilityby eliminating potential hazards resulting from physically-unsound specifications. (Update)
Similar documents (at the sentence level): More
74.8%: CLEOPATRA - Building Responsive Systems from Physically-correct.. - Bestavros (1993) (Correct)
49.3%: An Ounce of Prevention is Worth a Pound of Cure - Towards.. - Bestavros (1994) (Correct)
46.3%: An Ounce of Prevention is Worth a Pound of Cure - Towards Physically-Correct.. (1994) (Correct)
Active bibliography (related documents): More All
0.3: Operating System Resource Reservation for Real-Time and.. - Mercer (1997) (Correct)
0.2: Formal Modelling in Embedded System Design: - Case Study Rinat (Correct)
0.2: A Prototyping Environment for Specifying, Executing and.. - Raju, Shaw (1994) (Correct)
Similar documents based on text: More All
0.3: Compiler for the Embedded Real-Time Systems Specification.. - Popp, Reich (1992) (Correct)
0.2: Trace Analysis And Its Applications To Performance Enhancements.. - Chunha (1997) (Correct)
0.2: Changes in Web Client Access Patterns -.. - Barford.. (1999) (Correct)
BibTeX entry: (Update)
@misc{ systems-unknown,
author = "Building Responsive Systems",
title = "Unknown",
url = "citeseer.ist.psu.edu/714047.html" }
Citations (may not include all citations):299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
139 An introduction to Input/Output Automata (context) - Lynch, Tuttle - 1988
98 Real-time systems and their programming languages (context) - Burns, Wellings - 1990
79 Scheduling periodic jobs that allow imprecise results (context) - Chung, Liu - 1990
78 Forward and backward simulations for timing-based systems - Lynch, Vaandrager - 1991
72 The Spring Kernel: A new paradigm for real-time operating sy.. (context) - Stankovic, Ramamritham - 1989
65 Misconceptions about real-time computing (context) - Stankovic - 1988
62 A formal model of computation for sensory-based robotics - Lyons, Arbib - 1989
38 A logic of concrete time intervals (context) - Lewis - 1990
32 Real-time Euclid: A language for reliable real-time systems (context) - Kligerman, Stoyenko - 1986
31 IEEE Computer Society Press (context) - Stankovic, Ramamritham et al. - 1988
29 Toward a discipline of real-time programming (context) - Wirth - 1977
15 McGraw-Hill Book Company (context) - Fu, Gonzalez et al. - 1987
11 A brief history of Time: From the Big Bang to Black Holes (context) - Hawking - 1988
10 Time-constrainedReactive Automata: A novel development metho.. (context) - Bestavros - 1991
8 Planning for embedded systems: A real-time prospective - Bestavros - 1991
8 Specification and verification or real-time embedded systems.. (context) - Bestavros - 1991
7 The IOTA: A model for real-time parallel computation (context) - Bestavros - 1990
7 Foundations of Real-Time Computing: Scheduling and resource .. (context) - van Tilborg, Koob - 1991
6 Time constrained automata (context) - Tuttle, Meritt et al. - 1988
6 A robotics system for manipulation using directed vision fee.. (context) - Clark, Ferrier et al. - 1991
5 Toward system theory interconnected ConditionEvent system (context) - Sreenivas, theory et al. - 1990
4 Foundations of Real-Time Computing: Formal Specifications an.. (context) - van Tilborg, Koob - 1991
4 Clairvoyance, capricious timing faults, causality, and real-.. (context) - Stuart, Clements - 1991
2 TRA-based real-time executable specification using CLEOPATRA (context) - Bestavros - 1991
2 Cleopatra compiler design and implementation (context) - Bestavros, Reich et al. - 1992
2 Critical (of) issues in real-time systems: A position paper (context) - Schneider - 1988
1 6.852 distributed algorithms lecture notes: The I/O Automata (context) - Lynch, Goldman - 1988
1 Management of sensori-motor activityin mobile robots (context) - Bestavros, Clark et al. - 1990
Documents on the same site (http://www.cs.bu.edu/techreports/pdf/): More
Robust Tracking of Human Motion - Buzan (2004) (Correct)
Segmenting Foreground Objects from a Dynamic Textured.. - Zhong, Sclaroff (2003) (Correct)
dPAM: A Distributed Prefetching Protocol for Scalable.. - Sharma, Bestavros, Matta (2004) (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