156 search results - page 14 / 32 » Practical predicate dispatch |
PC
2007
13 years 9 months ago
2007
Large-scale Grid is a computing environment composed of Internet-wide distributed resources shared by a number of applications. Although WSRF and Java-based hosting environment ca...
SAT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
MIDDLEWARE
2007
Springer
2007
Springer
AVMEM - Availability-Aware Overlays for Management Operations in Non-cooperative Distributed Systems
14 years 4 months ago
Monitoring and management operations that query nodes based on their availability can be extremely useful in a variety of largescale distributed systems containing hundreds to thou...
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
TCC
2012
Springer
12 years 5 months ago
2012
Springer
In tandem with recent progress on computing on encrypted data via fully homomorphic encryption, we present a framework for computing on authenticated data via the notion of slight...