Sciweavers

4480 search results - page 733 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
PDCAT
2009
Springer
16 years 28 days ago
Modular Consensus Algorithms for the Crash-Recovery Model
—In the crash-recovery failure model of asynchronous distributed systems, processes can temporarily stop to execute steps and later restart their computation from a predefined l...
Felix C. Freiling, Christian Lambertz, Mila E. Maj...
SAT
2009
Springer
95views Hardware» more  SAT 2009»
16 years 28 days ago
Finding Lean Induced Cycles in Binary Hypercubes
Induced (chord-free) cycles in binary hypercubes have many applications in computer science. The state of the art for computing such cycles relies on genetic algorithms, which are,...
Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leop...
DASFAA
2007
IEEE
208views Database» more  DASFAA 2007»
16 years 22 days ago
Probabilistic Nearest-Neighbor Query on Uncertain Objects
Nearest-neighbor queries are an important query type for commonly used feature databases. In many different application areas, e.g. sensor databases, location based services or fac...
Hans-Peter Kriegel, Peter Kunath, Matthias Renz
IPPS
2007
IEEE
16 years 21 days ago
Adaptive Distributed Database Replication Through Colonies of Pogo Ants
We address the problem of optimizing the distribution of partially replicated databases over a computer network. Replication is used to increase data availability in the presence ...
Sarah Abdul-Wahid, Razvan Andonie, Joseph Lemley, ...
CONCUR
2007
Springer
16 years 17 days ago
On the Expressive Power of Global and Local Priority in Process Calculi
Priority is a frequently used feature of many computational systems. In this paper we study the expressiveness of two process algebras enriched with different priority mechanisms...
Cristian Versari, Nadia Busi, Roberto Gorrieri