Sciweavers

459 search results - page 44 / 92
» The scalable hyperlink store
Sort
View
CAV
2008
Springer
157views Hardware» more  CAV 2008»
15 years 3 days ago
Effective Program Verification for Relaxed Memory Models
Program verification for relaxed memory models is hard. The high degree of nondeterminism in such models challenges standard verification techniques. This paper proposes a new veri...
Sebastian Burckhardt, Madanlal Musuvathi
CF
2008
ACM
15 years 3 days ago
Multi-terabit ip lookup using parallel bidirectional pipelines
To meet growing terabit link rates, highly parallel and scalable architectures are needed for IP lookup engines in next generation routers. This paper proposes an SRAM-based multi...
Weirong Jiang, Viktor K. Prasanna
ICDE
2012
IEEE
277views Database» more  ICDE 2012»
13 years 17 days ago
Lookup Tables: Fine-Grained Partitioning for Distributed Databases
—The standard way to scale a distributed OLTP DBMS is to horizontally partition data across several nodes. Ideally, this results in each query/transaction being executed at just ...
Aubrey Tatarowicz, Carlo Curino, Evan P. C. Jones,...
ICIP
2004
IEEE
15 years 11 months ago
Rate-distortion optimized streaming for 3-D wavelet video
We propose a rate-distortion optimized framework to stream scalable bitstreams of 3-D wavelet video stored at the sender to a remote receiver. Based on the source rate-distortion ...
Chuo-Ling Chang, Sangeun Han, Bernd Girod
ICDE
2008
IEEE
118views Database» more  ICDE 2008»
15 years 11 months ago
XML processing in DHT networks
We study the scalable management of XML data in P2P networks based on distributed hash tables (DHTs). We identify performance limitations in this context, and propose an array of t...
Serge Abiteboul, Ioana Manolescu, Neoklis Polyzoti...