1142 search results - page 216 / 229 » Approximability of Clausal Constraints |
115
click to vote
IPPS
2006
IEEE
15 years 8 months 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...
150
click to vote
IROS
2006
IEEE
15 years 8 months 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...
121
click to vote
MICRO
2006
IEEE
15 years 7 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...
119
Voted
PODC
2006
ACM
15 years 7 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 ...
128
Voted
ECRTS
2005
IEEE
15 years 7 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...