5109 search results - page 896 / 1022 » On Learning Limiting Programs |
119
click to vote
ICCL
1998
IEEE
15 years 7 months ago
1998
IEEE
We present a design and implementation of transactions and general-purpose persistence for Java. These additions allow Java programmers to manipulate any Java object using transac...
117
click to vote
MICRO
1998
IEEE
15 years 7 months ago
1998
IEEE
The inherent instruction-level parallelism (ILP) of current applications (specially those based on floating point computations) has driven hardware designers and compilers writers...
165
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
151
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...
169
click to vote
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
Branch prediction is an important mechanism in modern microprocessor design. The focus of research in this area has been on designing new branch prediction schemes. In contrast, v...