Sciweavers

9888 search results - page 18 / 1978
» compute 2009
Sort
View
149
Voted
TPHOL
2009
IEEE
16 years 22 days ago
Formal Verification of Exact Computations Using Newton's Method
Nicolas Julien, Ioana Pasca
WDAG
2009
Springer
97views Algorithms» more  WDAG 2009»
16 years 21 days ago
Brief Announcement: Cloud Computing Games: Pricing Services of Large Data Centers
Ashraf Al Daoud, Sachin Agarwal, Tansu Alpcan
CIVR
2009
Springer
16 years 21 days ago
Human computation
Luis von Ahn