Results 221 to 230 of about 14,055 (238)

Java signal processing: FFTs with bytecodes

Concurrency: Practice and Experience, 1998
This paper investigates the possibility of using Java as a language for digital signal processing. We compare the performance of the fast Fourier transform using Java interpreters, compilers, and native execution. To characterize the Java language as a platform for signal processing, we have implemented a traditional FFT algorithm in both C and Java ...
C. John Glossner, Jesse Thilo, Stamatis Vassiliadis   +2 more
openaire   +1 more source

A specification of Java loading and bytecode verification

Proceedings of the 5th ACM conference on Computer and communications security, 1998
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise subtle aspects of the JVM semantics and the verifier. We focus on the use of data flow analysis to verify type-correctness and the use of typing contexts to insure global type ...
openaire   +1 more source

TurboJ, a Java bytecode-to-native compiler

1998
TurboJ is an off-line Java compiler, translating Java byte-codes to native code. TurboJ operates in conjunction with a Java Virtual Machine (JVM); among the supported JVMs are those on HPUX, Linux, and Wind River’s Tornado for Java (running under VxWorks).
Michael Weiss, François de Ferrière, Bertrand Delsart, Christian Fabre, Frederick Hirsch, E. Andrew Johnson, Vania Joloboff, Fred Roy, Fridtjof Siebert, Xavier Spengler   +9 more
openaire   +1 more source

Extending Operational Semantics of the Java Bytecode

2008
A proof-carrying code infrastructure can ensure safety of global computers. Such an infrastructure requires sound and complete semantics of the global computing platform. Bicolano is an operational semantics of the major part of the Java bytecode language.
Patryk Czarnik, Aleksy Schubert
openaire   +1 more source

Lambdas in Java Bytecode

2015
This chapter is for those who want to go deeper and understand how lambdas really work. This is your red pill vs. blue pill moment: do you want to live in a world where Java has lambdas and they work great and everything is slick and awesome, or do you want to see what is really going on beneath the surface and discover the magic of the compiler pulls?
openaire   +1 more source

Java Bytecode Verification

Journal of Automated Reasoning, 2003
openaire   +1 more source

A type system for Java bytecode subroutines

ACM Transactions on Programming Languages and Systems, 1999
Martin Abadi
exaly  

Java bytecode verification for secure information flow

ACM SIGPLAN Notices, 2003
Marco Avvenuti, Cinzia Bernardeschi
exaly  

An empirical study of Java bytecode programs

Software - Practice and Experience, 2007
Christian Collberg
exaly  

Establishing structural testing criteria for Java bytecode

Software - Practice and Experience, 2006
Auri Marcelo Rizzo Vincenzi, Marcio Eduardo Delamaro   +1 more
exaly