2496 search results - page 458 / 500 » On covering by translates of a set |
129
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
110
Voted
ELPUB
1998
ACM
15 years 6 months ago
1998
ACM
The Library in the card is the slogan which would summarize the aims of the Univeritat Autonoma de Barcelona (UAB) Library Service in its involvement in several EC Libraries Progr...
113
Voted
SIGCOMM
1998
ACM
15 years 6 months ago
1998
ACM
Multicast routing enables e cient data distribution to multiple recipients. However, existing work has concentrated on extending single-domain techniques to wide-area networks, ra...
104
Voted
VLSID
1996
IEEE
15 years 6 months ago
1996
IEEE
W epropose a coverage metric and a two-pass test generation method for path delay faults in combinational logic circuits. The coverage is measured for each line with a rising and ...
150
Voted
MCMASTER
1993
15 years 5 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...