64 search results - page 1 / 13 » Investigating Java Concurrency Using Abstract State Machines |
ASM
2000
ASM
14 years 3 months ago
2000
ASM
ICCS
2004
Springer
14 years 4 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...
SEC
2003
14 years 16 days 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
14 years 4 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...
ASIAN
2004
Springer
14 years 4 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,...