1629 search results - page 5 / 326 » Infeasible Code Detection |
PPSN
2000
Springer
13 years 11 months ago
2000
Springer
In the design of communication networks, robustness against failures in single links or nodes is an important issue. This paper proposes a new approach for the NP-complete edge-bic...
APAQS
2001
IEEE
13 years 11 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...
CODES
1999
IEEE
14 years 1 days ago
1999
IEEE
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— Probabilistic sampling-based motion planners are unable to detect when no feasible path exists. A common heuristic is to declare a query infeasible if a path is not found in a ...
ICCAD
1999
IEEE
14 years 1 days ago
1999
IEEE
We present a method for optimizing and automating component and transistor sizing for CMOS LC oscillators. We observe that the performance measures can be formulated as posynomial...