31 search results - page 2 / 7 » Deterministic Execution of Java's Primitive Bytecode Operati... |
96
Voted
CSREAESA
2006
14 years 11 months ago
2006
The performance of software executed on a microprocessor is adversely affected by the basic fetchexecute cycle. A further performance penalty results from the load-execute-store p...
MOBILWARE
2010
ACM
14 years 7 months ago
2010
ACM
We propose a new elastic application model that enables the seamless and transparent use of cloud resources to augment the capability of resourceconstrained mobile devices. The sal...
80
Voted
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The actor programming model offers a promising model for developing reliable parallel and distributed code. Actors provide flexibility and scalability: local execution may be i...
APLAS
2006
ACM
15 years 3 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
89
Voted
HOTSWUP
2009
ACM
15 years 2 months ago
2009
ACM
Delegation is an important design concept in object-oriented languages. In contrast to inheritance, which relates classes to each other, delegation operates on the level of object...