Sciweavers

3872 search results - page 94 / 775
» The Java memory model
Sort
View
GPCE
2009
Springer
15 years 4 months ago
Classifying Java class transformations for pervasive virtualized access
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
Phil McGachey, Antony L. Hosking, J. Eliot B. Moss
NADA
1998
Springer
136views Hardware» more  NADA 1998»
15 years 4 months ago
Towards an Algebraic Specification of the Java Virtual Machine
abstractions to focus on principle issues and impose structure - Model behaviour - Determine correctness - Recursive equational axiomatisations with precise semantics yet algorithm...
K. Stephenson
ECOOP
2008
Springer
15 years 1 months ago
Externalizing Java Server Concurrency with CAL
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
Charles Zhang, Hans-Arno Jacobsen
TECS
2010
74views more  TECS 2010»
14 years 10 months ago
Recovering from distributable thread failures in distributed real-time Java
We consider the problem of recovering from failures of distributable threads (“threads”) in distributed realtime systems that operate under run-time uncertainties including th...
Edward Curley, Binoy Ravindran, Jonathan Stephen A...
CGO
2009
IEEE
15 years 6 months ago
Computer Generation of General Size Linear Transform Libraries
The development of high-performance libraries has become extraordinarily difficult due to multiple processor cores, vector instruction sets, and deep memory hierarchies. Often, t...
Yevgen Voronenko, Frédéric de Mesmay...