2943 search results - page 13 / 589 » Software Implementation of Synchronous Programs |
281
Voted
CC
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
198
Voted
HPCA
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper compares several implementations of entry consistency (EC) and lazy release consistency (LRC), two relaxed memory models in use with software distributed shared memory ...
175
Voted
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Networked embedded systems such as wireless sensor networks are usually designed to be event-driven so that they are reactive and power efficient. Programming embedded systems wit...
142
click to vote
ISSTA
2009
ACM
16 years 9 days ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
147
click to vote
IWPC
2008
IEEE
16 years 6 days ago
2008
IEEE
To support understanding a specific GUI functionality in a program, we propose a visualization technique that presents the correspondence between the screens before and after the...