3546 search results - page 647 / 710 » A Causal Logic of Logic Programming |
DATE
2006
IEEE
14 years 1 months 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 ...
IEEEARES
2006
IEEE
14 years 1 months 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...
IEEEPACT
2006
IEEE
14 years 1 months 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...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
MICRO
2006
IEEE
14 years 1 months 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...