12272 search results - page 2036 / 2455 » Experimental program analysis |
168
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. In recent years, several approaches have been pro...
199
Voted
DATE
1999
IEEE
15 years 11 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...
158
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and arou...
189
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we propose an original indexing by shape of image databases based on extended grid files. We first introduce a recently developed shape description method and tailo...
188
click to vote
COMPULOG
1999
Springer
15 years 11 months ago
1999
Springer
Many constraint satisfaction problems can be naturally and efficiently modelled using non-binary constraints like the “all-different” and “global cardinality” constraints...