Search results for "bytecode"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Takahide Yoshikawa, Kouya Shimura, Toshihiro Ozawa	Random Program Generator for Java JIT Compiler Test System.	QSIC	2003	DBLP DOI BibTeX RDF
10	Kazutaka Maruyama, Minoru Terada	Debugging with Reverse Watchpoint.	QSIC	2003	DBLP DOI BibTeX RDF
10	Algis Rudys, Dan S. Wallach	Termination in language-based systems.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	soft termination, Java, Internet, termination, Applets, resource control
10	Jeffery von Ronne, Andreas Hartmann 0001, Wolfram Amme, Michael Franz	Efficient online optimization by utilizing offline analysis and the safeTSA representation.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF	Java, World Wide Web (WWW)
10	Tobias Lindahl, Konstantinos Sagonas	Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.	IFL	2002	DBLP DOI BibTeX RDF
10	Jeremiah Willcock, Andrew Lumsdaine, Arch D. Robison	Using MPI with C# and the common language infrastructure.	Java Grande	2002	DBLP DOI BibTeX RDF	common language infrastructure (CLI), parallel computing, message passing interface (MPI), C#, NET
10	Tao Li 0006, Ravi Bhargava, Lizy Kurian John	Rehashable BTB: An Adaptive Branch Target Buffer to Improve the Target Predictability of Java Code.	HiPC	2002	DBLP DOI BibTeX RDF
10	Alex Groce, Willem Visser	Heuristic Model Checking for Java Programs.	SPIN	2002	DBLP DOI BibTeX RDF
10	Feng Qian, Laurie J. Hendren, Clark Verbrugge	A Comprehensive Approach to Array Bounds Check Elimination for Java.	CC	2002	DBLP DOI BibTeX RDF
10	Reinhard Klemm, Navjot Singh 0001	Automatic Failure Detection, Logging, and Recovery for High-Availability Java Servers.	ISSRE	2002	DBLP DOI BibTeX RDF	Java, Policies, Availability, Recovery, Server, Logging, Failure Detection, Object Persistence
10	Todd Smith, Suresh Srinivas, Philipp Tomsich, Jinpyo Park	Experiences with Retargeting the Java Hotspot(tm) Virtual Machine.	IPDPS	2002	DBLP DOI BibTeX RDF
10	Chia-Tien Dan Lo, Witawas Srisa-an, J. Morris Chang	A Multithreaded Concurrent Garbage Collector Parallelizing the New Instruction in Java.	IPDPS	2002	DBLP DOI BibTeX RDF	parallel garbage collector, object-oriented programming, Java Virtual Machine, multithreaded programming, dynamic memory management, concurrent garbage collection
10	David J. Barnes	Teaching introductory Java through LEGO MINDSTORMS models.	SIGCSE	2002	DBLP DOI BibTeX RDF
10	Mourad Debbabi, Josée Desharnais, M. Fourati, E. Menif, Frédéric Painchaud, Nadia Tawbi	Secure Self-certified Code for Java.	FASec	2002	DBLP DOI BibTeX RDF
10	Martin Strecker	Formal Verification of a Java Compiler in Isabelle.	CADE	2002	DBLP DOI BibTeX RDF
10	Bertrand Delsart, Vania Joloboff, Eric Paire	JCOD: A Lightweight Modular Compilation Technology for Embedded Java.	EMSOFT	2002	DBLP DOI BibTeX RDF
10	Ricky K. K. Ma, Cho-Li Wang, Francis C. M. Lau 0001	M-JavaMPI: A Java-MPI Binding with Process Migration Support.	CCGRID	2002	DBLP DOI BibTeX RDF	JVMDI, M-JavaMPI, Java, load balancing, parallel computing, MPI, message passing, cluster computing, process migration
10	Alex Groce, Willem Visser	Model checking Java programs using structural heuristics.	ISSTA	2002	DBLP DOI BibTeX RDF	model checking, testing, heuristics, coverage metrics
10	Vitaly V. Mikheev, Nikita V. Lipsky, D. Gurchenkov, P. Pavlov, Vladimir V. Sukharev, A. Markov, Sergey V. Kuksenko, Stanislav A. Fedoseev, D. Leskov, A. Yeryomin	Overview of excelsior JET, a high performance alternative to java virtual machines.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	ahead-of-time optimizations, scalable run-time system, java, performance
10	Dexter Kozen, Matthew Stillerman	Eager Class Initialization for Java.	FTRTFT	2002	DBLP DOI BibTeX RDF
10	Gilles Barthe, Guillaume Dufay, Line Jakubiec, Simão Melo de Sousa	A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines.	VMCAI	2002	DBLP DOI BibTeX RDF
10	Marc Éluard, Thomas P. Jensen, Ewen Denney	An Operational Semantics of the Java Card Firewall.	E-smart	2001	DBLP DOI BibTeX RDF
10	Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge	A Framework for Optimizing Java Using Attributes.	CC	2001	DBLP DOI BibTeX RDF
10	Yudith Cardinale, Emilio Hernández	Checkpointing Facility on a Metasystem.	Euro-Par	2001	DBLP DOI BibTeX RDF
10	Carlos Figueira, Emilio Hernández	Profiling Facility on a Metasystem.	HPCN	2001	DBLP DOI BibTeX RDF
10	Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold	An Overview of AspectJ.	ECOOP	2001	DBLP DOI BibTeX RDF
10	Keum-Young Sung	Design of a Specification Language and Real-Time APIs for Easy Expression of Soft Real-Time Constraints with Java.	ICN (1)	2001	DBLP DOI BibTeX RDF
10	Enriquillo Valdez, Moti Yung	DISSECT: DIStribution for SECurity Tool.	ISC	2001	DBLP DOI BibTeX RDF
10	Ewen Denney	The Synthesis of a Java Card Tokenization Algorithm.	ASE	2001	DBLP DOI BibTeX RDF
10	Marco Avvenuti, Alessio Vecchio	Embedding Remote Object Mobility in Java RMI .	FTDCS	2001	DBLP DOI BibTeX RDF
10	Dan S. Wallach, Andrew W. Appel, Edward W. Felten	SAFKASI: a security mechanism for language-based systems.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	security-passing style, Java, Internet, WWW, access control, applets, stack inspection
10	Philip W. L. Fong, Robert D. Cameron	Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking
10	Sophia Drossopoulou	An Abstract Model of Java Dynamic Linking and Loading.	Types in Compilation	2000	DBLP DOI BibTeX RDF
10	Jan-Willem Maessen, Arvind, Xiaowei Shen	Improving the Java memory model using CRF.	OOPSLA	2000	DBLP DOI BibTeX RDF	commit/reconcile/fence, Java, Java, compilation, memory models
10	Zhenyu Qian, Allen Goldberg, Alessandro Coglio	A formal specification of JavaTM class loading.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
10	Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam 0001, Etienne Gagnon, Charles Godin	Practical virtual method call resolution for Java.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
10	Ewen Denney	A Prototype Proof Translator from HOL to Coq.	TPHOLs	2000	DBLP DOI BibTeX RDF
10	Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst	Implementing Java Consistency Using a Generic, Multithreaded DSM Runtime System.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
10	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park	Model Checking Programs.	ASE	2000	DBLP DOI BibTeX RDF
10	K. C. Kim, Sang Bong Yoo, K. W. Ko, Sang Kyun Cha	Active System for Heterogeneous ODBMS Using Mobile Rule Codes.	ADBIS-DASFAA	2000	DBLP DOI BibTeX RDF
10	Patrik Persson, Görel Hedin	An Interactive Environment for Real-Time Software Development.	TOOLS (33)	2000	DBLP DOI BibTeX RDF	Real-Time Systems, Object-Oriented Languages, Real-Time Java, Software Development Environments, Worst-Case Execution Time Analysis
10	Patrice Pominville, Feng Qian, Raja Vallée-Rai, Laurie J. Hendren, Clark Verbrugge	A framework for optimizing Java using attributes.	CASCON	2000	DBLP BibTeX RDF	Java
10	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
10	Dexter Kozen	Language-Based Security.	MFCS	1999	DBLP DOI BibTeX RDF
10	Kazuhiko Kato, Katsuya Matsubara, Yuuichi Someya, Kazumasa Itabashi, Yutaka Moriyama	PLANET: An Open Mobile Object System for Open Network.	ASA/MA	1999	DBLP DOI BibTeX RDF
10	Martín Abadi	Protection in Programming-Language Translations.	ICALP	1998	DBLP DOI BibTeX RDF
10	Nick Benton, Andrew Kennedy, George Russell	Compiling Standard ML to Java Bytecodes.	ICFP	1998	DBLP DOI BibTeX RDF	MC68000 Assembly Language, Java
10	Philip W. L. Fong, Robert D. Cameron	Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	Java
10	Mark MacBeth, Keith McGuigan, Philip J. Hatcher	Executing Java threads in parallel in a distributed-memory environment.	CASCON	1998	DBLP BibTeX RDF	Java, C
10	Lee-Ren Ton, Lung-Chung Chang, Min-Fu Kao, Han-Min Tseng, Shi-Sheng Shang, Ruey-Liang Ma, Dze-Chaung Wang, Chung-Ping Chung	Instruction Folding in Java Processor.	ICPADS	1997	DBLP DOI BibTeX RDF