4272 search results - page 187 / 855 » A Case for Automatic System Evaluation |
159
click to vote
ISPASS
2005
IEEE
16 years 6 days ago
2005
IEEE
Computer architecture research in academia and industry is heavily reliant on simulation studies. While microprocessor companies have the resources to develop highly detailed simu...
172
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
An essential characteristic of large scale software development is parallel development by teams of developers. How this parallel development is structured and supported has a pro...
146
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
We describe an approach to quantitatively evaluating human-assisted failure-recovery tools and processes in the environment of modern Internet- and enterprise-class server systems...
167
click to vote
SEFM
2007
IEEE
16 years 27 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
154
click to vote
CAISE
2009
Springer
15 years 10 months ago
2009
Springer
Mapping specification has been recognised as a critical bottleneck to the large scale deployment of data integration systems. A mapping is a description using which data structured...