4516 search results - page 656 / 904 » Automated System Design for Availability |
137
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
129
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
As most blogs and traditional media support RSS or Atom feeds, the news feed technology becomes increasingly prevalent. Taking advantage of ubiquitous news feeds, we design FeedEx...
149
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
To sustain emerging data-intensive scientific applications, High Performance Computing (HPC) centers invest a notable fraction of their operating budget on a specialized fast sto...
137
click to vote
SIGGRAPH
1997
ACM
15 years 9 months ago
1997
ACM
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
140
click to vote
DAC
2007
ACM
15 years 9 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...