1138 search results - page 94 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
141
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
122
Voted
PADL
2004
Springer
15 years 8 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
136
Voted
CVGIP
2002
15 years 2 months ago
2002
Computing the intersection curve of two quadrics is a fundamental problem in computer graphics and solid modeling. We present an algebraic method for classifying and parameterizin...
114
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
110
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...