Multithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06)

  • Arndt Mühlenfeld (Redner/in)

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: Fault Detection in Multi-Threaded C++ Server Applications
Zeitraum21 Aug. 2006 → 22 Aug. 2006
EreignistitelMultithreading in Hardware and Software: Formal Approaches to Design and Verification (TV06)
VeranstaltungstypKonferenz