481 search results - page 51 / 97 » Differential symbolic execution |
120
Voted
ENTCS
2010
15 years 18 days 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...
98
Voted
TIT
2002
15 years 5 days 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 ...
114
click to vote
PERCOM
2004
ACM
16 years 3 days 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...
100
click to vote
MSV
2004
15 years 1 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...
80
Voted
IPPS
2003
IEEE
15 years 5 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...