MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Refinement of time." – sorted by Relevance.

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

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

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

ATOM

Refining Timing Constraints Of Applications In Deeds
by Jonas Mellin, Jörgen Hansson, Sten F. Andler — 1997
…1 REFINING TIMING CONSTRAINTS OF APPLICATIONS IN DEEDS Jonas Mellin, Jorgen Hansson and Sten F…
Cited by 4 (4 self) – Add To MetaCart

Transaction Decomposition: Refinement of Timing Constraints
by Jan Haveman — 1997
…Transaction Decomposition: Refinement of Timing Constraints Jan Haveman BAe Dependable Computing…
Cited by 2 (1 self) – Add To MetaCart

A theory of implementation and refinement in timed Petri nets
by Miguel Felder, Angelo Gargantini, Angelo Morzenti, Communicated G. Rozenberg — 1998 — Theoretical Computer Science
…Theoretical Computer Science 202 (1998) 127—161 A theory of implementation and refinement in timed…
Cited by 2 (0 self) – Add To MetaCart

An Approach to Modelling and Refining Timing Properties in B
by Michael Butler, Jerome Falampin — 2001
…1 Introduction An Approach to Modelling and Refining Timing Properties in B Michael Butler…
Cited by 1 (0 self) – Add To MetaCart

On Verification of Refinements of Asynchronous Timed Distributed Algorithms
by J. Cohen, A. Slissenko — 2000 — Manufacturing, (TEAM), Application Programming Interfaces, Internet location http://isd.cme.nist.gov/info/team
…On Verification of Refinements of Asynchronous Timed Distributed Algorithms J. Cohen 1…
Cited by 4 (1 self) – Add To MetaCart

Accepting Zeno words: a way towards timed refinements
by Béatrice Bérard, Claudine Picaronny — 2000
…: a way toward timed refinements B'eatrice B'erard and Claudine Picaronny LSV, CNRS UMR 8643, ENS de…
Cited by 6 (2 self) – Add To MetaCart

Separating Timing and Calculation in Real-Time Refinement
by Ian Hayes, Ian Hayes — 1998
… in Real-Time Refinement Ian Hayes Abstract. We consider the specification and refinement of sequential…
Cited by 10 (3 self) – Add To MetaCart

Introducing Parallel Composition to the Timed Refinement Calculus
by Graeme Smith — 2000 — 2000: Proceedings of the 7th Australasian Conference on Parallel and Real-Time Systems
…Introducing Parallel Composition to the Timed Refinement Calculus Graeme Smith Software…
Cited by 1 (0 self) – Add To MetaCart

Specification and Refinement of a Real-Time Control System
by Graeme Smith — 1999 — In Australian Computer Science Conference'99-Australian Computer Science Communications, number 1 in 21
…Specification and Refinement of a Real-Time Control System Graeme Smith Software Verification…
Cited by 1 (0 self) – Add To MetaCart

Software Module Timing Refinement Using External Instruction Set Simulator
by Jie Liu — 1997
…Software Module Timing Refinement Using Instruction Set Simulator EE290A Software Module Timing…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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