Výsledky vyhľadávania - "Embedded GPGPUs"

Formal Methods for High Integrity GPU Software Development and Verification

Autori: Aspetakis, Dimitrios Trompouki, Matina Maria Kosmidis, Leonidas a ďalší

Zdroj: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Predmety: Formal verification, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Ada SPARK, Embedded GPGPUs, Safety critical systems

Popis súboru: application/pdf