Sciweavers

8740 search results - page 1365 / 1748
» The Management of Replicated Data
Sort
View
PVLDB
2010
92views more  PVLDB 2010»
15 years 6 months ago
SSD Bufferpool Extensions for Database Systems
High-end solid state disks (SSDs) provide much faster access to data compared to conventional hard disk drives. We present a technique for using solid-state storage as a caching l...
Mustafa Canim, George A. Mihaila, Bishwaranjan Bha...
PVLDB
2010
122views more  PVLDB 2010»
15 years 6 months ago
From a Stream of Relational Queries to Distributed Stream Processing
Applications from several domains are now being written to process live data originating from hardware and softwarebased streaming sources. Many of these applications have been wr...
Qiong Zou, Huayong Wang, Robert Soulé, Mart...
188
Voted
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 6 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
VTC
2010
IEEE
147views Communications» more  VTC 2010»
15 years 6 months ago
Generalized Proportionally Fair Scheduling for Multi-User Amplify-and-Forward Relay Networks
—Providing ubiquitous very high data rate coverage in next generation wireless networks is a formidable goal, requiring cost-effective radio access network (RAN) devices, such as...
Alireza Sharifian, Petar Djukic, Halim Yanikomerog...
WIOPT
2010
IEEE
15 years 6 months ago
Enhancing RRM optimization using a priori knowledge for automated troubleshooting
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
Moazzam Islam Tiwana, Zwi Altman, Berna Sayra&cced...
« Prev « First page 1365 / 1748 Last » Next »