481 search results - page 46 / 97 » Differential symbolic execution |
97
Voted
AAAI
1990
15 years 1 months ago
1990
The repetitive behavior of a device or system can be described in two ways: a detailed description of one iteration of the behavior, or a summary description of the behavior over ...
112
Voted
MCS
2007
Springer
15 years 12 days ago
2007
Springer
Using standard calculus, explicit formulas for the one-dimensional continuous and discrete homotopy operators are derived. It is shown that these formulas are equivalent to those ...
105
click to vote
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
The quality of the numeric simulation of hybrid systems highly depends on the capability of the simulator to detect discrete events during continuous evolutions. Due to the intera...
127
click to vote
CGO
2009
IEEE
15 years 4 months ago
2009
IEEE
Effectively migrating sequential applications to take advantage of parallelism available on multicore platforms is a well-recognized challenge. This paper addresses important aspec...
103
click to vote
ASAP
2003
IEEE
15 years 5 months ago
2003
IEEE
There is a growing demand for application-specific embedded processors in system-on-a-chip designs. Current tools and design methodologies often require designers to manually spec...