481 search results - page 26 / 97 » Differential symbolic execution |
110
Voted
HPCC
2007
Springer
15 years 2 months ago
2007
Springer
Vector, emerging (homogenous and heterogeneous) multi-core and a number of accelerator processing devices potentially offer an order of magnitude speedup for scientific application...
CAV
2010
Springer
15 years 2 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
92
Voted
CSDA
2006
14 years 10 months ago
2006
Fitting of non-Gaussian hierarchical random effects models by approximate maximum likelihood can be made automatic to the same extent that Bayesian model fitting can be automated ...
101
Voted
IJFCS
2008
14 years 10 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
96
Voted
RTCSA
1999
IEEE
15 years 2 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...