8728 search results - page 1539 / 1746 » On Reduct Construction Algorithms |
142
click to vote
DAC
2009
ACM
15 years 10 months ago
2009
ACM
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
151
click to vote
ICA3PP
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a new universal network, called recursive dual-net (RDN), as a potential candidate for the interconnection network of supercomputers with very large scal...
188
click to vote
ICIDS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Computational storytelling systems have mainly focused on the construction and evaluation of textual discourse for communicating stories. Few intelligent camera systems h...
171
click to vote
PACT
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
158
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...