4257 search results - page 429 / 852 » The Logical Modularity of Programs |
174
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
201
Voted
CADE
2005
Springer
16 years 7 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
196
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Canonical propositional Gentzen-type calculi are a natural class of systems which in addition to the standard axioms and structural rules have only logical rules where exactly one ...
186
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
In this work, we characterize a significant source of software derating that we call instruction-level derating. Instruction-level derating encompasses the mechanisms by which co...
155
click to vote
DDECS
2007
IEEE
16 years 1 months ago
2007
IEEE
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...