964 search results - page 170 / 193 » On software design for stochastic processors |
118
Voted
EUROSYS
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driverâ€...
119
click to vote
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Causal request traces are valuable to developers of large concurrent and distributed applications, yet difficult to obtain. Traces show how a request is processed, and can be anal...
134
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
121
click to vote
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
126
click to vote
IEEECIT
2010
IEEE
15 years 12 days ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...