1550 search results - page 141 / 310 » Erlang for Concurrent Programming |
113
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Dryad is a general-purpose distributed execution engine for coarse-grain data-parallel applications. A Dryad application combines computational “vertices” with communication ...
137
click to vote
FUIN
2006
15 years 1 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
105
click to vote
JAVA
1999
Springer
15 years 6 months ago
1999
Springer
This chapter presents a dynamic denotational semantics of the Java programming language. This semantics covers almost the full range of the base language, excluding only concurrenc...
123
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...