3307 search results - page 152 / 662 » The meaning of concurrent programs |
216
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
128
Voted
EUROSYS
2007
ACM
16 years 23 days 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 ...
150
Voted
FUIN
2006
15 years 3 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...
122
Voted
JAVA
1999
Springer
15 years 8 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...
136
Voted
ACSD
2001
IEEE
15 years 7 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 ...