Sciweavers

2020 search results - page 154 / 404
» PAPER - Accelerating parallel evaluations of ROCS
Sort
View
ICDCS
2009
IEEE
16 years 2 months ago
Transactional Mobility in Distributed Content-Based Publish/Subscribe Systems
This paper formalizes transactional properties for publish/subscribe client mobility and develops protocols to realize them. Evaluations show that compared to traditional protocol...
Songlin Hu, Vinod Muthusamy, Guoli Li, Hans-Arno J...
SPIN
2007
Springer
15 years 11 months ago
Scalable Multi-core LTL Model-Checking
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
SIGMOD
2009
ACM
136views Database» more  SIGMOD 2009»
16 years 5 months ago
A comparison of approaches to large-scale data analysis
There is currently considerable enthusiasm around the MapReduce (MR) paradigm for large-scale data analysis [17]. Although the basic control flow of this framework has existed in ...
Andrew Pavlo, Erik Paulson, Alexander Rasin, Danie...
ISCA
2009
IEEE
318views Hardware» more  ISCA 2009»
15 years 11 months ago
Thread criticality predictors for dynamic performance, power, and resource management in chip multiprocessors
With the shift towards chip multiprocessors (CMPs), exploiting and managing parallelism has become a central problem in computer systems. Many issues of parallelism management boi...
Abhishek Bhattacharjee, Margaret Martonosi
CPAIOR
2006
Springer
15 years 8 months ago
An Efficient Hybrid Strategy for Temporal Planning
Temporal planning (TP) is notoriously difficult because it requires to solve a propositional STRIPS planning problem with temporal constraints. In this paper, we propose an efficie...
Zhao Xing, Yixin Chen, Weixiong Zhang