Sciweavers

6756 search results - page 952 / 1352
» Distributed Shared State
Sort
View
ICASSP
2010
IEEE
15 years 7 months ago
Concentration of measure for block diagonal measurement matrices
Concentration of measure inequalities are at the heart of much theoretical analysis of randomized compressive operators. Though commonly studied for dense matrices, in this paper ...
Michael B. Wakin, Jae Young Park, Han Lun Yap, Chr...
CCE
2008
15 years 7 months ago
Population balance modeling in Simulink: PCSS
In this work we develop, demonstrate, and distribute the code for a new Simulink block that models the dynamic evolution of the population density function for a physical system w...
Jeffrey D. Ward, Cheng-Ching Yu
194
Voted
ECCC
2010
82views more  ECCC 2010»
15 years 7 months ago
A Strong Parallel Repetition Theorem for Projection Games on Expanders
The parallel repetition theorem states that for any Two Prover Game with value at most 1 - (for < 1/2), the value of the game repeated n times in parallel is at most (1 - 3 )(n...
Ran Raz
ACTA
2006
108views more  ACTA 2006»
15 years 7 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
EOR
2008
88views more  EOR 2008»
15 years 7 months ago
Algorithmic analysis of the Geo/Geo/c
In this paper, we consider a discrete-time queue of Geo/Geo/c type with geometric repeated attempts. It is known that its continuous counterpart, namely the M/M/c queue with expon...
Jesus R. Artalejo, Antonis Economou, Antonio G&oac...