1835 search results - page 192 / 367 » Functional Programming of Behavior-Based Systems |
113
click to vote
ICCAD
1997
IEEE
15 years 9 months ago
1997
IEEE
A built-in self-test (BIST) methodology to test system backplanes by using BIST functionality in each of its constituent boards is presented. Since the configurations of systems ...
155
click to vote
REX
1991
15 years 8 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
138
click to vote
COCO
2007
Springer
15 years 11 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
136
click to vote
ICSM
1999
IEEE
15 years 9 months ago
1999
IEEE
Software systems are typically modified in order to extend or change their functionality, improve their performance, port them to different platforms, and so on. For developers, i...
157
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...