3307 search results - page 3 / 662 » The meaning of concurrent programs |
152
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
126
click to vote
ICTAC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
131
click to vote
JUCS
2008
15 years 3 months ago
2008
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...
CONCURRENCY
2006
15 years 3 months ago
2006
110
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. JoCaml is a language for concurrent and distributed programming. The language is an extension of Objective Caml with concurrent features inspired by the join-calculus. We...