3566 search results - page 651 / 714 » Signed Logic Programs |
100
click to vote
SGAI
2007
Springer
15 years 9 months ago
2007
Springer
Computer scientists are often faced with the challenge of having to model the world and its associated uncertainties. One area in particular where modelling uncertainty is importa...
114
click to vote
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 ...
124
click to vote
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...
118
click to vote
IEEEPACT
2006
IEEE
15 years 9 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...
113
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...