Sciweavers

9888 search results - page 44 / 1978
» compute 2009
Sort
View
SAC
2009
ACM
16 years 17 days ago
Reasoning about comprehensions with first-order SMT solvers
K. Rustan M. Leino, Rosemary Monahan
SC
2009
ACM
16 years 17 days ago
Scalable massively parallel I/O to task-local files
Wolfgang Frings, Felix Wolf, Ventsislav Petkov