1890 search results - page 349 / 378 » Model-Based Testing in Practice |
ISCA
2010
IEEE
15 years 6 months ago
2010
IEEE
Aggressive technology scaling into the nanometer regime has led to a host of reliability challenges in the last several years. Unlike onchip caches, which can be efficiently prot...
145
click to vote
PASTE
2010
ACM
15 years 6 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
121
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
INFOCOM
2002
IEEE
15 years 6 months ago
2002
IEEE
— A number of large-scale distributed Internet applications could potentially benefit from some level of knowledge about the relative proximity between its participating host no...
104
click to vote
SIGECOM
2010
ACM
15 years 6 months ago
2010
ACM
Product recommendation and decision support systems must generally develop a model of user preferences by querying or otherwise interacting with a user. Recent approaches to elici...