User: Guest  Login
Original title:
An Execution Trace Verification Method on Linearizability 
Translated title:
Eine Execution-Trace-Verifikationsmethode zur Linearisierbarkeit 
Year:
2011 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Carle, Georg (Prof. Dr.) 
Referee:
Carle, Georg (Prof. Dr.); Waldvogel, Marcel (Prof. Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Abstract:
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...    »
 
Translated abstract:
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...    »
 
Oral examination:
15.04.2011 
File size:
1774062 bytes 
Pages:
168 
Last change:
05.05.2011