Sciweavers

7280 search results - page 319 / 1456
» Optimization Techniques
Sort
View
ICSE
2010
IEEE-ACM
15 years 11 months ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
INFOCOM
2005
IEEE
16 years 11 days ago
Optimal fixed and scalable energy management for wireless networks
— In many devices, wireless network interfaces consume upwards of 30% of scarce portable system energy. Extending the system lifetime by minimizing communication power consumptio...
Rahul Mangharam, Ragunathan Rajkumar, Sofie Pollin...
186
Voted
SIGMOD
2010
ACM
323views Database» more  SIGMOD 2010»
15 years 11 months ago
Boosting spatial pruning: on optimal pruning of MBRs
Fast query processing of complex objects, e.g. spatial or uncertain objects, depends on efficient spatial pruning of the objects’ approximations, which are typically minimum bou...
Tobias Emrich, Hans-Peter Kriegel, Peer Kröge...
CONEXT
2010
ACM
15 years 4 months ago
Optimal content placement for a large-scale VoD system
IPTV service providers offering Video-on-Demandcurrently use servers at each metropolitan office to store all the videos in their library. With the rapid increase in library sizes...
David Applegate, Aaron Archer, Vijay Gopalakrishna...
EDBT
2009
ACM
118views Database» more  EDBT 2009»
16 years 1 months ago
Optimized union of non-disjoint distributed data sets
In a variety of applications, ranging from data integration to distributed query evaluation, there is a need to obtain sets of data items from several sources (peers) and compute ...
Itay Dar, Tova Milo, Elad Verbin