MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Real-Time Theory in Practice" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Concurrent Read/ Write: Real-Time Theory And Practice
by Horst Wedde, Sabine Böhm, Wolfgang Freund — 2001
…ABSTRACT CONCURRENT READ/ WRITE: REAL-TIME THEORY AND PRACTICE Read/ write conflicts…
Add To MetaCart

Essential Reading: Theory of Timed and Hybrid Systems
by R. Ramanujam, Paritosh K. Pandya, Afh R. Alur, T. Feder, Hkpv T. A. Henzinger, P. W. Kopke, A. Puri, P. Varaiya What's Decidable — 1997 — Proc. IEEE Conf. on Decision and Control
….A. Henzinger. Logics and models of real-time: a survey. In de Roever de Bakker and Rosenberg, editors, Real-time…
Add To MetaCart

Stochastic Process Algebras
by Ulrich Herzog, Michael Rettelbach, Bdgb M. Bernardo, Describing Queueing Systems, Bdgc M. Bernardo, R. Gorrieri, R. Gorrieri, L. Donatello, L. Donatello, Operational Gspn Mpa — 1994
… on timed process algebras. In Real-Time: Theory in Practice, pages 526--548. Springer LNCS 600, 1991. [Che…
Cited by 10 (1 self) – Add To MetaCart

Putting time into proof outlines
by Fred B. Schneider, Keith Marzullo, Fred B. Schneider T, Bard Bloom, Bard Bloom, Keith Marzulio — 1992 — In
… 14853-7501 *A preliminary version of this work appeared in Real-time: Theory and Practice, Proceedings…
Cited by 27 (1 self) – Add To MetaCart

Interface Models
by Anders P. Ravn, Jørgen Staunstrup — 1994 — Proceedings of the IEEE Codes/Cashe workshop
…, and G. Rozenberg, editors. Real-Time: Theory in Practice, REX Workshop, volume 600 of LNCS. 1992. [6] M…
Cited by 1 (0 self) – Add To MetaCart

An Architectural Overview Of The Alpha Real-Time Distributed Kernel
by Raymond K. Clark, E. Douglas Jensen, Franklin D. Reynolds, E. Douglas, Jensen Franklin, D. Reynolds — 1993 — In Proceedings of the USENIX Workshop on Microkernels and Other Kernel Architectures
… load and communication timing, exceptions, dependencies, and conflicts. Standard real-time theory…
Cited by 43 (4 self) – Add To MetaCart

Logics and Models of Real Time: A Survey
by Rajeev Alur, Thomas A. Henzinger — 1992
… of real-time systems. In particular, we discuss three syntactic extensions of temporal logic: time…
Cited by 156 (17 self) – Add To MetaCart

666 BIBLIOGRAPHY
by M. Abadi, Z. Manna, Nonclausal Temporal, Deduction Lecture Notes, S. Abiteboul, S. Grumbach, A Logic-based, Language Complex
… and Models of Real-Time: A Survey. In Real Time: Theory in Practice, volume 600 of Lecture Notes in Computer…
Add To MetaCart

Temporal Proof Methodologies for Timed Transition Systems
by Thomas A. Henzinger, Zohar Manna, Amir Pnueli — 1994 — Information and Computation
… of this paper appeared in the proceedings of the 1991 REX Workshop on Real Time: Theory in Practice [HMP92a]; a…
Cited by 41 (8 self) – Add To MetaCart

Critical System Properties: Survey and Taxonomy
by John Rushby, Slr Lui Sha, John P. Lehoczky, Ragunathan Rajkumar Solutions — 1994
…, and G. Rozenberg, editors. Real Time: Theory in Practice, volume 600 of Lecture Notes in Computer…
Cited by 55 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB