Sciweavers

12052 search results - page 48 / 2411
» computing 2010
Sort
View
81
Voted
CCS
2010
ACM
15 years 2 months ago
Computationally sound verification of source code
Michael Backes, Matteo Maffei, Dominique Unruh
97
Voted
SIGCOMM
2010
ACM
15 years 2 months ago
To compress or not to compress - compute vs. IO tradeoffs for mapreduce energy efficiency
Yanpei Chen, Archana Ganapathi, Randy H. Katz
EDBT
2010
ACM
138views Database» more  EDBT 2010»
15 years 2 months ago
Fast ELCA computation for keyword queries on XML data
Rui Zhou, Chengfei Liu, Jianxin Li