481 search results - page 33 / 97 » Differential symbolic execution |
109
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. ...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
121
Voted
KBSE
2009
IEEE
15 years 7 months ago
2009
IEEE
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
113
click to vote
EUROPAR
2006
Springer
15 years 4 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
103
Voted
IJCAI
2007
15 years 2 months ago
2007
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...