3547 search results - page 584 / 710 » Pseudo-Exhaustive Testing for Software |
171
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Nearly ten years after its first presentation and five years after its first application to operating systems, the suitability of AspectOriented Programming (AOP) for the devel...
190
click to vote
ASPLOS
2010
ACM
16 years 1 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...
190
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
179
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
188
click to vote
LCTRTS
2009
Springer
16 years 1 months ago
2009
Springer
Register file (RF) is extremely vulnerable to soft errors, and traditional redundancy based schemes to protect the RF are prohibitive not only because RF is often in the timing c...