Sciweavers

2913 search results - page 555 / 583
» How Much to Copy
Sort
View
CACM
2010
179views more  CACM 2010»
13 years 7 months ago
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
Peter Sewell, Susmit Sarkar, Scott Owens, Francesc...
CORR
2010
Springer
205views Education» more  CORR 2010»
13 years 7 months ago
Competition with Dynamic Spectrum Leasing
Dynamic spectrum leasing can greatly enhance the spectrum efficiency and encourage more flexible services in the spectrum market. This paper presents a detailed analytical study of...
Lingjie Duan, Jianwei Huang, Biying Shou
CORR
2010
Springer
143views Education» more  CORR 2010»
13 years 7 months ago
Expressiveness of Generic Process Shape Types
METAI is a generic process calculus that can be instantiated by supplying rewriting rules defining an operational semantics to make numerous process calculi such as the -calculus,...
Jan Jakubuv, J. B. Wells
CORR
2010
Springer
249views Education» more  CORR 2010»
13 years 7 months ago
Lower Bounds on Near Neighbor Search via Metric Expansion
In this paper we show how the complexity of performing nearest neighbor (NNS) search on a metric space is related to the expansion of the metric space. Given a metric space we loo...
Rina Panigrahy, Kunal Talwar, Udi Wieder
CORR
2010
Springer
109views Education» more  CORR 2010»
13 years 7 months ago
Towards the Development of a Simulator for Investigating the Impact of People Management Practices on Retail Performance
Models to understand the impact of management practices on retail performance are often simplistic and assume low levels of noise and linearity. Of course, in real-life, retail op...
Peer-Olaf Siebers, Uwe Aickelin, Helen Celia, Chri...