Benutzer: Gast  Login
Originaltitel:
An Execution Trace Verification Method on Linearizability 
Übersetzter Titel:
Eine Execution-Trace-Verifikationsmethode zur Linearisierbarkeit 
Jahr:
2011 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Carle, Georg (Prof. Dr.) 
Gutachter:
Carle, Georg (Prof. Dr.); Waldvogel, Marcel (Prof. Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Kurzfassung:
As multicore processors have become the standard architecture for general-purpose machines, programmers are required to write software optimized for parallelism. Verifying parallel code is very complex, and new practical methods for verification are therefore very important. Tools that provide verification for complex parallel code are still missing. This dissertation introduces a method for testing the execution of code and shows that this method already provides valuable results for the appl...    »
 
Übersetzte Kurzfassung:
Multicore Prozessoren sind inzwischen zur Standardarchitektur für Prozessoren geworden. Folglich sind Programmierer immer mehr dazu angehalten, optimierte parallele Software zu entwickeln. Die Verifikation von parallelem Code ist sehr komplex, was neue praktikable Verifikationsmethoden notwendig macht. Es fehlt immer noch an Tools, welche komplexe parallele Programme verifizieren können. Diese Dissertation stellt eine Methode vor, welche Ausführungen von Programmen testet und zeigt, dass diese M...    »
 
Mündliche Prüfung:
15.04.2011 
Dateigröße:
1774062 bytes 
Seiten:
168 
Letzte Änderung:
05.05.2011