Time separation of events: an inverse method

DOI10.1016/J.ENTCS.2008.04.008MaRDI QIDQ2870195zbMATH OpenOpenAlexFDO

Authors Emmanuelle Encrenaz, Laurent Fribourg

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.04.008

zbMATH Keywords

execution time analysisinverse methodtime separation problemtiming constraints

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An algorithm for exact bounds on the time separation of events in concurrent systems
• Min-max inequalities and the timing verification problem with max and linear constraints
• Efficient algorithms for approximate time separation of events
• Formal Modeling and Analysis of Timed Systems
• Extensions of asynchronous circuits and the delay problem. I: Good extensions and the delay problem of the first kind

Cites work

• A theory of timed automata
• Efficient algorithms for approximate time separation of events
• Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata

Cited in

(7)

• Min-max inequalities and the timing verification problem with max and linear constraints
• Efficient algorithms for approximate time separation of events
• An algorithm for timing verification of systems constrained by min-max inequalities
• A new clocking algorithm based on polynomial manipulations
• GLOBAL DELAY TIME FOR GENERAL DISTRIBUTED NETWORKS WITH APPLICATIONS TO TIMING ANALYSIS OF DIGITAL MOS INTEGRATED CIRCUITS
• Parameter synthesis for hierarchical concurrent real-time systems
• An inverse method for parametric timed automata

This page was built for publication: Time separation of events: an inverse method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870195)