Sciweavers

679 search results - page 14 / 136
» hybrid 2010
Sort
View
JAPLL
2010
74views more  JAPLL 2010»
13 years 8 months ago
Axiomatizing hybrid logic using modal logic
Ian Hodkinson, Louis Paternault
PC
2010
105views Management» more  PC 2010»
13 years 8 months ago
Towards dense linear algebra for hybrid GPU accelerated manycore systems
Stanimire Tomov, Jack Dongarra, Marc Baboulin