3820 search results - page 500 / 764 » Bounded Model Debugging |
113
Voted
ICCAD
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents two new algorithms, Redundant Vector Elimination(RVE) and Essential Fault Reduction (EFR), for generating compact test sets for combinational circuits under th...
151
click to vote
ICNP
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper evaluates the congestion control performance of Pseudofed, a congestion-controlled, reliable multicast transport protocol for bulk data transfer. Pseudofed's conge...
118
click to vote
PODC
1997
ACM
15 years 7 months ago
1997
ACM
In an anonymous network processors have no distinct identifiers. For any class of anonymous networks, we characterize effectively the vector functions f : n → n which are compu...
157
Voted
ICDCS
1993
IEEE
15 years 7 months ago
1993
IEEE
The paper presents a general model for persistent replicated object management and identifies what meta information about objects needs to be maintained by a naming and binding se...
112
Voted
ICRA
1993
IEEE
15 years 7 months ago
1993
IEEE
This paper addresses the problem of numerically finding an optimal path for a robot with non-holonomic constraints. A car like robot, whose turning radius is lower bounded is cons...