5707 search results - page 126 / 1142 » Symbolic Simulation - Techniques and Applications |
KBSE
2007
IEEE
15 years 4 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
107
click to vote
CAV
2008
Springer
15 years 5 hour ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
PATMOS
2005
Springer
15 years 3 months ago
2005
Springer
SIAMCO
2010
14 years 4 months ago
2010
Abstract. This paper studies a class of non-Markovian and nonhomogeneous stochastic processes on a finite state space. Relying on a recent paper by Bena
MICCAI
2005
Springer
15 years 11 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...