Sciweavers

444 search results - page 11 / 89
» Multi-Dispatch in the Java Virtual Machine: Design and Imple...
Sort
View
HOTOS
1999
IEEE
13 years 11 months ago
Drawing the Red Line in Java
Software-based protection has become a viable alternative to hardware-based protection in systems based on languages such as Java, but the absence of hardware mechanisms for prote...
Godmar Back, Wilson C. Hsieh
PPPJ
2009
ACM
14 years 15 hour ago
SlimVM: a small footprint Java virtual machine for connected embedded systems
The usage of cellular phones, PDAs, and other mobile devices has increased dramatically over the past ten years. Java is targeted to be one of the most popular execution environme...
Christoph Kerschbaumer, Gregor Wagner, Christian W...
JVM
2004
166views Education» more  JVM 2004»
13 years 8 months ago
An Opcode Level Energy Consumption Model for a Java Virtual Machine
In this paper we establish a general framework for estimating the energy consumption of an embedded Java virtual machine (JVM). We have designed a number of experiments to find th...
Sébastien Lafond, Johan Lilius
MFCS
1998
Springer
13 years 11 months ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
Egon Börger, Wolfram Schulte
POPL
1997
ACM
13 years 11 months ago
Pizza into Java: Translating Theory into Practice
Pizza is a strict superset of Java that incorporates three ideas from the academic community: parametric polymorphism, higher-order functions, and algebraic data types. Pizza is d...
Martin Odersky, Philip Wadler