12272 search results - page 289 / 2455 » Experimental program analysis |
169
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
236
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
175
click to vote
SAS
2007
Springer
16 years 23 days ago
2007
Springer
Floating-point arithmetic is an important source of errors in programs because of the loss of precision arising during a computation. Unfortunately, this arithmetic is not intuitiv...
178
click to vote
ICPPW
2002
IEEE
15 years 11 months ago
2002
IEEE
The aim of this work is to provide a high performance air quality simulation using the STEM-II (Sulphur Transport Eulerian Model 2) program. First of all we optimize the sequentia...
142
click to vote
ISCA
1987
IEEE
15 years 10 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...