Sciweavers

3545 search results - page 351 / 709
» Computational methods for case-cohort studies
Sort
View
IEEEPACT
2008
IEEE
16 years 1 months ago
The PARSEC benchmark suite: characterization and architectural implications
This paper presents and characterizes the Princeton Application Repository for Shared-Memory Computers (PARSEC), a benchmark suite for studies of Chip-Multiprocessors (CMPs). Prev...
Christian Bienia, Sanjeev Kumar, Jaswinder Pal Sin...
CAV
2007
Springer
112views Hardware» more  CAV 2007»
16 years 27 days ago
Magnifying-Lens Abstraction for Markov Decision Processes
ng-Lens Abstraction for Markov Decision Processes⋆ In Proc. of CAV 2007: 19th International Conference on Computer-Aided Verification, Lectures Notes in Computer Science. c Spri...
Luca de Alfaro, Pritam Roy
IPPS
2006
IEEE
16 years 23 days ago
Reconfigurable communications for image processing applications
: This work tries to reuse programmable communication resources like a Network-on-Chip (NoC) in the acceleration of image applications. We show a mathematical model for the computa...
André Borin Soares, Luigi Carro, Altamiro A...
VLDB
2005
ACM
175views Database» more  VLDB 2005»
16 years 6 days ago
Catching the Best Views of Skyline: A Semantic Approach Based on Decisive Subspaces
The skyline operator is important for multicriteria decision making applications. Although many recent studies developed efficient methods to compute skyline objects in a specifi...
Jian Pei, Wen Jin, Martin Ester, Yufei Tao
IJCAI
2007
15 years 8 months ago
Hybrid Elections Broaden Complexity-Theoretic Resistance to Control
Electoral control refers to attempts by an election’s organizer (“the chair”) to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreak...
Edith Hemaspaandra, Lane A. Hemaspaandra, Jör...