1114 search results - page 7 / 223 » Validating optimizations of concurrent C C programs |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Current proposals for concurrent shared-memory languages, including C++ and C, provide sequential consistency only for programs without data races (the DRF guarantee). While the i...
CEC
2009
IEEE
14 years 3 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
EUROPAR
2009
Springer
14 years 21 days ago
2009
Springer
We consider a multi-processor system-on-chip destined for streaming applications. An application is composed of one input and one output queue and in-between, several levels of ide...
APSEC
1996
IEEE
14 years 1 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...