1114 search results - page 5 / 223 » Validating optimizations of concurrent C C programs |
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented t...
PPCP
1993
14 years 27 days ago
1993
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
