6020 search results - page 209 / 1204 » A New Approach to Model Counting |
147
click to vote
HPDC
2010
IEEE
15 years 6 months ago
2010
IEEE
Cloud computing is increasingly considered as an additional computational resource platform for scientific workflows. The cloud offers opportunity to scale-out applications from d...
140
click to vote
IJON
2007
15 years 4 months ago
2007
Over the course of the first few months of life, our brains accomplish a remarkable feat. They are able to interpret complex visual images so that instead of being just disconnec...
143
click to vote
VAMOS
2009
Springer
15 years 11 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
160
click to vote
NSDI
2007
15 years 7 months ago
2007
Networked systems are often evaluated on overlay testbeds such as PlanetLab and emulation testbeds such as Emulab. Emulation testbeds give users great control over the host and ne...
131
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...