Sciweavers

CACM
2010
122views more  CACM 2010»
13 years 5 months ago
Functional logic programming
Sergio Antoy, Michael Hanus
CACM
2010
93views more  CACM 2010»
13 years 5 months ago
CHOC'LATE: a framework for specification-based testing
Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Tsong Yueh ...
CACM
2010
104views more  CACM 2010»
13 years 5 months ago
Faster dimension reduction
Data represented geometrically in high-dimensional vector spaces can be found in many applications. Images and videos, are often represented by assigning a dimension for every pix...
Nir Ailon, Bernard Chazelle
CACM
2010
65views more  CACM 2010»
13 years 5 months ago
Spies among us?
Samuel Greengard
CACM
2010
70views more  CACM 2010»
13 years 5 months ago
Making the case for computing
Cameron Wilson, Peter Harsha
CACM
2010
94views more  CACM 2010»
13 years 5 months ago
Going mobile
David Roman
CACM
2010
82views more  CACM 2010»
13 years 5 months ago
MapReduce: a flexible data processing tool
Jeffrey Dean, Sanjay Ghemawat
CACM
2010
95views more  CACM 2010»
13 years 5 months ago
Managing a corporate open source software asset
Vijay K. Gurbani, Anita Garvert, James D. Herbsleb