4306 search results - page 607 / 862 » Timed Testing with TorX |
133
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Verification is one of the most critical and time-consuming tasks in today's design processes. This paper demonstrates the verification process of a 8.8 million gate design u...
149
Voted
DEXAW
1999
IEEE
15 years 8 months ago
1999
IEEE
Caching is a standard solution to the problem of insufcient bandwidth caused by the rapid increase of information circulation across the Internet. Cache consistency mechanisms are...
137
click to vote
NJC
2000
15 years 3 months ago
2000
In order to deal with infinite regular trees (or other pointed graph structures) efficiently, we give new algorithms to store such structures. The trees are stored in such a way th...
106
click to vote
TIT
1998
15 years 3 months ago
1998
— This paper reviews two streams of development, from the 1940’s to the present, in signal detection theory: the structure of the likelihood ratio for detecting signals in nois...
121
Voted
COR
2008
15 years 3 months ago
2008
Locating public services for nomadic population groups is a difficult challenge as the locations of the targeted populations seasonally change. In this paper, the population group...