Sciweavers

2956 search results - page 503 / 592
» Targeted Data Prefetching
Sort
View
152
Voted
SIGMOD
2011
ACM
290views Database» more  SIGMOD 2011»
14 years 5 months ago
Database state generation via dynamic symbolic execution for coverage criteria
Automatically generating sufficient database states is imperative to reduce human efforts in testing database applications. Complementing the traditional block or branch coverage...
Kai Pan, Xintao Wu, Tao Xie
106
Voted
AQUILEIA
2011
142views more  AQUILEIA 2011»
14 years 2 months ago
Integrated Geophysical Study of Archaeological Sites in the Aquileia Area
Abstract. Integrated remote sensing and geophysical methods can provide detailed information about buried cultural heritage. We implemented an integrated survey protocol (IREGA, In...
Emanuele Forte, Michele Pipan, Monica Sugan
143
Voted
CODES
2011
IEEE
14 years 2 months ago
Dynamic, multi-core cache coherence architecture for power-sensitive mobile processors
Today, mobile smartphones are expected to be able to run the same complex, memory-intensive applications that were originally designed and coded for general-purpose processors. Ho...
Garo Bournoutian, Alex Orailoglu
183
Voted
DSN
2011
IEEE
14 years 2 months ago
Applying game theory to analyze attacks and defenses in virtual coordinate systems
—Virtual coordinate systems provide an accurate and efficient service that allows hosts on the Internet to determine latency to arbitrary hosts based on information provided by ...
Sheila Becker, Jeff Seibert, David Zage, Cristina ...
133
Voted
HUC
2011
Springer
14 years 2 months ago
The social fMRI: measuring, understanding, and designing social mechanisms in the real world
A key challenge of data-driven social science is the gathering of high quality multi-dimensional datasets. A second challenge relates to design and execution of structured experim...
Nadav Aharony, Wei Pan, Cory Ip, Inas Khayal, Alex...