955 search results - page 120 / 191 » Model Checking Operator Procedures |
125
click to vote
ASYNC
1997
IEEE
15 years 5 months ago
1997
IEEE
Abstract-This paper describes the design and verification of a high-performance asynchronous differential equation solver benchmark circuit. The design has low control overhead whi...
133
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...
129
click to vote
WISES
2003
15 years 3 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...
123
click to vote
TVLSI
1998
15 years 1 months ago
1998
Abstract—We introduce a technique for on-line built-in selftesting (BIST) of bus-based field programmable gate arrays (FPGA’s). This system detects deviations from the intende...
119
click to vote
RV
2010
Springer
14 years 12 months ago
2010
Springer
One of the major productivity hurdles for parallel programming is non-determinism -- a parallel program may yield different results on different executions with the same input, dep...