Sciweavers

701 search results - page 120 / 141
» Costs Are Expensive!
Sort
View
ISSTA
2009
ACM
15 years 5 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
SIGMETRICS
2009
ACM
157views Hardware» more  SIGMETRICS 2009»
15 years 5 months ago
Delay tolerant bulk data transfers on the internet
Many emerging scientific and industrial applications require transferring multiple Tbytes of data on a daily basis. Examples include pushing scientific data from particle accele...
Nikolaos Laoutaris, Georgios Smaragdakis, Pablo Ro...
91
Voted
ICC
2008
IEEE
110views Communications» more  ICC 2008»
15 years 5 months ago
Antenna Selection for Next Generation IEEE 802.16 Mobile Stations
The IEEE 802.16/WiMAX standard has fully embraced multi-antenna technology and can, thus, deliver robust and high transmission rates and higher system capacity. Nevertheless, due ...
Chun Nie, Zhifeng Tao, Neelesh B. Mehta, Andreas F...
ICRA
2008
IEEE
148views Robotics» more  ICRA 2008»
15 years 5 months ago
Visual saliency model for robot cameras
— Recent years have seen an explosion of research on the computational modeling of human visual attention in task free conditions, i.e., given an image predict where humans are l...
Nicholas J. Butko, Lingyun Zhang, Garrison W. Cott...
IDEAS
2008
IEEE
80views Database» more  IDEAS 2008»
15 years 5 months ago
Improved count suffix trees for natural language data
With more and more natural language text stored in databases, handling respective query predicates becomes very important. Optimizing queries with predicates includes (sub)string ...
Guido Sautter, Cristina Abba, Klemens Böhm