Search results for "JVM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
81	Michael Bebenita, Andreas Gal, Michael Franz	Implementing fast JVM interpreters using Java itself.	PPPJ	2007	DBLP DOI BibTeX RDF	interpreter design, metacircular/self-interpreters, minimal trusted computing base, Java virtual machine
79	Wenzhang Zhu, Cho-Li Wang, Francis C. M. Lau 0001	Lightweight Transparent Java Thread Migration for Distributed JVM.	ICPP	2003	DBLP DOI BibTeX RDF	distributed JVM, Java thread migration, mobility, multi-threading, JIT compiler
71	Shaoshan Liu, Chengrui Deng, Xiao-Feng Li, Jean-Luc Gaudiot	RHE: A Lightweight JVM Instructional Tool.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
70	Ruben Pinilla, Marisa Gil	ULT: a Java threads model for platform independent execution.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF	HPI, Java threads, ULT, kernel threads, user threads, scheduling, concurrency, multithreaded, JVM
70	Rajesh K. Karmani, Amin Shali, Gul Agha	Actor frameworks for the JVM platform: a comparative analysis.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, performance, semantics, frameworks, abstractions, JVM, libraries, comparison, actors
70	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
70	Tomoyuki Higuchi, Atsushi Ohori	A static type system for JVM access control.	ICFP	2003	DBLP DOI BibTeX RDF	access control, type system, JVM, type inference, stack inspection
61	Yuji Chiba	Heap protection for Java virtual machines.	PPPJ	2006	DBLP DOI BibTeX RDF
61	Ramesh Radhakrishnan, Narayanan Vijaykrishnan, Lizy Kurian John, Anand Sivasubramaniam, Juan Rubio 0001, Jyotsna Sabarinathan	Java Runtime Systems: Characterization and Architectural Implications.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	CPU and cache architectures, Java, performance evaluation, benchmarking, ILP, Java bytecodes
61	K. John Gough	Parameter Passing for the Java Virtual Machine.	ACSC	2000	DBLP DOI BibTeX RDF	languages other than Java, parameter passing mechanisms, Compilers, Java Virtual Machine
60	Kiyokuni Kawachiya, Kazunori Ogata, Daniel Silva 0001, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Cloneable JVM: a new approach to start isolated java applications faster.	VEE	2007	DBLP DOI BibTeX RDF	startup overhead, java, cloning, isolation
60	Bernard P. Serpette, Manuel Serrano	Compiling scheme to JVM bytecode: : a performance study.	ICFP	2002	DBLP DOI BibTeX RDF	compilation, scheme, Java virtual machine, functional languages
60	Egon Börger, Wolfram Schulte	A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Java, compiler, Semantics, exception handling, Java Virtual Machine, correctness, abstract state machines
60	Georgios Gousios	The JikesXen Java server platform.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	performance, virtual machine, operating system, JVM
60	Davide Ancona, Massimo Ancona, Antonio Cuni, Nicholas D. Matsakis	RPython: a step towards reconciling dynamically and statically typed OO languages.	DLS	2007	DBLP DOI BibTeX RDF	JVM, Python, NET
60	Ruben Pinilla, Marisa Gil	JVM: platform independent vs. performance dependent.	ACM SIGOPS Oper. Syst. Rev.	2003	DBLP DOI BibTeX RDF	Java threads, kernel threads, user threads, scheduling, concurrency, multithreaded, JVM
51	Marcelo d'Amorim, Ahmed Sobeih, Darko Marinov	Optimized Execution of Deterministic Blocks in Java PathFinder.	ICFEM	2006	DBLP DOI BibTeX RDF
51	Yangsun Lee 0002, Seungwon Na	Java Bytecode-to-.NET MSIL Translator for Construction of Platform Independent Information Systems.	KES	2004	DBLP DOI BibTeX RDF
51	James C. Pang, Gholamali C. Shoja, Eric G. Manning	Providing soft real-time QoS guarantees for Java threads.	Java Grande	2001	DBLP DOI BibTeX RDF	Java
51	Ting-Wei Hou, Fuh-Gwo Chen, J. L. Lee, Y. L. Cheng	Distributed and Parallel Execution of Java Programs on a DSM System.	CCGRID	2001	DBLP DOI BibTeX RDF	DSM system and byte-code, Java Virtual Machine
51	Alex Gontmakher, Assaf Schuster	Java consistency: nonoperational characterizations for Java memory behavior.	ACM Trans. Comput. Syst.	2000	DBLP DOI BibTeX RDF	Java memory models, nonoperational specification, multithreading
51	Ramesh Radhakrishnan, Narayanan Vijaykrishnan, Lizy Kurian John, Anand Sivasubramaniam	Architectural Issues in Java Runtime Systems.	HPCA	2000	DBLP DOI BibTeX RDF
51	Zhenyu Qian	A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
50	Carmen Badea, Alexandru Nicolau, Alexander V. Veidenbaum	Impact of JVM superoperators on energy consumption in resource-constrained embedded systems.	LCTES	2008	DBLP DOI BibTeX RDF	superoperators, embedded systems, java virtual machine, energy estimation, profile-guided optimization
50	Christian Skalka	Type safe dynamic linking for JVM access control.	PPDP	2007	DBLP DOI BibTeX RDF	static type analysis, language-based security, bytecode verification, dynamic linking
50	Philip W. L. Fong	Pluggable verification modules: an extensible protection mechanism for the JVM.	OOPSLA	2004	DBLP DOI BibTeX RDF	Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security
50	Azadeh Farzan, José Meseguer 0001, Grigore Rosu	Formal JVM Code Analysis in JavaFAN.	AMAST	2004	DBLP DOI BibTeX RDF
50	K. Shiv, R. Iyer, C. Newburn, J. Dahlstedt, M. Lagergren, O. Lindholm	Impact of JIT/JVM Optimizations on Java Application Performance.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF
50	Yariv Aridor, Michael Factor, Avi Teperman	cJVM: A Single System Image of a JVM on a Cluster.	ICPP	1999	DBLP DOI BibTeX RDF	CJVM, cluster, Java, Java virtual machine, single system image
50	Nghi Nguyen, Angel Dominguez, Rajeev Barua	Scratch-pad memory allocation without compiler support for java applications.	CASES	2007	DBLP DOI BibTeX RDF	java, embedded systems, compiler, JVM, memory allocation, JIT, scratch-pad
50	Lingli Zhang, Chandra Krintz	The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices.	ACM Trans. Archit. Code Optim.	2005	DBLP DOI BibTeX RDF	Code unloading, JVM, code-size reduction, JIT, resource-constrained devices
50	Marcelo Lobosco, Orlando Loques, Claudio Luis de Amorim	Reducing Memory Sharing Overheads in Distributed JVMs.	HPCC	2005	DBLP DOI BibTeX RDF	concurrent Java applications, Java, high-performance computing, cluster computing, JVM, distributed shared memory
50	Lingli Zhang, Chandra Krintz	Adaptive code unloading for resource-constrained JVMs.	LCTES	2004	DBLP DOI BibTeX RDF	code unloading, JVM, code-size reduction, JIT, resource-constrained devices
50	Glenn Ammons, Jonathan Appavoo, Maria A. Butrico, Dilma Da Silva, David Grove, Kiyokuni Kawachiya, Orran Krieger, Bryan S. Rosenburg, Eric Van Hensbergen, Robert W. Wisniewski	Libra: a library operating system for a jvm in a virtualized execution environment.	VEE	2007	DBLP DOI BibTeX RDF	exokernels, virtualization, JVM, xen
40	Tuukka Miettinen, Daniel Pakkala, Mika Hongisto	A Method for the Resource Monitoring of OSGi-based Software Components.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
40	Salvatore Orlando 0002, Stefano Russo 0001	Java Virtual Machine Monitoring for Dependability Benchmarking.	ISORC	2006	DBLP DOI BibTeX RDF
40	Dries Buytaert, Jonas Maebe, Lieven Eeckhout, Koen De Bosschere	Building Java program analysis tools using Javana.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	aspect-oriented instrumentation, customized program analysis tool, Java
40	Michael Factor, Assaf Schuster, Konstantin Shagin	JavaSplit: A Runtime for Execution of Monolithic Java Programs on Heterogeneous Collections of Commodity Workstations.	CLUSTER	2003	DBLP DOI BibTeX RDF
40	Michael Factor, Assaf Schuster, Konstantin Shagin	Execution of monolithic Java programs on large non-dedicated collections of commodity workstations.	Java Grande	2002	DBLP DOI BibTeX RDF	high-level programming paradigm, non-dedicated environment, utilization of idle resources, fault tolerance, distributed shared memory
40	Michiaki Tatsubori, Toshiyuki Sasaki, Shigeru Chiba, Kozo Itano	A Bytecode Translator for Distributed Execution of "Legacy" Java Software.	ECOOP	2001	DBLP DOI BibTeX RDF
40	Tao Li 0006, Lizy Kurian John, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Jyotsna Sabarinathan, Anupama Murthy	Using complete system simulation to characterize SPECjvm98 benchmarks.	ICS	2000	DBLP DOI BibTeX RDF	Java
40	Egon Börger, Wolfram Schulte	Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.	MFCS	1998	DBLP DOI BibTeX RDF
40	Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat	KESO: an open-source multi-JVM for deeply embedded systems.	JTRES	2010	DBLP DOI BibTeX RDF	KESO, OSEK/VDX, spatial isolation, Java, embedded systems, memory protection, AUTOSAR
40	Nicolas Geoffray, Gaël Thomas 0001, Charles Clément, Bertil Folliot	A lazy developer approach: building a JVM with third party software.	PPPJ	2008	DBLP DOI BibTeX RDF	BoehmGC, GNU classpath, JnJVM, Java, LLVM
40	Dongxi Liu	Bytecode Verification for Enhanced JVM Access Control.	ARES	2007	DBLP DOI BibTeX RDF
40	Ana Azevedo, Arun Kejariwal, Alexander V. Veidenbaum, Alexandru Nicolau	High performance annotation-aware JVM for Java cards.	EMSOFT	2005	DBLP DOI BibTeX RDF	superoperators, virtual machine, high performance, Java card
40	Yuqiang Xian, Ning Zhang 0004, Guangze Xiong	Concurrent Garbage Collection Implementation in a Standard JVM for Real-Time Purposes.	ICESS	2004	DBLP DOI BibTeX RDF
40	Vlad Bucur, Liviu Cristian Miclea	Entering the Metaverse from the JVM: The State of the Art, Challenges, and Research Areas of JVM-Based Web 3.0 Tools and Libraries.	Future Internet	2023	DBLP DOI BibTeX RDF
40	David Lion, Adrian Chiu, Hailong Sun 0001, Xin Zhuang, Nikola Grcevski, Ding Yuan 0004	Don't Get Caught in the Cold, Warm-up Your JVM: Understand and Eliminate JVM Warm-up Overhead in Data-Parallel Systems.	OSDI	2016	DBLP BibTeX RDF
40	Katherine Barabash, Yoav Ossia, Erez Petrank	Mostly concurrent garbage collection revisited.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, garbage collection, JVM, concurrent garbage collection, incremental garbage collection
40	Guilin Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Mary Jane Irwin	Analyzing heap error behavior in embedded JVM environments.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	softerrors, JVM
39	Guangyu Chen, R. Shetty, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Mario Wolczko	Tuning garbage collection for reducing memory system energy in an embedded java environment.	ACM Trans. Embed. Comput. Syst.	2002	DBLP DOI BibTeX RDF	K Virtual Machine (KVM), Java, Java Virtual Machine (JVM), Garbage collector, low power computing
39	Songsong Cai, Yongqiang Yang, Chuanwen Lin, Qi Liu	JVM Virtual Method Invoking Optimization Based on CAM Table.	NAS	2011	DBLP DOI BibTeX RDF	CAM table, JVM virtual method invocation, inline cache
39	Dong Kwan Kim, Eli Tilevich	Overcoming JVM HotSwap Constraints Via Binary Rewriting.	HotSWUp	2008	DBLP DOI BibTeX RDF	HotSwap, JVM languages, binary refactoring, virtual superclass
30	Javier de Dios, Ricardo Peña-Marí	A Certified Implementation on Top of the Java Virtual Machine.	FMICS	2009	DBLP DOI BibTeX RDF
30	Andreas Gal, Christian W. Probst, Michael Franz	Java bytecode verification via static single assignment form.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Java bytecode verification, dataflow analysis, static single assignment form
30	Martin Schoeberl, Christian Thalinger, Stephan Korsholm, Anders P. Ravn	Hardware Objects for Java.	ISORC	2008	DBLP DOI BibTeX RDF
30	Arno Puder	Byte Code Transformations using XSL Stylesheets.	SNPD	2008	DBLP DOI BibTeX RDF
30	Tihomir Gvero, Milos Gligoric 0001, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid	State extensions for java pathfinder.	ICSE	2008	DBLP DOI BibTeX RDF	delta execution, jpf, mixed execution, java pathfinder
30	Michael Factor, Assaf Schuster, Konstantin Shagin	A Platform-Independent Distributed Runtime for Standard Multithreaded Java.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	Java, distributed computing, distributed shared memory, bytecode instrumentation
30	Gerwin Klein, Tobias Nipkow	A machine-checked model for a Java-like language, virtual machine, and compiler.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Java, theorem proving, operational semantics
30	Youngsun Han, Seokjoong Hwang, Seon Wook Kim	Jaguar: a compiler infrastructure for Java reconfigurable computing.	FPGA	2006	DBLP DOI BibTeX RDF
30	Miaobo Chen, Shalom Goldenberg, Suresh Srinivas, Valery Ushakov, Young Wang, Qi Zhang, Eric Lin, Yoav Zach	Java JNI Bridge: A Framework for Mixed Native ISA Execution.	CGO	2006	DBLP DOI BibTeX RDF
30	Graham Mathias, Kenneth B. Kent	An Embedded Java Virtual Machine Using Network-on-Chip Design.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
30	Domenico Cotroneo, Salvatore Orlando 0002, Stefano Russo 0001	Failure classification and analysis of the Java Virtual Machine.	ICDCS	2006	DBLP DOI BibTeX RDF	Dependability, Java Virtual Machine, Failure Analysis, Failure Diagnosis
30	Hiroo Ishikawa, Tatsuo Nakajima	EarlGray: A Component-Based Java Virtual Machine for Embedded Systems.	ISORC	2005	DBLP DOI BibTeX RDF
30	Guangyu Chen, Mahmut T. Kandemir	Verifiable annotations for embedded java environments.	CASES	2005	DBLP DOI BibTeX RDF	verification, annotation, java virtual machine, just-in-time compilation, flow analysis
30	Edgardo Ambrosi, Marco Bianchi 0001, Carlo Gaibisso, Giorgio Gambosi, Flavio Lombardi	Transparent Java Threads Migration Protocol over Peer2Peer.	ISPA	2005	DBLP DOI BibTeX RDF
30	Lingli Zhang, Chandra Krintz	Profile-driven code unloading for resource-constrained JVMs.	PPPJ	2004	DBLP DOI BibTeX RDF
30	Abdel Ejnioui, Abdelkader Rhiati	A Reconfigurable Memory Management Core for Java Applications.	ISVLSI	2004	DBLP DOI BibTeX RDF
30	Anderson Faustino da Silva, Marcelo Lobosco, Claudio Luis de Amorim	An Evaluation of cJava System Architecture.	SBAC-PAD	2003	DBLP DOI BibTeX RDF
30	Charlie Daly, Jane Horgan, James F. Power, John Waldron	Platform independent dynamic Java virtual machine analysis: the Java Grande Forum Benchmark suite.	Java Grande	2001	DBLP DOI BibTeX RDF	Java Grande, Java, Java Virtual Machine
30	James C. Pang, Gholamali C. Shoja, Eric G. Manning	Supporting Soft Real-Time Tasks and QoS on the Java Platform.	HIPS	2001	DBLP DOI BibTeX RDF
30	David Gregg, M. Anton Ertl, Andreas Krall	Implementing an Efficient Java Interpreter.	HPCN	2001	DBLP DOI BibTeX RDF
30	K. John Gough	Stacking them up: a Comparison of Virtual Machines.	ACSAC	2001	DBLP DOI BibTeX RDF
30	Egon Börger	Design for Reuse via Structuring Techniques for ASMs.	EUROCAST	2001	DBLP DOI BibTeX RDF
30	Egon Börger, Wolfram Schulte	Initialization problems for Java.	Softw. Concepts Tools	2000	DBLP DOI BibTeX RDF	Java, Compiler, Virtual machine, Programming language
30	Zhenyu Qian	Standard fixpoint iteration for Java bytecode verification.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	Java, dataflow analysis, bytecode verification, fixpoint
30	Zhenyu Qian, Allen Goldberg, Alessandro Coglio	A formal specification of JavaTM class loading.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
30	Cornelia Pusch	Proving the Soundness of a Java Bytecode Verifier Specification in Isabelle/HOL.	TACAS	1999	DBLP DOI BibTeX RDF
30	Michael Weiss, François de Ferrière, Bertrand Delsart, Christian Fabre, Frederick Hirsch, E. Andrew Johnson, Vania Joloboff, Fred Roy, Fridtjof Siebert, Xavier Spengler	TurboJ, a Java Bytecode-to-Native Compiler.	LCTES	1998	DBLP DOI BibTeX RDF
30	Dirk Balfanz, Li Gong	Experience with Secure Multi-Processing in Java.	ICDCS	1998	DBLP DOI BibTeX RDF	Java platform, security, multi-user environment, multi-processing
30	Qiaoyun Li	Java Virtual Machine - Present and Near Future.	TOOLS (26)	1998	DBLP DOI BibTeX RDF	Metaspace, Java, Virtual machine, Bytecode
30	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust, concurrent, extensible scripting on the JVM.	OOPSLA	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
30	Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad	Thorn: robust concurrent scripting on the JVM.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	pattern matching, scripting, actors
30	Jun Rao, Hamid Pirahesh, C. Mohan 0001, Guy M. Lohman	Compiled Query Execution Engine using JVM.	ICDE	2006	DBLP DOI BibTeX RDF
30	Gilles Barthe, Tamara Rezk	Non-interference for a JVM-like language.	TLDI	2005	DBLP DOI BibTeX RDF	type systems, confidentiality, low level languages
30	Jennifer Baldwin, Yvonne Coady	Are patches cutting it?: structuring distribution within a JVM using aspects.	CASCON	2005	DBLP BibTeX RDF
30	Hanbing Liu, J Strother Moore	Java Program Verification via a JVM Deep Embedding in ACL2.	TPHOLs	2004	DBLP DOI BibTeX RDF
30	Robert F. Stärk, Joachim Schmid 0001	Completeness of a Bytecode Verifier and a Certifying Java-to-JVM Compiler.	J. Autom. Reason.	2003	DBLP DOI BibTeX RDF	Java, bytecode verification, certifying compilation
30	Cliff Click, John Rose	Fast subtype checking in the HotSpot JVM.	Java Grande	2002	DBLP DOI BibTeX RDF	checkcast, instanceof, typecase, Java, subtype
30	Elena Machkasova, Kevin Arhelger, Fernando Trinciante	The observer effect of profiling on dynamic Java optimizations.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	hprof, Java, profiler, JVM, HotSpot, inlining, dead code elimination
30	Faisal Aslam, Christian Schindelhauer, Gidon Ernst, Damian Spyra, Jan Meyer, Mohannad Zalloom	Introducing TakaTuka: a java virtualmachine for motes.	SenSys	2008	DBLP DOI BibTeX RDF	java on motes, jvm, optimization
30	Abdul Sattar 0002, Torben Lorenzen	Develop a compiler in Java for a compiler design course.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	Jasmin, complier, recursive descent parser, Java, Java, JVM
30	Marc Beyerle, Joachim Franz, Wilhelm G. Spruth	Persistent Reusable Java Virtual Machine unter z/OS und Linux.	Inform. Forsch. Entwickl.	2005	DBLP DOI BibTeX RDF	ACID, Persistent Reusable Java Virtual Machine, PRJVM, OS/390, Serial Reusability, zLinux, z/OS, zSeries, Transaction, JVM, IMS, J2EE, DB2, EJB, WebSphere, CICS
30	Katherine Barabash, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Yoav Ossia, Avi Owshanko, Erez Petrank	A parallel, incremental, mostly concurrent garbage collector for servers.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Garbage collection, JVM, concurrent garbage collection
30	Walter Binder	A Portable and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting.	APLAS	2005	DBLP DOI BibTeX RDF	Java, program transformations, Profiling, JVM, bytecode instrumentation, dynamic metrics
30	Walter Binder	Portable, efficient, and accurate sampling profiling for java-based middleware.	SEM	2005	DBLP DOI BibTeX RDF	sampling profiling, Java, program transformations, JVM, bytecode instrumentation
30	Diab Abuaiadh, Yoav Ossia, Erez Petrank, Uri Silbershtein	An efficient parallel heap compaction algorithm.	OOPSLA	2004	DBLP DOI BibTeX RDF	parallel compaction, java, garbage collection, JVM, compaction, parallel garbage collection
30	Yoav Ossia, Ori Ben-Yitzhak, Marc Segal	Mostly concurrent compaction for mark-sweep GC.	ISMM	2004	DBLP DOI BibTeX RDF	concurrent compaction, incremental compaction, Java, garbage collection, JVM, compaction