162 search results - page 6 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
135
click to vote
HICSS
1997
IEEE
15 years 10 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...
120
click to vote
MICCAI
2005
Springer
16 years 7 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...
141
click to vote
USS
2004
15 years 7 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...
162
click to vote
SPIN
2009
Springer
16 years 18 days 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 ...
149
click to vote
SCAM
2007
IEEE
16 years 10 days 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 ...