3307 search results - page 464 / 662 » The meaning of concurrent programs |
228
click to vote
JLP
2008
15 years 5 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
194
click to vote
NOMS
2010
IEEE
15 years 5 months ago
2010
IEEE
—MapReduce is a data-driven programming model proposed by Google in 2004 which is especially well suited for distributed data analytics applications. We consider the management o...
212
click to vote
IPPS
2010
IEEE
15 years 5 months ago
2010
IEEE
As multi-cores arrive for mainstream desktop systems, developers must invest the effort to parallelize their applications. We present Parallel Task (short ParaTask), a solution to ...
203
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
253
click to vote
DLS
2009
15 years 5 months ago
2009
Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although ...