64 search results - page 1 / 13 » Investigating Java Concurrency Using Abstract State Machines |
ASM
2000
ASM
15 years 4 months ago
2000
ASM
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Camelot is a resource-bounded functional programming language which compiles to Java byte code to run on the Java Virtual Machine. We extend Camelot to include language s...
110
click to vote
SEC
2003
15 years 1 months ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
108
click to vote
ASWEC
2005
IEEE
15 years 5 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
100
click to vote
ASIAN
2004
Springer
15 years 5 months ago
2004
Springer
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,...