974 search results - page 127 / 195 » Programming Configurable Multiprocessors |
119
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
140
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
148
click to vote
CASES
2010
ACM
15 years 15 days ago
2010
ACM
The performance of most embedded systems is critically dependent on the memory hierarchy performance. In particular, higher cache hit rate can provide significant performance boos...
235
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
115
click to vote
ECOOP
1994
Springer
15 years 6 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...