2661 search results - page 403 / 533 » Quantum Complexity Classes |
158
click to vote
STACS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In the constraint satisfaction problem (CSP), the aim is to find an assignment of values to a set of variables subject to specified constraints. In the minimum cost hom...
142
click to vote
PODS
2010
ACM
15 years 8 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
130
Voted
ANSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language ...
123
click to vote
INFOCOM
2002
IEEE
15 years 8 months ago
2002
IEEE
-- High performance packet switches frequently use a centralized scheduler (also known as an arbiter) to determine the configuration of a non-blocking crossbar. The scheduler often...
152
click to vote
ISCA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents ReVive, a novel general-purpose rollback recovery mechanism for shared-memory multiprocessors. ReVive carefully balances the conflicting requirements of avail...