
A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors
Author(s) -
Mariana Kolberg,
Daniel Cordeiro,
Gerd Bohlender,
Luiz~gustavo Fernandes,
Alfredo Goldman
Publication year - 2008
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - rounding , computer science , floating point , parallel computing , computation , multithreading , dual (grammatical number) , task (project management) , multi core processor , point (geometry) , instruction set , algorithm , thread (computing) , mathematics , engineering , art , literature , geometry , systems engineering , operating system