601 search results - page 32 / 121 » An Optimality Principle for Concurrent Systems |
170
Voted
SIGMOD
2005
ACM
16 years 18 days ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
109
Voted
EDBT
2009
ACM
15 years 7 months ago
2009
ACM
Database storage managers have long been able to efficiently handle multiple concurrent requests. Until recently, however, a computer contained only a few single-core CPUs, and th...
104
click to vote
PODC
1990
ACM
15 years 4 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
120
Voted
ASPDAC
1999
ACM
15 years 4 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
CHARME
2001
Springer
15 years 4 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...