Sciweavers

8767 search results - page 1377 / 1754
» Enterprise Data Management
Sort
View
PVLDB
2010
122views more  PVLDB 2010»
15 years 5 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...
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 5 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
205
Voted
VTC
2010
IEEE
147views Communications» more  VTC 2010»
15 years 5 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 5 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...
CACM
2010
161views more  CACM 2010»
15 years 5 months ago
Efficiently searching for similar images
As it becomes increasingly viable to capture, store, and share large amounts of image and video data, automatic image analysis is crucial to managing visual information. Many prob...
Kristen Grauman
« Prev « First page 1377 / 1754 Last » Next »