Sciweavers

2 search results - page 1 / 1
» Deterministic, predictable and light-weight multithreading u...
Sort
View
DATE
2010
IEEE
137views Hardware» more  DATE 2010»
13 years 9 months ago
Deterministic, predictable and light-weight multithreading using PRET-C
—We present a new language called Precision Timed C, for predictable and lightweight multithreading in C. PRET-C supports synchronous concurrency, preemption, and a high-level co...
Sidharta Andalam, Partha S. Roop, Alain Girault
NFM
2011
223views Formal Methods» more  NFM 2011»
12 years 11 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...