1![A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304 A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304](https://www.pdfsearch.io/img/4ee5985c121b695d8c5657bd0082c653.jpg) | Add to Reading ListSource URL: www.kestrel.eduLanguage: English - Date: 2012-08-08 19:03:00
|
---|
2![Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs](https://www.pdfsearch.io/img/a1dd2864dfc187ba9616f5bcdd6b1015.jpg) | Add to Reading ListSource URL: sunsite.informatik.rwth-aachen.de- Date: 2011-05-12 14:18:21
|
---|
3![JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin JaBEE - Framework for Object-oriented Java Bytecode Compilation and Execution on Graphics Processor Units Wojciech Zaremba Yuan Lin](https://www.pdfsearch.io/img/6c91838421c7efc222abdb76d9db18da.jpg) | Add to Reading ListSource URL: cs.nyu.edu- Date: 2013-09-17 23:46:00
|
---|
4![Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur APPLICATION REQUIREMENTS AND EFFICIENCY OF EMBEDDED JAVA BYTECODE MULTI-CORES JTRES 2010 Fakultät Informatik Institut für Technische Informatik, Professur für VLSI-Entwurfssysteme, Diagnostik und Architektur APPLICATION REQUIREMENTS AND EFFICIENCY OF EMBEDDED JAVA BYTECODE MULTI-CORES JTRES 2010](https://www.pdfsearch.io/img/fb1282585d14641f901d44fe9488b1b0.jpg) | Add to Reading ListSource URL: d3s.mff.cuni.cz- Date: 2010-08-17 06:40:02
|
---|
5![SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany](https://www.pdfsearch.io/img/1c086f99a4e71c551c38fed2e6cb8053.jpg) | Add to Reading ListSource URL: www.dcs.bbk.ac.ukLanguage: English - Date: 2011-06-23 09:19:29
|
---|
6![Designing a verifying compiler: Lessons learned from developing Whiley Designing a verifying compiler: Lessons learned from developing Whiley](https://www.pdfsearch.io/img/37fdf8e3cad8eeb1b988bf5623fc938d.jpg) | Add to Reading ListSource URL: homepages.ecs.vuw.ac.nzLanguage: English - Date: 2015-11-05 20:25:54
|
---|
7![DIVILAR: Diversifying Intermediate Language for Anti-Repackaging on Android Platform Wu Zhou ∗ , Zhi Wang † , Yajin Zhou ∗ , Xuxian Jiang ∗ North Carolina State University † Florida State University wzhou2@ncsu DIVILAR: Diversifying Intermediate Language for Anti-Repackaging on Android Platform Wu Zhou ∗ , Zhi Wang † , Yajin Zhou ∗ , Xuxian Jiang ∗ North Carolina State University † Florida State University wzhou2@ncsu](https://www.pdfsearch.io/img/4fca26af1d931e240678ea06277e18e7.jpg) | Add to Reading ListSource URL: yajin.orgLanguage: English - Date: 2016-06-04 10:52:06
|
---|
8![Dynamically Loaded Classes as Shared Libraries: an Approach to Improving Virtual Machine Scalability Bernard Wong University of Waterloo 200 University Avenue W. Waterloo, Ontario N2L 3G1, Canada Dynamically Loaded Classes as Shared Libraries: an Approach to Improving Virtual Machine Scalability Bernard Wong University of Waterloo 200 University Avenue W. Waterloo, Ontario N2L 3G1, Canada](https://www.pdfsearch.io/img/c8e1e93a7e29004f27fef5c094d0d9dc.jpg) | Add to Reading ListSource URL: cs.uwaterloo.caLanguage: English - Date: 2011-08-04 20:21:16
|
---|
9![MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering Waseda University Okubo 3-4-1, Shinjuku-ku, Tokyo, Japan MetaVM: A Transparent Distributed Object System Supported by Runtime Compiler Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering Waseda University Okubo 3-4-1, Shinjuku-ku, Tokyo, Japan](https://www.pdfsearch.io/img/d5b506a652b43421d6a617c1dbb5a526.jpg) | Add to Reading ListSource URL: www.shudo.netLanguage: English - Date: 2003-06-09 05:29:37
|
---|
10![Asynchronous Migration of Execution Context in Java Virtual Machines Kazuyuki Shudo∗, Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, Japan Asynchronous Migration of Execution Context in Java Virtual Machines Kazuyuki Shudo∗, Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, Japan](https://www.pdfsearch.io/img/7350b6358e87a3f9e8789e2d8ffbedb5.jpg) | Add to Reading ListSource URL: www.shudo.netLanguage: English - Date: 2003-06-09 06:02:04
|
---|