5482 search results - page 965 / 1097 » Logic Programming and Databases |
163
click to vote
DATE
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper proposes a yield optimization method for standard-cells under timing constraints. Yield-aware logic synthesis and physical optimization require yield-enhanced standard ...
184
click to vote
IEEEARES
2006
IEEE
16 years 13 days ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
167
click to vote
IEEEPACT
2006
IEEE
16 years 13 days ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...
167
click to vote
MICRO
2006
IEEE
16 years 12 days ago
2006
IEEE
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
178
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...