6251 search results - page 1077 / 1251 » Randomness, Computability, and Density |
127
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
155
click to vote
ICMCS
2000
IEEE
15 years 8 months ago
2000
IEEE
: In the process of transmission of digital encoded video bit streams over physical network, the data is corrupted by random bit errors, which has a several effect on the decoded v...
119
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper addresses the problem of path planning for a class of deformable volumes under fairly general manipulation constraints. The underlying geometric model for the volume is...
148
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
133
Voted
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
— We study wavelength assignment for lightpaths over WDM rings to minimize the SONET ADMs used. This problem has attracted much attention recently. However, its computation compl...