7456 search results - page 1320 / 1492 » Parallelism in Logic Programming |
121
Voted
DATE
2006
IEEE
15 years 9 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 ...
128
Voted
IEEEARES
2006
IEEE
15 years 9 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...
120
click to vote
IEEESCC
2006
IEEE
15 years 9 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...
129
click to vote
MICRO
2006
IEEE
15 years 9 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...
126
Voted
ADBIS
2006
Springer
15 years 9 months ago
2006
Springer
The Conference on Advances in Databases and Information Systems (ADBIS) was initiated by the Moscow ACM SIGMOD chapter, and started in 1993 as a mainly Russian national event. Sinc...