748 search results - page 66 / 150 » concurrency 2008 |
83
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
d Abstract) David Kitchin, Evan Powell, and Jayadev Misra The University of Texas at Austin The real world is inherently concurrent and temporal. For simulating physical phenomena ...
86
Voted
ESOP
2008
Springer
15 years 2 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...
125
Voted
SIGOPS
2008
15 years 16 days ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
72
Voted
ENTCS
2008
15 years 20 days ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
93
Voted
PPL
2008
15 years 17 days ago
2008
This discussion paper explores the problems of operating systems support when implementing concurrency controls at the level of the instruction set in processors designed for mult...