481 search results - page 25 / 97 » Differential symbolic execution |
100
click to vote
GLOBECOM
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract--In multinode cooperative communications, simultaneous transmissions from two or more nodes are challenging due to its asynchronous nature. In addition, channel estimation...
67
Voted
FCSC
2007
14 years 10 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
74
Voted
ASPDAC
2000
ACM
15 years 2 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
CAV
2003
Springer
15 years 3 months ago
2003
Springer
In previous work, we showed how structural information can be used to efficiently generate the state-space of asynchronous systems. Here, we apply these ideas to symbolic CTL model...
63
Voted
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
We present a trace-driven SMT-based symbolic debugging tool for MCAPI (Multicore Association Communication API) applications. MCAPI is a newly proposed standard that provides an AP...