1142 search results - page 216 / 229 » Approximability of Clausal Constraints |
161
click to vote
IPPS
2006
IEEE
16 years 7 hour ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
191
click to vote
IROS
2006
IEEE
16 years 5 hour ago
2006
IEEE
— We propose to classify the behaviors of a mobile robot thanks to topological methods as an alternative to metric ones. To do so, we adapt an analysis scheme from Physics of non...
177
click to vote
MICRO
2006
IEEE
15 years 12 months ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
160
click to vote
PODC
2006
ACM
15 years 12 months ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...
164
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
We consider the use of the earliest-deadline-first (EDF) scheduling algorithm in soft real-time multiprocessor systems. In hard real-time systems, a significant disparity exists...