56 search results - page 8 / 12 » A Tool Proving Well-Definedness of Streams Using Termination... |
106
click to vote
VSTTE
2010
Springer
14 years 9 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
111
Voted
CADE
2009
Springer
16 years 3 days ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
ICAS
2005
IEEE
15 years 5 months ago
2005
IEEE
Transfers of high-quality multimedia content pose new demands on capacity and services provided by the contemporary high-speed computer networks. Transfer of stereoscopic video is...
EUROSYS
2011
ACM
14 years 3 months ago
2011
ACM
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
105
click to vote
CGF
2010
14 years 11 months ago
2010
The technique of Delaunay refinement has been recognized as a versatile tool to generate Delaunay meshes of a variety of geometries. Despite its usefulness, it suffers from one la...