Sciweavers

2771 search results - page 267 / 555
» A General Computational Treatment of the Comparative
Sort
View
HPDC
2007
IEEE
16 years 28 days ago
A provisioning model and its comparison with best-effort for performance-cost optimization in grids
The resource availability in Grids is generally unpredictable due to the autonomous and shared nature of the Grid resources and stochastic nature of the workload resulting in a be...
Gurmeet Singh, Carl Kesselman, Ewa Deelman
HPDC
2007
IEEE
16 years 28 days ago
Scaling multiplayer online games using proxy-server replication: a case study of Quake 2
Massively Multiplayer Online Games (MMOGs) are an increasingly popular class of real-time interactive distributed applications that require scalable architectures and parallelizat...
Jens Müller 0004, Sergei Gorlatch, Tobias Sch...
ICDE
2007
IEEE
167views Database» more  ICDE 2007»
16 years 28 days ago
Load Shedding for Window Joins on Multiple Data Streams
We consider the problem of semantic load shedding for continuous queries containing window joins on multiple data streams and propose a robust approach that is effective with the ...
Yan-Nei Law, Carlo Zaniolo
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 24 days ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
ESOP
2007
Springer
16 years 24 days ago
Static Analysis by Policy Iteration on Relational Domains
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and t...
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah...