5159 search results - page 159 / 1032 » Structural Testing of Executables |
161
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
148
click to vote
ECBS
1999
IEEE
15 years 10 months ago
1999
IEEE
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writi...
144
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
We study a class of scheduling problems which combines the structural aspects associated with task dependencies, with the dynamic aspects associated with ongoing streams of request...
196
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
As technology evolves into the deep sub-micron era, signal integrity problems are growing into a major challenge. An important source of signal integrity problems is the crosstalk...
195
click to vote
COCO
2010
Springer
15 years 9 months ago
2010
Springer
A PCP is a proof system for NP in which the proof can be checked by a probabilistic verifier. The verifier is only allowed to read a very small portion of the proof, and in return ...