Sciweavers

4 search results - page 1 / 1
» From Sequential to Multi-Threaded Java: An Event-Based Opera...
Sort
View
AMAST
1997
Springer
14 years 3 months ago
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
JAVA
1999
Springer
14 years 3 months ago
An Event-Based Structural Operational Semantics of Multi-Threaded Java
Pietro Cenciarelli, Alexander Knapp, Bernhard Reus...
ASIAN
2004
Springer
150views Algorithms» more  ASIAN 2004»
14 years 4 months ago
Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...
Vijay A. Saraswat
CC
2000
Springer
105views System Software» more  CC 2000»
14 years 3 months ago
MATOU: An Implementation of Mode-Automata
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
Florence Maraninchi, Yann Rémond, Yannick R...