22 search results - page 2 / 5 » Causality analysis of synchronous programs with delayed acti... |
ACSD
2005
IEEE
13 years 10 months ago
2005
IEEE
Perfectly synchronous systems immediately react to the inputs of their environment, which may lead to so-called causality cycles between actions and their trigger conditions. Algo...
CAV
2010
Springer
2010
Springer
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
13 years 6 months ago
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...
MEMOCODE
2010
IEEE
13 years 2 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
RTAS
2007
IEEE
13 years 10 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
JNSM
2000
13 years 4 months ago
2000
Abstract-A mechanism for the estimation of the available bandwidth between two end-points of a best-effort network is presented. The estimation is obtained by a simple statistical ...