Results 1 - 10 of 24

Java Proof Linking with Multiple Classloaders

by Philip W. L. Fong, Robert D. Cameron , 2000
"... The Proof Linking Architecture was proposed as a framework for conducting modular verification in the presence of lazy, dynamic linking. The model was instantiated to modularize Java bytecode verification in a simplified Java run-time environment, in which there was a single classloader. This paper ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
The Proof Linking Architecture was proposed as a framework for conducting modular verification in the presence of lazy, dynamic linking. The model was instantiated to modularize Java bytecode verification in a simplified Java run-time environment, in which there was a single classloader. This paper

Proof Linking: Distributed Verification of Java Classfiles in the Presence of Multiple Classloaders

by Philip W.L. Fong, Robert D. Cameron , 2001
"... To offload the computational burden of bytecode verification within Java Virtual Machines (JVM), distributed verification systems may be created using any one of a number of verification protocols, based on such techniques as proof-carrying code and signed verification by trusted authorities. This p ..."
Abstract - Cited by 10 (6 self) - Add to MetaCart
provides interoperability between the two. To ground our work in the real-world requirements of Java bytecode verification, we also extend previous work on proof linking to handle multiple classloaders.

A P2P Approach to ClassLoading in Java

by Daryl Parker, David Cleary - In AP2PC ’03 , 2003
"... Abstract. The Classloader has long been one of the key extensibility points of the Java Virtual Machine architecture. It lies at the heart of many of the distributed mechanisms that have made the Java platform so successful. In this paper we give a brief overview of various distributed system techno ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
Abstract. The Classloader has long been one of the key extensibility points of the Java Virtual Machine architecture. It lies at the heart of many of the distributed mechanisms that have made the Java platform so successful. In this paper we give a brief overview of various distributed system

Kawa|compiling dynamic languages to the Java VM

by Per Bothner - In Proceedings of the USENIX Technical Conference, FREENIX Track , 1998
"... Many are interested in Java for its portable bytecodes and extensive libraries, but prefer a different language, especially for scripting. People have implemented other languages using an interpreter (which is slow), or by translating into Java source (with poor responsiveness for eval). Kawa uses a ..."
Abstract - Cited by 13 (0 self) - Add to MetaCart
an interpreter only for “simple” expressions; all non-trivial expressions (such as function definitions) are compiled into Java bytecodes, which are emitted into an in-memory byte array. This can be saved for later, or quickly loaded using the Java ClassLoader. Kawa is intended to be a framework that supports

Kawa - Compiling Dynamic Languages to the Java VM

by Per Bothner Cygnus , 1998
"... Many are interested in Java for its portable bytecodes and extensive libraries, but prefer a different language, especially for scripting. People have implemented other languages using an interpreter (which is slowed), or by translating into Java source (with poor responsiveness for eval). Kawa uses ..."
Abstract - Add to MetaCart
uses an interpreter only for "simple" expressions; all non-trivial expressions (such as function definitions) are compiled into Java bytecodes, which are emitted into an in-memory byte array. This can be saved for later, or quickly loaded using the Java ClassLoader feature. Kawa is intended

Towards Reliable OSGi Operating Framework and Applications *

by Heejune Ahn, Hyukjun Oh, Jiman Hong
"... Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) framework employs the service-oriented approach and the Java ClassLoader architecture for the runtime service deployment, ..."
Abstract - Cited by 2 (0 self) - Add to MetaCart
Upcoming ubiquitous computing systems are required to operate in dynamic, diverse, unverified, and unpredictable operating environment. The OSGi (Open Service Gateway initiative) framework employs the service-oriented approach and the Java ClassLoader architecture for the runtime service deployment

Parallel Computation in Mobile Systems Using Bluetooth

by Scatternets And Java
"... Our work targets small mobile computers with a Bluetooth wireless link. Embedded in cheap robots with data rich sensors, our target does not have enough processing power to do the required analysis on sensor data. We propose the use of parallel processing. In this paper we outline DynaMP, a dynamic ..."
Abstract - Add to MetaCart
message passing architecture. Using an ad-hoc network with on-demand routing based on AODV. DynaMP has a resource discovery mechanism, it distributes code and data using Java classloading, with a caching mechanism to reduce network traffic. We assume the network is unreliable and provide a retry mechanism

JavaCloak: Engineering Java Proxy Objects using Reflection

by Karen Renaud, Huw Evans
"... Java programmers need to be able to locally specialise the run-time behaviour of externally developed code in order to increase software reuse. We describe a system that supports local specialisation by using proxy objects. The proxy object and the object it wraps (the wrapped object) are typ ..."
Abstract - Cited by 2 (1 self) - Add to MetaCart
) are typed with the same full-qualified Java class name and a specialised classloader is used by the proxy to ensure the two classes are kept separate. Many issues which arise when using proxies in object-oriented languages, suchasthe "self problem" and encapsulation problems, are discussed

Efficient . . . Polymorphic Methods in Java

by James Sasitorn , 2005
"... This thesis describes a new implementation architecture for polymorphic methods in Generic Java using the NextGen compiler framework. The standard Generic Java (Java 1.5) compiler erases generic types at compilation. This transformation prohibits type-dependent operations, limiting generic expressiv ..."
Abstract - Add to MetaCart
This thesis describes a new implementation architecture for polymorphic methods in Generic Java using the NextGen compiler framework. The standard Generic Java (Java 1.5) compiler erases generic types at compilation. This transformation prohibits type-dependent operations, limiting generic

Why Object Serialization is Inappropriate for Providing Persistence in Java

by Huw Evans - Department of Computing Science, University of Glasgow , 1999
"... This paper describes why Object-Serialization is not appropriate for providing persistence in Java. With numerous code examples, Object-Serialization is shown to be easy to work with initially which seduces the developer into relying on it for persistence within more complex applications. The advanc ..."
Abstract - Cited by 3 (0 self) - Add to MetaCart
This paper describes why Object-Serialization is not appropriate for providing persistence in Java. With numerous code examples, Object-Serialization is shown to be easy to work with initially which seduces the developer into relying on it for persistence within more complex applications
Results 1 - 10 of 24