140
Voted
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
133
Voted
ICPP
2000
IEEE
15 years 7 months ago
2000
IEEE
The idle computers on a local area, campus area, or even wide area network represent a significant computational resource--one that is, however, also unreliable, heterogeneous, an...
149
Voted
ICPADS
2000
IEEE
15 years 7 months ago
2000
IEEE
1 Reliable communication in cube-based multicomputers using the extended safety vector concept is studied in this paper. In our approach, each node in a cube-based multicomputer o...
126
Voted
ISPD
1998
ACM
15 years 7 months ago
1998
ACM
We describe a novel iterationless approach for computing the effective capacitance of an interconnect load at a driving gate output. Our new approach is considerably faster than p...