64 search results - page 1 / 13 » Investigating Java Concurrency Using Abstract State Machines |
ASM
2000
ASM
14 years 11 months ago
2000
ASM
ICCS
2004
Springer
15 years 16 days 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...
SEC
2003
14 years 8 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...
ASWEC
2005
IEEE
15 years 24 days 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...
ASIAN
2004
Springer
15 years 17 days 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,...