2300 search results - page 345 / 460 » Maximally Concurrent Programs |
156
click to vote
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
In this essay we discuss the origin, central results, and some perspectives of algorithmic synthesis of nonterminating reactive programs. We recall the fundamental questions raised...
110
click to vote
IISWC
2008
IEEE
15 years 8 months ago
2008
IEEE
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
118
Voted
IPSN
2007
Springer
15 years 8 months ago
2007
Springer
The development of high-level programming environments is essential if wireless sensor networks are to be accessible to nonexperts. In this paper, we present the Regiment system, ...
138
click to vote
PPOPP
2006
ACM
15 years 8 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
127
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...