481 search results - page 39 / 97 » Executing Higher Order Logic |
97
Voted
CADE
2008
Springer
16 years 1 months ago
2008
Springer
We describe a framework with which first order theorem provers can be used for checking formal proofs. The main aim of the framework is to take as much advantage as possible from t...
142
click to vote
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
The reliability of future processors is threatened by decreasing transistor robustness. Current architectures focus on delivering high performance at low cost; lifetime device rel...
89
Voted
IQ
2007
15 years 2 months ago
2007
: Models of the association between input accuracy and output accuracy imply that, for any given application, the effect of input errors on the output error rate generally varies i...
116
Voted
LISP
2007
15 years 20 days ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
85
Voted
ICS
2000
Tsinghua U.
15 years 4 months ago
2000
Tsinghua U.
One of the main concerns in today's processor design is the issue logic. Instruction-level parallelism is usually favored by an out-of-order issue mechanism where instruction...