Sciweavers

252 search results - page 51 / 51
» Decidable Controller Synthesis for Classes of Linear Systems
Sort
View
ATAL
2009
Springer
13 years 12 months ago
Caching schemes for DCOP search algorithms
Distributed Constraint Optimization (DCOP) is useful for solving agent-coordination problems. Any-space DCOP search algorithms require only a small amount of memory but can be spe...
William Yeoh, Pradeep Varakantham, Sven Koenig
IASTEDSE
2004
13 years 6 months ago
A symbolic Java virtual machine for test case generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
Roger A. Müller, Christoph Lembeck, Herbert K...