Sciweavers

34202 search results - page 405 / 6841
» The Tera computer system
Sort
View
TAMC
2010
Springer
15 years 5 months ago
Different Approaches to Proof Systems
Olaf Beyersdorff, Sebastian Müller
EGH
2009
Springer
15 years 5 months ago
Scaling of 3D game engine workloads on modern multi-GPU systems
Jordi Roca Monfort, Mark Grossman