Search results for "Byte-code"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Thomas R. Dean, Yuling Chen	Design Recovery of a Two Level System.	IWPC	2003	DBLP DOI BibTeX RDF
12	Ray Odaira, Kei Hiraki	Selective Optimization of Locks by Runtime Statistics and Just-in-Time Compilation.	IPDPS	2003	DBLP DOI BibTeX RDF	runtime statistics, mutex lock, Java, JVM, runtime optimization
12	Iain Bate, Guillem Bernat, Peter P. Puschner	Java Virtual-Machine Support for Portable Worst-Case Execution-Time Analysis.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF
12	Danny Weyns, Eddy Truyen, Pierre Verbaeten	Serialization of Distributed Execution-State in Java.	NetObjectDays	2002	DBLP DOI BibTeX RDF
12	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
12	Christian Queinnec	Marshaling/Demarshaling as a Compilation/Interpretation Process.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
12	Ali-Reza Adl-Tabatabai, Michal Cierniak, Guei-Yuan Lueh, Vishesh M. Parikh, James M. Stichnoth	Fast, Effective Code Generation in a Just-In-Time Java Compiler.	PLDI	1998	DBLP DOI BibTeX RDF	Java
10	Niels Brouwers, Koen Langendoen, Peter Corke	Darjeeling, a feature-rich VM for the resource poor.	SenSys	2009	DBLP DOI BibTeX RDF	wireless sensor networks, Java, virtual machines
10	Torsten Ullrich, Ulrich Krispel, Dieter W. Fellner	Compilation of procedural models.	Web3D	2008	DBLP DOI BibTeX RDF	generative/procedural modeling, model compiler, XML, computer graphics, modeling languages, graphics systems
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	Michael Weber 0002	An Embeddable Virtual Machine for State Space Generation.	SPIN	2007	DBLP DOI BibTeX RDF
10	Peter Müller 0001, Martin Nordio	Proof-transforming compilation of programs with abrupt termination.	SAVCBS	2007	DBLP DOI BibTeX RDF	proof-transforming compiler, proof-carrying code, trusted components
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	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
10	Tiziana Margaria, Oliver Rüthing, Bernhard Steffen	ViDoC - Visual Design of Optimizing Compilers.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
10	Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava	Multi-level software reconfiguration for sensor networks.	EMSOFT	2006	DBLP DOI BibTeX RDF	sensor networks, virtual machine, reconfiguration, multi-tasking, reprogramming
10	Atul Gupta, Pankaj Jalote	An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded Faults.	TACAS	2006	DBLP DOI BibTeX RDF	Block coverage, Predicate coverage, Software testing, Experiment, Statistical analysis, Test case generation, Mutation Operator, Branch coverage
10	Zhenchun Huang, Guoqing Li	An SOA based On-Demand Computation Framework for Spatial Information Processing.	GCC Workshops	2006	DBLP DOI BibTeX RDF	On-Demand Computation Framework, Spatial Information Processing, Service Oriented Architecture
10	Wes Masri, Andy Podgurski	Using dynamic information flow analysis to detect attacks against applications.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	dynamic information flow analysis, intrusion detection, Computer security, program dependences, observation-based testing
10	Samuel N. Kamin, Baris Aktemur, Philip Morton	Source-Level Optimization of Run-Time Program Generators.	GPCE	2005	DBLP DOI BibTeX RDF
10	Tarig Mohamed Ahmed	Protecting Service Providers by Using Agent Virtual Machine.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	Security of Mobile Agent, Distributed System, Mobility, Mobile Agent
10	Mats Skoglund, Per Runeson	A case study of the class firewall regression test selection technique on a large scale distributed software system.	ISESE	2005	DBLP DOI BibTeX RDF
10	Hongyan Mao, Linpeng Huang, Yongqiang Sun	Optimizing Web Services with Partial Evaluation.	CIT	2004	DBLP DOI BibTeX RDF
10	Jennifer Lhoták, Ondrej Lhoták, Laurie J. Hendren	Integrating the Soot Compiler Infrastructure into an IDE.	CC	2004	DBLP DOI BibTeX RDF
10	Hao Cai, Andy J. Wellings	Supporting Mixed Criticality Applications in a Ravenscar-Java Environment.	OTM Workshops	2004	DBLP DOI BibTeX RDF
10	Wes Masri, Andy Podgurski, David Leon	Detecting and Debugging Insecure Information Flows.	ISSRE	2004	DBLP DOI BibTeX RDF
10	Stephen Gilmore	Extending Camelot with Mutable State and Concurrency.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
10	Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl	The Succinct Solver Suite.	TACAS	2004	DBLP DOI BibTeX RDF
10	Ulrik Pagh Schultz, Kim Burgaard, Flemming Gram Christensen, Jørgen Lindskov Knudsen	Compiling java for low-end embedded systems.	LCTES	2003	DBLP DOI BibTeX RDF	Java, embedded systems, compilers, interfaces
10	Petr Hnetynka, Petr Tuma 0001	Fighting Class Name Clashes in Java Component Systems.	JMLC	2003	DBLP DOI BibTeX RDF	name clashes, Java, components, interfaces, versioning, classes
10	Hongyan Mao, Linpeng Huang, Yongqiang Sun	Partially Evaluating Grid Services by DJmix.	GCC (1)	2003	DBLP DOI BibTeX RDF
10	Alwyn Goodloe, Michael McDougall, Carl A. Gunter, Rajeev Alur	Predictable programs in barcodes.	CASES	2002	DBLP DOI BibTeX RDF	active barcodes, code delivery, programmability of embedded devices, formal verification
10	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Customizable Deployment, Composition, and Hosting of Distributed Java Applications.	OTM	2002	DBLP DOI BibTeX RDF
10	Gagan Agrawal, Liang Guo	Evaluating explicitly context-sensitive program slicing.	PASTE	2001	DBLP DOI BibTeX RDF
10	Yves Bertot	Formalizing a JVML Verifier for Initialization in a Theorem Prover.	CAV	2001	DBLP DOI BibTeX RDF
10	Fridtjof Siebert	Constant-Time Root Scanning for Deterministic Garbage Collection.	CC	2001	DBLP DOI BibTeX RDF
10	Andreas Krall, Philipp Tomsich	Java for Large-Scale Scientific Computations?	LSSC	2001	DBLP DOI BibTeX RDF
10	Tarja Systä, Ping Yu, Hausi A. Müller	Analyzing Java Software by Combining Metrics and Program Visualization.	CSMR	2000	DBLP DOI BibTeX RDF
10	John Steven, Pravir Chandra, Bob Fleck, Andy Podgurski	jRapture: A Capture/Replay tool for observation-based testing.	ISSTA	2000	DBLP DOI BibTeX RDF	Java, Java, software testing, capture/replay, observation-based testing, execution profiling
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	Richard B. Kieburtz	Implementing Closed Domain-Specific Languages.	SAIG	2000	DBLP DOI BibTeX RDF
10	Boris Bokowski, Markus Dahm	Poor Man's Genericity for Java.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF
10	Martín Abadi	Protection in Programming-Language Translations: Mobile Object Systems (Abstract).	ECOOP Workshops	1998	DBLP DOI BibTeX RDF