Sciweavers

2695 search results - page 271 / 539
» The Complexity of Forecast Testing
Sort
View
148
Voted
DAC
2010
ACM
15 years 7 months ago
Post-silicon validation opportunities, challenges and recent advances
Post-silicon validation is used to detect and fix bugs in integrated circuits and systems after manufacture. Due to sheer design complexity, it is nearly impossible to detect and ...
Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici
148
Voted
EVOW
2010
Springer
15 years 7 months ago
Parallel Genetic Algorithm on the CUDA Architecture
Abstract. This paper deals with the mapping of the parallel islandbased genetic algorithm with unidirectional ring migrations to nVidia CUDA software model. The proposed mapping is...
Petr Pospichal, Jirí Jaros, Josef Schwarz
ACAL
2009
Springer
15 years 7 months ago
Towards Tailored Communication Networks in Assemblies of Artificial Cells
Abstract. Living Technology is researching novel IT making strong use of programmable chemical systems. These chemical systems shall finally converge to artificial cells resulting ...
Maik Hadorn, Bo Burla, Peter Eggenberger Hotz
AAAI
2008
15 years 6 months ago
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses
Answering conjunctive queries (CQs) has been recognized as a key task for the usage of Description Logics (DLs) in a number of applications, and has thus been studied by many auth...
Magdalena Ortiz, Mantas Simkus, Thomas Eiter
AAAI
2007
15 years 6 months ago
Randomized Adaptive Spatial Decoupling for Large-Scale Vehicle Routing with Time Windows
In recent years, the size of combinatorial applications and the need to produce high-quality solutions quickly have increased steadily, providing significant challenges for optim...
Russell Bent, Pascal Van Hentenryck