575 search results - page 72 / 115 » Model Checking Restricted Sets of Timed Paths |
107
click to vote
DEBS
2008
ACM
15 years 29 days ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
132
click to vote
TACAS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
121
click to vote
VISUALIZATION
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a hybrid particle and texture based approach for the visualization of time-dependent vector fields. The underlying spacetime framework builds a dense vector field rep...
105
click to vote
PLDI
2011
ACM
14 years 2 months ago
2011
ACM
The most intuitive memory consistency model for shared-memory multi-threaded programming is sequential consistency (SC). However, current concurrent programming languages support ...
ITC
1997
IEEE
15 years 4 months ago
1997
IEEE
Testing embedded cores is a challenge because access to core I/Os is limited. The user-defined logic (ZJDL) surrounding the core may restrict the set of test vectors that can be a...