192 search results - page 19 / 39 » Time and Information in Sequential and Concurrent Computatio... |
105
click to vote
DATE
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
109
click to vote
GLVLSI
2000
IEEE
15 years 4 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
106
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The Evolutionary Geometric Near-neighbor Access Tree (EGNAT) is a recently proposed data structure that is suitable for indexing large collections of complex objects. It ...
106
click to vote
IJCNN
2008
IEEE
15 years 6 months ago
2008
IEEE
— When an agent observes its environment, there are two important characteristics of the perceived information. One is the relevance of information and the other is redundancy. T...
103
click to vote
PPOPP
2012
ACM
13 years 7 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...