2398 search results - page 448 / 480 » Constraint Programming and Graph Algorithms |
EDCC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
KES
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. This research develops an optimal planning model for pump-treatinject based groundwater remediation systems. Optimizing the design of the pump-treat-inject system is a no...
MOBIHOC
2004
ACM
14 years 3 months ago
2004
ACM
Energy conservation is a critical issue in wireless ad hoc networks since batteries are the only energy source to power the nodes. One major metric for energy conservation is to r...
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper derives an optimization-based control methodology for networks of switched and hybrid systems in which each mode is governed by a partial differential equatio...
DFT
2003
IEEE
14 years 3 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...