1381 search results - page 222 / 277 » Computational Complexity of Constraint Satisfaction |
EDCC
2005
Springer
14 years 1 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...
DSN
2003
IEEE
14 years 1 months ago
2003
IEEE
Energy constrained complex real-time systems are becoming increasingly important in defense, space, and consumer applications. In this paper, we present a sensible heuristic to ad...
DANCE
2002
IEEE
14 years 20 days ago
2002
IEEE
Current networks require ad-hoc operating procedures by expert administrators to handle changes. These configuration management operations are costly and error prone. Active netwo...
ICDCSW
2002
IEEE
14 years 19 days ago
2002
IEEE
Sensor networks are distributed event-based systems that differ from traditional communication networks in several ways: sensor networks have severe energy constraints, redundant ...
SIGGRAPH
2010
ACM
14 years 5 days ago
2010
ACM
We present an approach to simulate flows driven by surface tension based on triangle meshes. Our method consists of two simulation layers: the first layer is an Eulerian method ...