162 search results - page 6 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
HICSS
1997
IEEE
13 years 11 months ago
1997
IEEE
One model of multithreading gaining popularity on multiprocessor systems is the message-driven model of computation. The message-driven model is a reactive model in which an arriv...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Computer assistance for breast conserving surgery requires a guidance method to assist a surgeon in locating tumor margin accurately. A wide array of guidance methods can be consid...
USS
2004
13 years 8 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
SPIN
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
SCAM
2007
IEEE
14 years 1 months ago
2007
IEEE
We present an automated program analysis, called Reach, to compute program inputs that cause evaluation of explicitly-marked target expressions. Reach has a range of applications ...