8 search results - page 1 / 2 » SyncCharts in C: a proposal for light-weight, deterministic ... |
EMSOFT
2009
Springer
14 years 5 months ago
2009
Springer
PPOPP
2012
ACM
12 years 6 months ago
2012
ACM
In program debugging, reproducibility of bugs is a key requirement. Unfortunately, bugs in concurrent programs are notoriously difficult to reproduce because bugs due to concurre...
DATE
2010
IEEE
14 years 4 months ago
2010
IEEE
—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...
EMSOFT
2005
Springer
14 years 4 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
ASPLOS
2009
ACM
14 years 11 months ago
2009
ACM
While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on mu...