Search results for "JVM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Matthew Arnold, Martin T. Vechev, Eran Yahav	QVM: an efficient runtime for detecting defects in deployed systems.	OOPSLA	2008	DBLP DOI BibTeX RDF	algorithms, reliability, virtual machines
10	Vivek K. Shanbhag	Deadlock-Detection in Java-Library Using Static-Analysis.	APSEC	2008	DBLP DOI BibTeX RDF
10	Chris Male, David J. Pearce 0001, Alex Potanin, Constantine Dymnikov	Java Bytecode Verification for @NonNull Types.	CC	2008	DBLP DOI BibTeX RDF
10	Prem Uppuluri, Ajay Gupta 0002	Resource Usage Policy Specification for Managing Application Resources.	ITNG	2008	DBLP DOI BibTeX RDF	Specification, Policy
10	Yu Sun 0006, Wei Zhang 0002	Improving code caching performance for Java applications.	IPDPS	2008	DBLP DOI BibTeX RDF
10	Jaroslav Sevcík, David Aspinall 0001	On Validity of Program Transformations in the Java Memory Model.	ECOOP	2008	DBLP DOI BibTeX RDF
10	Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah	Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary.	ECOOP	2008	DBLP DOI BibTeX RDF
10	Olivier Morandi, Fulvio Risso, Silvio Valenti, Paolo Veglia	Design and implementation of a framework for creating portable and efficient packet-processing applications.	EMSOFT	2008	DBLP DOI BibTeX RDF	high-speed packet processing, network code portability, network virtual machine, network processors
10	Stephen Wright	Using EventB to Create a Virtual Machine Instruction Set Architecture.	ABZ	2008	DBLP DOI BibTeX RDF
10	Michael Dawson 0001, Paul Thwaite	Testing class libraries for RTSJ safety.	JTRES	2008	DBLP DOI BibTeX RDF	J9, WRT, Java, real-time, RTSJ, JUnit
10	Yu Sun 0006, Wei Zhang 0002	Efficient code caching to improve performance and energy consumption for java applications.	CASES	2008	DBLP DOI BibTeX RDF	code caching, code generation, java virtual machine, instruction cache, JIT compiler
10	Srijith Krishnan Nair, Andrew S. Tanenbaum, Gabriela Gheorghe, Bruno Crispo	Enforcing DRM policies across applications.	Digital Rights Management Workshop	2008	DBLP DOI BibTeX RDF	access control, digital rights management, usage control, policy enforcement
10	Xiao-Feng Li, Ligang Wang 0001, Chen Yang	A Fully Parallel LISP2 Compactor with Preservation of the Sliding Properties.	LCPC	2008	DBLP DOI BibTeX RDF	compactor, parallelization, Garbage collector
10	Ying Jin 0002, Zepeng Li, Da Wei, Lei Liu	Automatic Generation and Enforcement of Security Contract for Pervasive Application.	EUC (2)	2008	DBLP DOI BibTeX RDF
10	Armand Navabi, Xiangyu Zhang 0001, Suresh Jagannathan	Quasi-static scheduling for safe futures.	PPoPP	2008	DBLP DOI BibTeX RDF	concurrency control, future, static program analysis
10	Niels Brouwers, Peter Corke, Koen Langendoen	Darjeeling, a Java compatible virtual machine for microcontrollers.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	Java, sensor networks
10	Andrew M. Cheadle, A. J. Field, Johan Nyström-Persson	A method specialisation and virtualised execution environment for Java.	VEE	2008	DBLP DOI BibTeX RDF	method virtualization, memory management, language implementation, read barrier, incremental garbage collection
10	Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott Rachlin	Schedulable garbage collection in CLI virtual execution system.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Garbage-collection scheduling, Garbage collection cost model, Virtual machine, Real-time garbage collection
10	Byung-Sun Yang, Junpyo Lee, SeungIl Lee, Seongbae Park, Yoo C. Chung, Suhyun Kim, Kemal Ebcioglu, Erik R. Altman, Soo-Mook Moon	Efficient Register Mapping and Allocation in LaTTe, an Open-Source Java Just-in-Time Compiler.	IEEE Trans. Parallel Distributed Syst.	2007	DBLP DOI BibTeX RDF	register mapping, copy coalescing, Java virtual machine, register allocation, just-in-time compilation
10	Shi Zhang, Linpeng Huang	Research on dynamic update transaction for Java classes.	Frontiers Comput. Sci. China	2007	DBLP DOI BibTeX RDF	Java language, program design, dynamic software update, update transaction
10	Han Bok Lee, Amer Diwan, J. Eliot B. Moss	Design, implementation, and evaluation of a compilation server.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Compilation server, Java virtual machine
10	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Profile for Safety Critical Java.	ISORC	2007	DBLP DOI BibTeX RDF
10	Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge	Dynamic purity analysis for java programs.	PASTE	2007	DBLP DOI BibTeX RDF	purity, Java, software metrics, dynamic analysis, memoization, side effects, escape analysis
10	Javier Alonso 0001, Jordi Guitart, Jordi Torres	Differentiated Quality of Service for e-Commerce Applications through Connection Scheduling based on System-Level Thread Priorities.	PDP	2007	DBLP DOI BibTeX RDF
10	Michael D. Bond, Nicholas Nethercote, Stephen W. Kent, Samuel Z. Guyer, Kathryn S. McKinley	Tracking bad apples: reporting the origin of null and undefined value errors.	OOPSLA	2007	DBLP DOI BibTeX RDF	low-overhead run-time support, null pointer exceptions, undefined values, valgrind, java, debugging, managed languages
10	Mike Fulton, Mark G. Stoodley	Compilation Techniques for Real-Time Java Programs.	CGO	2007	DBLP DOI BibTeX RDF
10	Jacob Matthews, Robert Bruce Findler	Operational semantics for multi-language programs.	POPL	2007	DBLP DOI BibTeX RDF	multi-language systems, interoperability, operational semantics
10	Shi Zhang, Linpeng Huang	Type-Safe Dynamic Update Transaction.	COMPSAC (2)	2007	DBLP DOI BibTeX RDF
10	Victor L. Winter, Azamatbek Mametjanov	Generative programming techniques for Java library migration.	GPCE	2007	DBLP DOI BibTeX RDF	HATS, java Libraries, strategic programming, program transformation, TL
10	Guoqing Xu 0001, Atanas Rountev, Yan Tang, Feng Qin	Efficient checkpointing of java software using context-sensitive capture and replay.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	checkpoint, replay
10	Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi, Adam Kiezun, Michael D. Ernst	Object and reference immutability using java generics.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	IGJ, const, java, generic, readonly, immutability
10	Jinpyo Kim, Wei-Chung Hsu, Pen-Chung Yew, Sreekumar R. Nair, Robert Y. Geva	Entropy-Based Profile Characterization and Classification for Automatic Profile Management.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
10	Vincenzo Gervasi, Giacomo A. Galilei	Software Manipulation with Annotations in Java.	Lipari Summer School	2007	DBLP DOI BibTeX RDF
10	Lennart Beringer, Martin Hofmann 0001, Mariela Pavlova	Certification Using the Mobius Base Logic.	FMCO	2007	DBLP DOI BibTeX RDF
10	Cristian Dittamo, Antonio Cisternino, Marco Danelutto	Parallelization of C# Programs Through Annotations.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Code annotations, generative and parallel programming
10	Philipp Haller, Martin Odersky	Actors That Unify Threads and Events.	COORDINATION	2007	DBLP DOI BibTeX RDF
10	Naveen Neelakantam, Ravi Rajwar, Suresh Srinivas, Uma Srinivasan 0003, Craig B. Zilles	Hardware atomicity for reliable software speculation.	ISCA	2007	DBLP DOI BibTeX RDF	Java, optimization, checkpoint, atomicity, speculation, isolation
10	Simon Kågström, Håkan Grahn, Lars Lundberg	Cibyl: an environment for language diversity on mobile devices.	VEE	2007	DBLP DOI BibTeX RDF	programming environment, portability, J2ME, binary translation
10	M. Teresa Higuera-Toledano	Hardware support for detecting illegal references in a multiapplication real-time Java environment.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	garbage collection, memory management, Write barriers
10	Shuo Yang, Ali Raza Butt, Xing Fang, Y. Charlie Hu, Samuel P. Midkiff	A Fair, Secure and Trustworthy Peer-to-Peer Based Cycle-Sharing System.	J. Grid Comput.	2006	DBLP DOI BibTeX RDF	Peer-to-peer, Grid, Monitoring, Fairness, Incentive, Trustworthiness, Cycle-sharing
10	Giacomo Cabri, Letizia Leonardi, Raffaele Quitadamo	Enabling Java mobile computing on the IBM Jikes research virtual machine.	PPPJ	2006	DBLP DOI BibTeX RDF	thread persistence, distributed applications, Java virtual machine, code mobility
10	Shibashis Guha, Srinath Srinivasa, Saikat Mukherjee, Ranajoy Malakar	LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime.	IDEAS	2006	DBLP DOI BibTeX RDF	Interaction schema, Coordination, Contracts, Reference monitor, Constraint enforcement
10	Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora	Selective compilation via fast code analysis and bytecode tracing.	SAC	2006	DBLP DOI BibTeX RDF
10	Andrea Camesi, Jarle Hulaas, Walter Binder	Continuous Bytecode Instruction Counting for CPU Consumption Estimation.	QEST	2006	DBLP DOI BibTeX RDF
10	Sébastien Lafond, Johan Lilius	An Energy Consumption Model for an Embedded Java Virtual Machine.	ARCS	2006	DBLP DOI BibTeX RDF
10	Walter Binder	Secure and Reliable Java-Based Middleware - Challenges and Solutions.	ARES	2006	DBLP DOI BibTeX RDF
10	Jeremy Singer, Chris C. Kirkham	Visualized adaptive runtime subsystems.	SOFTVIS	2006	DBLP DOI BibTeX RDF
10	Wenlong Li, Eric Q. Li, Ran Meng, Tao Wang 0003, Carole Dulong	Performance analysis of Java concurrent programming: a case study of video mining system.	IPDPS	2006	DBLP DOI BibTeX RDF
10	Nadia Belblidia, Mourad Debbabi	Towards a Formal Semantics for AspectJ Weaving.	JMLC	2006	DBLP DOI BibTeX RDF
10	Tero Laine, József Bíró, Jussi Riihelä, Jens Jensen, Magnus Karlson, Peter Kristiansson	Searching for Synergy: Java and SAF AIS.	ISAS	2006	DBLP DOI BibTeX RDF	Service Availability Forum, Application Interface Specification, Java, high availability
10	Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon	Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems.	EMSOFT	2006	DBLP DOI BibTeX RDF	J2ME CDC, Java ahead-of-time compiler, bytecode-to-c, stack cutting, exception handling, Java virtual machine
10	Dong-Heon Jung, Sung-Hwan Bae, Jaemok Lee, Soo-Mook Moon, Jong Kuk Park	Supporting precise garbage collection in Java Bytecode-to-C ahead-of-time compiler for embedded systems.	CASES	2006	DBLP DOI BibTeX RDF	Bytecode-to-C, J2ME CDC, ahead-of-time compiler, precise garbage collection, java virtual machine
10	Yoonseo Choi, Hwansoo Han	Protected heap sharing for memory-constrained java environments.	CASES	2006	DBLP DOI BibTeX RDF	heap sharing, memory protection unit, garbage collection, dynamic memory management
10	Yougang Song, Ying Xu, Brett D. Fleisch	Design and Performance Evaluation of a Proxy-based Java Rewriting Security System.	ICDCS	2006	DBLP DOI BibTeX RDF
10	Walter Binder, Jarle Hulaas, Philippe Moret	A Quantitative Evaluation of the Contribution of Native Code to Java Workloads.	IISWC	2006	DBLP DOI BibTeX RDF
10	Gilberto Contreras, Margaret Martonosi	Techniques for Real-System Characterization of Java Virtual Machine Energy and Power Behavior.	IISWC	2006	DBLP DOI BibTeX RDF
10	Mohammed K. Jaber, Andrei Voronkov	Implementation of UNIDOOR, a Deductive Object-Oriented Database System.	ADBIS	2006	DBLP DOI BibTeX RDF
10	Bernard Kaddour, Joël Quinqueton	Proposal for compilation techniques of monitoring tasks to improve applications management performance.	ICNS	2006	DBLP DOI BibTeX RDF
10	Philip W. L. Fong, Simon A. Orr	A Module System for Isolating Untrusted Software Extensions.	ACSAC	2006	DBLP DOI BibTeX RDF
10	Hiroshi Yamauchi, Mario Wolczko	Writing Solaris device drivers in Java.	PLOS	2006	DBLP DOI BibTeX RDF	type-safe languages, operating systems, device drivers
10	Jeff Furlong, Atanas Radenski	Handling the subclassing anomaly with Object Teams.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java
10	Saso Greiner, Damijan Rebernak, Janez Brest, Viljem Zumer	Z0 - a tiny experimental language.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	Java, object-orientation, language design
10	Rean Griffith, Gail E. Kaiser	Manipulating managed execution runtimes to support self-healing systems.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	CLR, common language runtime, online reconfiguration, autonomic computing, JIT compiler, self-healing systems
10	Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani	Design and evaluation of dynamic optimizations for a Java just-in-time compiler.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Recompilation, code specialization, profile-directed method inlining, dynamic compilation, JIT compiler, adaptive optimization
10	Godmar Back, Wilson C. Hsieh	The KaffeOS Java runtime system.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	language runtimes, Robustness, virtual machines, resource management, garbage collection, termination, isolation
10	Pawel Garbacki, Bartosz Biskupski, Henri E. Bal	Transparent Fault Tolerance for Grid Applications.	EGC	2005	DBLP DOI BibTeX RDF
10	Violeta Felea, Guilhem Paroux, Bernard Toursel	Java Application Execution in Heterogeneous and Multi-User Systems.	DFMA	2005	DBLP DOI BibTeX RDF
10	Walter Cazzola, Antonio Cisternino, Diego Colombo	[a]C#: C# with a customizable code annotation mechanism.	SAC	2005	DBLP DOI BibTeX RDF	code annotation, reflection, C#, NET
10	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Crosslets: Self-managing Application Deployment in a Cross-Platform Operating Environment.	Component Deployment	2005	DBLP DOI BibTeX RDF
10	Gary Lindstrom, Peter C. Mehlitz, Willem Visser	Model Checking Real Time Java Using Java PathFinder.	ATVA	2005	DBLP DOI BibTeX RDF
10	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Application Object Isolation in Cross-Platform Operating Environments.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
10	Jordi Guitart, Vicenç Beltran 0001, David Carrera 0001, Jordi Torres, Eduard Ayguadé	Characterizing Secure Dynamic Web Applications Scalability.	IPDPS	2005	DBLP DOI BibTeX RDF
10	Laurent Daynès, Grzegorz Czajkowski	Sharing the Runtime Representation of Classes Across Class Loaders.	ECOOP	2005	DBLP DOI BibTeX RDF
10	João Fernando Ferreira, João Luís Sobral	ParC#: Parallel Computing with C# in .Net.	PaCT	2005	DBLP DOI BibTeX RDF
10	Changzheng Zhu, Zhaolin Yin, Aijuan Zhang	Mobile Code Security on Destination Platform.	ICCNMC	2005	DBLP DOI BibTeX RDF
10	Celina Gibbs, Yvonne Coady	Aspects of Memory Management.	HICSS	2005	DBLP DOI BibTeX RDF
10	Muhammad A. Khan 0003, Stefan Fischer 0001	A Reflective Runtime Environment for Dynamic Adaptation of Streaming Media on Resource Constrained Devices.	HICSS	2005	DBLP DOI BibTeX RDF
10	Shlomit S. Pinter, Steven S. Shultz, Yariv Aridor, Sergey Guenender	Improving Machine Virtualization with 'Hotplug Memory'.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
10	Robert Steele, Tharam S. Dillon, Parth Pandya, Yuri Ventsov	XML-Based Mobile Agents.	ITCC (2)	2005	DBLP DOI BibTeX RDF	web services, XML, mobile agents, agent architecture, UDDI
10	M. Teresa Higuera-Toledano	Supporting several real-time applications on the Java platform.	AICCSA	2005	DBLP DOI BibTeX RDF
10	Naohiko Shimizu, Chiaki Kon	Java object look aside buffer for embedded applications.	SIGARCH Comput. Archit. News	2004	DBLP DOI BibTeX RDF
10	Ben Stephenson, Wade Holst	A quantitative analysis of Java bytecode sequences.	PPPJ	2004	DBLP DOI BibTeX RDF
10	M. Teresa Higuera-Toledano	Illegal References in a Real-Time Java Concurrent Environment.	ISORC	2004	DBLP DOI BibTeX RDF
10	Byung-Kyu Choi, Sangig Rho, Riccardo Bettati	Fast Software Component Migration for Applications Survivability in Distributed Real-Time Systems.	ISORC	2004	DBLP DOI BibTeX RDF
10	Paul V. Gestwicki, Bharat Jayaraman	JIVE: Java Interactive Visualization Environment.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	interactive execution, object and sequence diagrams, Java, object-oriented programming, program visualization
10	Helena Åberg Östlund	JRA: offline analysis of runtime behaviour.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	runtime behaviour, java, visualization, low overhead
10	David Aspinall 0001, Lennart Beringer, Martin Hofmann 0001, Hans-Wolfgang Loidl, Alberto Momigliano	A Program Logic for Resource Verification.	TPHOLs	2004	DBLP DOI BibTeX RDF
10	Roberto Barbuti, Stefano Cataudella 0001	Java bytecode verification on Java cards.	SAC	2004	DBLP DOI BibTeX RDF	abstract interpretation, Java card, Java bytecode
10	Sunil Soman, Chandra Krintz, David F. Bacon	Dynamic selection of application-specific garbage collectors.	ISMM	2004	DBLP DOI BibTeX RDF	application-specific collection, dynamic selection, Java, virtual machine, annotation, hot-swapping
10	Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley	Myths and realities: the performance impact of garbage collection.	SIGMETRICS	2004	DBLP DOI BibTeX RDF	semi-space, java, generational, reference counting, mark-sweep
10	Michael Factor, Assaf Schuster, Konstantin Shagin	A Distributed Runtime for Java: Yesterday and Today.	IPDPS	2004	DBLP DOI BibTeX RDF
10	Stefan Tillich, Johann Großschädl	A Survey of Public-Key Cryptography on J2ME-Enabled Mobile Devices.	ISCIS	2004	DBLP DOI BibTeX RDF
10	José Meseguer 0001, Grigore Rosu	Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools.	IJCAR	2004	DBLP DOI BibTeX RDF
10	Seyed Masoud Sadjadi, Philip K. McKinley, Betty H. C. Cheng, R. E. Kurt Stirewalt	TRAP/J: Transparent Generation of Adaptable Java Programs.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF	behavioral reflection, quality-of-service, mobile computing, middleware, aspect-oriented programming, dynamic reconfiguration, generator framework, transparent adaptation
10	Walter Cazzola, Dario Maggiorini	Seamless Nomadic System-Aware Servants.	HICSS	2004	DBLP DOI BibTeX RDF	Service-Oriented Middleware, Reflection, Service Provisioning, Adaptive Middleware
10	Eli Tilevich, Yannis Smaragdakis	Portable and Efficient Distributed Threads for Java.	Middleware	2004	DBLP DOI BibTeX RDF
10	Brian Davis, John Waldron	A survey of optimisations for the Java Virtual Machine.	PPPJ	2003	DBLP DOI BibTeX RDF
10	Jeff Napper, Lorenzo Alvisi, Harrick M. Vin	A Fault-Tolerant Java Virtual Machine.	DSN	2003	DBLP DOI BibTeX RDF
10	Serguei Mourachov	ATCT: a Java framework that offers new approach to developing asynchronous processes.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	Java framework, execution context reification, asynchronous processes
10	Sebastian Lange, Udo Kebschull	Virtual Hardware Byte Code as a Design Platform for Reconfigurable Embedded Systems.	DATE	2003	DBLP DOI BibTeX RDF	Virtual Hardware Machine, Byte Code, FPGA