481 search results - page 51 / 97 » Differential symbolic execution |
195
click to vote
ENTCS
2010
15 years 6 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
161
click to vote
TIT
2002
15 years 6 months ago
2002
This paper considers noncoherent communication over a frequency-nonselective channel in which the time-varying channel gain is unknown a priori, but is approximately constant over ...
181
click to vote
PERCOM
2004
ACM
16 years 5 months ago
2004
ACM
In distributed systems, transcoding techniques have been used to customize multimedia objects, utilizing trade-offs between the quality and sizes of these objects to provide diffe...
165
click to vote
MSV
2004
15 years 7 months ago
2004
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
136
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Numerical methods for solving the systems of partial differential equations arising in geophysical fluid dynamics rely on a variety of spatial discretization schemes (e.g. finit...