4306 search results - page 327 / 862 » Timed Testing with TorX |
134
click to vote
SIAMCOMP
2010
15 years 1 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
130
click to vote
RTSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a quantification of the timing effects that advanced processor features like data and instruction cache, pipelines, branch prediction units and out-oforder ex...
129
click to vote
ECP
1999
Springer
15 years 7 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
135
Voted
FPL
1999
Springer
15 years 7 months ago
1999
Springer
Although verification and simulation tools are always improving, the results they provide remain hard to analyze and interpret. On one hand, verification sticks to the functional ...
124
Voted
VL
1999
IEEE
15 years 7 months ago
1999
IEEE
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...