1304 search results - page 200 / 261 » Model Checking C Programs Using F-SOFT |
119
Voted
CBSE
2006
Springer
15 years 6 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
147
Voted
CAGD
2002
15 years 2 months ago
2002
We present an adaptive, hierarchical Hh-multiresolution reconstruction algorithm to model shell surface objects from a matched pair of triangulated surfaces. Shell surfaces are an...
119
Voted
CCE
2004
15 years 2 months ago
2004
This work focuses on the basic stochastic decomposition (SD) algorithm of Higle and Sen [J.L. Higle, S. Sen, Stochastic Decomposition, Kluwer Academic Publishers, 1996] for two-st...
145
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
Predicting how well applications may run on modern systems is becoming increasingly challenging. It is no longer sufficient to look at number of floating point operations and commu...
130
click to vote
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
In this paper we present a multi-GPU parallel volume rendering implemention built using the MapReduce programming model. We give implementation details of the library, including s...