Search results for "JVM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Lars Hamann, Martin Gogolla, Mirco Kuhlmann	OCL-based Runtime Monitoring of JVM hosted Applications.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
20	Shaoshan Liu, Jie Tang 0003, Chengrui Deng, Xiao-Feng Li, Jean-Luc Gaudiot	RHE: A JVM Courseware.	IEEE Trans. Educ.	2011	DBLP DOI BibTeX RDF
20	Gilles Barthe, Exequiel Rivas	Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language.	TGC	2011	DBLP DOI BibTeX RDF
20	Thomas Schatzl, Laurent Daynès, Hanspeter Mössenböck	Optimized memory management for class metadata in a JVM.	PPPJ	2011	DBLP DOI BibTeX RDF
20	Jonathan Heinen, Henrik Barthels, Christina Jansen	Juggrnaut - An Abstract JVM.	FoVeOOS	2011	DBLP DOI BibTeX RDF
20	Yan Wen, Jinjing Zhao, Minhuan Huang, Hua Chen	Towards Detecting Thread Deadlock in Java Programs with JVM Introspection.	TrustCom	2011	DBLP DOI BibTeX RDF
20	Joseph Siefers, Gang Tan, Greg Morrisett	Robusta: taming the native beast of the JVM.	CCS	2010	DBLP DOI BibTeX RDF
20	Ross McIlroy, Joe Sventek	Hera-JVM: a runtime system for heterogeneous multi-core architectures.	OOPSLA	2010	DBLP DOI BibTeX RDF
20	King Tin Lam, Yang Luo, Cho-Li Wang	Adaptive sampling-based profiling techniques for optimizing the distributed JVM runtime.	IPDPS	2010	DBLP DOI BibTeX RDF
20	Karthikeyan Manivannan, Christian Wimmer, Michael Franz	Decentralized information flow control on a bare-metal JVM.	CSIIRW	2010	DBLP DOI BibTeX RDF
20	Nicolas Geoffray, Gaël Thomas 0001, Gilles Muller, Pierre Parrend, Stéphane Frénot, Bertil Folliot	I-JVM: a Java Virtual Machine for component isolation in OSGi.	DSN	2009	DBLP DOI BibTeX RDF
20	John R. Rose	Bytecodes meet combinators: invokedynamic on the JVM.	VMIL@SPLASH	2009	DBLP DOI BibTeX RDF
20	John Cuthbertson, Sandhya Viswanathan, Konstantin Bobrovsky, Alexander Astapchuk, Eric Kaczmarek, Uma Srinivasan 0003	A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM.	CGO	2009	DBLP DOI BibTeX RDF	Java, Optimization, Hardware Performance Monitoring
20	Allan Raundahl Gregersen, Douglas Simon, Bo Nørregaard Jørgensen	Towards a dynamic-update-enabled JVM.	RAM-SE@ECOOP	2009	DBLP DOI BibTeX RDF
20	Gilles Dubochet, Martin Odersky	Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective.	ICOOOLPS@ECOOP	2009	DBLP DOI BibTeX RDF
20	Jan Bækgaard Pedersen, Brian Kauke	Resumable Java Bytecode - Process Mobility for the JVM.	CPA	2009	DBLP DOI BibTeX RDF
20	Ross McIlroy, Joseph S. Sventek	Hera-JVM: Abstracting Processor Heterogeneity Behind a Virtual Machine.	HotOS	2009	DBLP BibTeX RDF
20	Futoshi Iwama, Naoki Kobayashi 0001	A New Type System for JVM Lock Primitives.	New Gener. Comput.	2008	DBLP DOI BibTeX RDF	Java Bytecode Verifier, Type System, Lock
20	Chinnakrishnan S. Ballapuram, Hsien-Hsin S. Lee	Improving TLB energy for java applications on JVM.	ICSAMOS	2008	DBLP DOI BibTeX RDF
20	Dayong Gu, Clark Verbrugge	Phase-based adaptive recompilation in a JVM.	CGO	2008	DBLP DOI BibTeX RDF	runtime technique, java, virtual machine, adaptive optimization, hardware counters
20	Xiaohua Shi, Maozhong Jin, Bu Qi Cheng, Peng Guo	Design a High-Performance Just-In-Time Compiler for a J2ME JVM on XScale.	ICESS	2008	DBLP DOI BibTeX RDF
20	King Tin Lam, Yang Luo, Cho-Li Wang	A Performance Study of Clustering Web Application Servers with Distributed JVM.	ICPADS	2008	DBLP DOI BibTeX RDF
20	Chanwit Kaewkasi, John R. Gurd	Groovy AOP: a dynamic AOP system for a JVM-based language.	SPLAT@AOSD	2008	DBLP DOI BibTeX RDF
20	Giovanni Lagorio	Modelling a JVM for polymorphic bytecode.	J. Object Technol.	2007	DBLP DOI BibTeX RDF
20	Philip W. L. Fong	Reasoning about safety properties in a JVM-like environment.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
20	Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat	An OSEK/VDX-based Multi-JVM for Automotive Appliances.	IESS	2007	DBLP DOI BibTeX RDF
20	Shan Chen, Lingling Zhou, Rendong Ying, Yi Ge	Safe device driver model based on kernel-mode JVM.	VTDC@SC	2007	DBLP DOI BibTeX RDF
20	Walter Binder, Jarle Hulaas	Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting.	QAPL	2006	DBLP DOI BibTeX RDF
20	Ian Bayley, Sam Shiel	JVM Bytecode Verification Without Dataflow Analysis.	Bytecode@ETAPS	2005	DBLP DOI BibTeX RDF
20	Hanbing Liu, J Strother Moore	Executable JVM model for analytical reasoning: A study.	Sci. Comput. Program.	2005	DBLP DOI BibTeX RDF
20	Dayong Gu, Clark Verbrugge, Etienne Gagnon	Code Layout as a Source of Noise in JVM Performance.	Stud. Inform. Univ.	2005	DBLP BibTeX RDF
20	Philip W. L. Fong	Link-Time Enforcement of Confined Types for JVM Bytecode.	PST	2005	DBLP BibTeX RDF
20	Viktor Schuppan, Marcel Baur, Armin Biere	JVM Independent Replay in Java.	RV@ETAPS	2004	DBLP DOI BibTeX RDF
20	Christophe Deleray, Nicolas Bedon, Gilles Roussel 0001, Étienne Duris	Corosol, une JVM modulaire paramétrable à la volée.	Obj. Logiciel Base données Réseaux	2004	DBLP DOI BibTeX RDF
20	James Parnis, Gareth Lee	Exploiting FPGA Concurrency to Enhance JVM Performance.	ACSC	2004	DBLP BibTeX RDF
20	Bernd Mathiske	Real-life JVM design for mobile devices.	IVME	2004	DBLP DOI BibTeX RDF
20	Keith Seymour, Jack J. Dongarra	Automatic translation of Fortran to JVM bytecode.	Concurr. Comput. Pract. Exp.	2003	DBLP DOI BibTeX RDF
20	Cosimo Laneve	A type system for JVM threads.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
20	Jeremy Singer	JVM versus CLR: a comparative study.	PPPJ	2003	DBLP DOI BibTeX RDF
20	Marcelo Lobosco, Anderson Faustino da Silva, Orlando Loques, Claudio Luis de Amorim	A New Distributed JVM for Cluster Computing.	Euro-Par	2003	DBLP DOI BibTeX RDF
20	Hanbing Liu, J Strother Moore	Executable JVM model for analytical reasoning: a study.	IVME	2003	DBLP DOI BibTeX RDF
20	Kenneth MacKenzie, Nicholas Wolverson	Camelot and Grail: resource-aware functional programming for the JVM.	Trends in Functional Programming	2003	DBLP BibTeX RDF
20	Futoshi Iwama, Naoki Kobayashi 0001	A new type system for JVM lock primitives.	ASIA-PEPM	2002	DBLP DOI BibTeX RDF	bytecode verifier, Java, type system, lock
20	Patrick Doyle, Tarek S. Abdelrahman	A Modular and Extensible JVM Infrastructure.	Java Virtual Machine Research and Technology Symposium	2002	DBLP BibTeX RDF
20	Weijian Fang, Cho-Li Wang, Francis C. M. Lau 0001	Efficient Global Object Space Support for Distributed JVM on Cluster.	ICPP	2002	DBLP DOI BibTeX RDF
20	Alessandro Coglio, Allen Goldberg	Type safety in the JVM: some problems in Java 2 SDK 1.2 and proposed solutions.	Concurr. Comput. Pract. Exp.	2001	DBLP DOI BibTeX RDF
20	DeQing Chen, Alan Messer, Philippe Bernadat, Guangrui Fu, Zoran Dimitrijevic, David Jeun Fung Lie, Durga Mannaru, Alma Riska, Dejan S. Milojicic	JVM Susceptibility to Memory Errors.	Java Virtual Machine Research and Technology Symposium	2001	DBLP BibTeX RDF
20	Johan Andersson	Kaffemik - a distributed JVM featuring a single address space.	Java Virtual Machine Research and Technology Symposium	2001	DBLP BibTeX RDF
20	Keith Seymour, Jack J. Dongarra	Automatic translation of Fortran to JVM bytecode.	Java Grande	2001	DBLP DOI BibTeX RDF	Java, FORTRAN
20	Xiaolan Zhang 0001, Margo I. Seltzer	HBench: JGC-An Application-Specific Benchmark Suite for Evaluating JVM Garbage Collector Performance.	COOTS	2001	DBLP BibTeX RDF
20	André Rauber Du Bois, Antônio Carlos da Rocha Costa	Distributed Execution of Functional Programs Using the JVM.	EUROCAST	2001	DBLP DOI BibTeX RDF
20	Donna N. Dillenberger, Rajesh Bordawekar, Clarence W. Clark III, Donald Durand, David Emmes, Osamu Gohda, Sally Howard, Michael F. Oliver, Frank Samuel, Robert W. St. John	Building a Java virtual machine for server applications: The Jvm on OS/390.	IBM Syst. J.	2000	DBLP DOI BibTeX RDF
20	Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney	Adaptive optimization in the Jalapeño JVM.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
20	Matthew Arnold, Stephen Fink, David Grove, Michael Hind, Peter F. Sweeney	Adaptive optimization in the Jalapeño JVM (poster session).	OOPSLA Addendum	2000	DBLP DOI BibTeX RDF
20	Yariv Aridor, Michael Factor, Avi Teperman, Tamar Eilam, Assaf Schuster	A high performance cluster JVM presenting a pure single system image.	Java Grande	2000	DBLP DOI BibTeX RDF
20	John Hatcliff, James C. Corbett, Matthew B. Dwyer, Stefan Sokolowski, Hongjun Zheng	A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives.	SAS	1999	DBLP DOI BibTeX RDF
20	Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone	Tax-and-spend: democratic scheduling for real-time garbage collection.	EMSOFT	2008	DBLP DOI BibTeX RDF	jvm, java, real time, garbage collection
20	Duane Merrill, Kim M. Hazelwood	Trace fragment selection within method-based JVMs.	VEE	2008	DBLP DOI BibTeX RDF	region selection, JVM, traces, JIT compilation
20	Walter Binder, Jarle Hulaas, Philippe Moret	Advanced Java bytecode instrumentation.	PPPJ	2007	DBLP DOI BibTeX RDF	dynamic bytecode instrumentation, Java, program transformations, profiling, JVM, dynamic metrics
20	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson 0001, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
20	J Strother Moore	Inductive assertions and operational semantics.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Theorem proving, JVM, Software verification, Verification condition
20	Erland Jonsson	Towards an Integrated Conceptual Model of Security and Dependability.	ARES	2006	DBLP DOI BibTeX RDF	component isolation, Java, resource management, software components, JVM
20	Ian M. Steiner, Yefim Shuf	A characterization of a java-based commercial workload on a high-end enterprise server.	SIGMETRICS/Performance	2006	DBLP DOI BibTeX RDF	object co-allocation, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement
20	Walter Binder, Jarle Hulaas	Flexible and efficient measurement of dynamic bytecode metrics.	GPCE	2006	DBLP DOI BibTeX RDF	Java, aspect-oriented programming, program transformations, resource management, profiling, JVM, partial evaluation, component-based software engineering, bytecode instrumentation, dynamic metrics
20	Ben Stephenson, Wade Holst	Multicodes: optimizing virtual machines using bytecode sequences.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java, optimization, virtual machine, interpreter, JVM, bytecode
20	Yefim Shuf, Manish Gupta 0002, Hubertus Franke, Andrew W. Appel, Jaswinder Pal Singh	Creating and preserving locality of java applications at allocation and garbage collection times.	OOPSLA	2002	DBLP DOI BibTeX RDF	heap traversal, locality based graph traversal, object co-allocation, prolific types, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement
20	Michal Cierniak, Brian T. Lewis, James M. Stichnoth	Open runtime platform: flexibility with performance using interfaces.	Java Grande	2002	DBLP DOI BibTeX RDF	modular components, Java, virtual machine, interfaces, garbage collection, interface design, JVM, just-in-time compilation, dynamic compilation
20	Tamar Domani, Gal Goldshtein, Elliot K. Kolodner, Ethan Lewis, Erez Petrank, Dafna Sheinwald	Thread-local heaps for Java.	MSP/ISMM	2002	DBLP DOI BibTeX RDF	local garbage collection, scalable garbage collection, Java, locality, garbage collection, JVM
20	Takashi Suezawa	Persistent execution state of a Java virtual machine.	Java Grande	2000	DBLP DOI BibTeX RDF	execution state, Java, checkpointing, JVM, recovery, persistence
19	Kolin Paul, Tapas Kumar Kundu	Android on Mobile Devices: An Energy Perspective.	CIT	2010	DBLP DOI BibTeX RDF	Dalvik JVM, Android Energy
19	Dong Kwan Kim, Myoungkyu Song, Eli Tilevich, Calvin J. Ribbens, Shawn A. Bohner	Dynamic Software Updates for Accelerating Scientific Discovery.	ICCS (1)	2009	DBLP DOI BibTeX RDF	Time-to-Discovery, Computationally-Intensive Applications, JVM HotSwap, Bytecode Enhancement, Dynamic Software Updates
19	ZhiLei Chai, Wenke Zhao, Wenbo Xu 0001	Real-time Java processor optimized for RTSJ.	SAC	2007	DBLP DOI BibTeX RDF	Real-time Java platform, Real-time Java processor, Java Virtual Machine (JVM), Real-time specification for Java (RTSJ), Worst Case Execution Time (WCET)
19	Domenico Cotroneo, Roberto Pietrantuono, Leonardo Mariani, Fabrizio Pastore	Investigation of failure causes in workload-driven reliability testing.	SOQUA	2007	DBLP DOI BibTeX RDF	JVM monitoring, model inference, workloads execution, log file analysis, automated analysis
19	Austin Kim, J. Morris Chang	Advanced POC Model-Based Java Instruction Folding Mechanism.	EUROMICRO	2000	DBLP DOI BibTeX RDF	Instruction Folding, Java Virtual Machine (JVM), Stack, Java processor, Java bytecode, Java programming language
10	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
10	Takeshi Ogasawara	Scalability limitations when running a Java web server on a chip multiprocessor.	SYSTOR	2010	DBLP DOI BibTeX RDF	performance, multi-cores, JVMs, web servers
10	Guoqing Xu 0001, Nick Mitchell, Matthew Arnold, Atanas Rountev, Edith Schonberg, Gary Sevitsky	Finding low-utility data structures.	PLDI	2010	DBLP DOI BibTeX RDF	abstract dynamic thin slicing, memory bloat, cost benefit analysis
10	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
10	MinSeong Kim, Andy J. Wellings	Using the executor framework to implement asynchronous event handling in the RTSJ.	JTRES	2010	DBLP DOI BibTeX RDF
10	Nicolas Geoffray, Gaël Thomas 0001, Julia Lawall, Gilles Muller, Bertil Folliot	VMKit: a substrate for managed runtime environments.	VEE	2010	DBLP DOI BibTeX RDF	vmkit, virtual machine, just in time compiler
10	Kenichi Kourai, Hideaki Hibino, Shigeru Chiba	Application-Level Scheduling Using AOP.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF	scheduler, QoS, case study, aspect, performance tuning
10	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	interoperability, Operational semantics
10	Sukyoung Ryu	Parsing Fortress syntax.	PPPJ	2009	DBLP DOI BibTeX RDF	parsing
10	Guillermo L. Taboada, Juan Touriño, Ramon Doallo	Java for high performance computing: assessment of current research and practice.	PPPJ	2009	DBLP DOI BibTeX RDF	cluster, Java, performance evaluation, message-passing, high performance computing, threads, InfiniBand, multi-core architectures
10	Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose	Lazy continuations for Java virtual machines.	PPPJ	2009	DBLP DOI BibTeX RDF	stack frame, Java, optimization, performance, virtual machine, continuation, activation
10	Takeshi Ogasawara	NUMA-aware memory manager with dominant-thread-based copying GC.	OOPSLA	2009	DBLP DOI BibTeX RDF	java, cc-NUMA
10	Maria Jump, Kathryn S. McKinley	Dynamic shape analysis via degree metrics.	ISMM	2009	DBLP DOI BibTeX RDF	degree metrics, dynamic invariants, dynamic shape analysis
10	Dapeng Liu, Shaochun Xu	MuTT: A Multi-Threaded Tracer for Java Programs.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
10	Cliff Click	Java on 1000 Cores: Tales of Hardware/Software Co-design.	ECOOP	2009	DBLP DOI BibTeX RDF
10	Alex Villazón, Walter Binder, Danilo Ansaloni, Philippe Moret	Advanced runtime adaptation for Java.	GPCE	2009	DBLP DOI BibTeX RDF	code hotswapping, runtime aspect adaptation and (re)weaving, java virtual machine, AspectJ, bytecode instrumentation, dynamic aspect-oriented programming
10	Ohad Shacham, Martin T. Vechev, Eran Yahav	Chameleon: adaptive selection of collections.	PLDI	2009	DBLP DOI BibTeX RDF	semantic profiler, java, collections, bloat
10	Tomas Kalibera	Replicating real-time garbage collector for Java.	JTRES	2009	DBLP DOI BibTeX RDF
10	Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard	A predictable Java profile: rationale and implementations.	JTRES	2009	DBLP DOI BibTeX RDF	Java, real-time
10	Antonio Cunei, Rachid Guerraoui, Jesper Honig Spring, Jean Privat, Jan Vitek	High-Performance Transactional Event Processing.	COORDINATION	2009	DBLP DOI BibTeX RDF
10	Michal Wegiel, Chandra Krintz	Dynamic prediction of collection yield for managed runtimes.	ASPLOS	2009	DBLP DOI BibTeX RDF	reference bits, clustering, parallel, concurrent, operating system, garbage collection, yield prediction
10	Yunhe Shi, Kevin Casey, M. Anton Ertl, David Gregg	Virtual machine showdown: Stack versus registers.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	register architecture, stack architecture, virtual machine, Interpreter
10	Michael H. Dawson	Challenges in Implementing the Real-Time Specification for Java (RTSJ) in a Commercial Real-Time Java Virtual Machine.	ISORC	2008	DBLP DOI BibTeX RDF	Java, Real-time, Implementation
10	Niels Brouwers, Peter Corke, Koen Langendoen	A java compatible virtual machine for wireless sensor nodes.	SenSys	2008	DBLP DOI BibTeX RDF	java, sensor network
10	Joseph Gil, Itay Maman	Whiteoak: introducing structural typing into java.	OOPSLA	2008	DBLP DOI BibTeX RDF	structural subtyping, java, abstraction
10	Ajeet Shankar, Matthew Arnold, Rastislav Bodík	Jolt: lightweight dynamic analysis and removal of object churn.	OOPSLA	2008	DBLP DOI BibTeX RDF	allocation optimization, selective optimization, java, virtual machine, churn, inlining, escape analysis