Search results for "Byte-code"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
67	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
65	Iain Bate, Guillem Bernat, G. Murphy, Peter P. Puschner	Low-level analysis of a portable Java byte code WCET analysis framework.	RTCSA	2000	DBLP DOI BibTeX RDF	low-level analysis, portable Java byte code, machine-independent program flow analysis, machine-dependent timing analysis, worst-case execution frequencies, platform-dependent information, processor pipeline, platform-independent approach, Java, timing, software performance evaluation, pipeline processing, software portability, program diagnostics, worst-case execution time analysis, program constructs
63	Arno Puder	Byte Code Transformations using XSL Stylesheets.	SNPD	2008	DBLP DOI BibTeX RDF
60	Ruben Alexandersson, D. Krishna Chaitanya, Peter Öhman, Yasir Siraj	A Technique for Fault Tolerance Assessment of COTS Based Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
57	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
56	J. Shane Culpepper, Alistair Moffat	Enhanced Byte Codes with Restricted Prefix Properties.	SPIRE	2005	DBLP DOI BibTeX RDF
56	S. Tucker Taft	Programming the Internet in Ada 95.	Ada-Europe	1996	DBLP DOI BibTeX RDF
54	Arno Puder, Sascha Häberling, Rainer Todtenhoefer	An MDA Approach to Byte Code Level Cross-Compilation.	SNPD	2008	DBLP DOI BibTeX RDF
48	Andrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann	Compiling Java to a Typed Lambda-Calculus: A Preliminary Report.	Types in Compilation	1998	DBLP DOI BibTeX RDF
47	Misko Hevery	Testability explorer: using byte-code analysis to engineer lasting social changes in an organization's software development process.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	byte-code analysis, refactoring, unit testing, testability, social engineering
46	Ludovic Casset, Lilian Burdy, Antoine Requet	Formal Development of an Embedded Verifier for Java Card Byte Code.	DSN	2002	DBLP DOI BibTeX RDF
45	Danny Dubé, Marc Feeley	BIT: A Very Compact Scheme System for Microcontrollers.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	Scheme language, byte-code, embedded system, microcontroller, real-time garbage collection
45	Vincent Balat, Olivier Danvy	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
43	Laurent Deruelle, Nordine Melab, Mourad Bouneffa, Henri Basson	Analysis and Manipulation of Distributed Multi-Language Software Code.	SCAM	2001	DBLP DOI BibTeX RDF	Byte-code, Profiling, Source code analysis, Change Propagation, Decompiling
42	Eryk Laskowski, Richard Olejnik, Bernard Toursel, Marek Tudruj	Scheduling Byte Code-Defined Data Dependence Graphs of Object Oriented Programs.	PARELEC	2004	DBLP DOI BibTeX RDF
42	Morten Rhiger	Compiling Embedded Programs to Byte Code.	PADL	2002	DBLP DOI BibTeX RDF	domain-specific language, Just-in-time compilation, embedded language, OCaml
42	Joachim Posegga, Harald Vogt	Byte Code Verification for Java Smart Card Based on Model Checking.	ESORICS	1998	DBLP DOI BibTeX RDF
41	Stefan Paal, Reiner Kammüller, Bernd Freisleben	Java Class Deployment Using Class Collections.	NetObjectDays	2002	DBLP DOI BibTeX RDF
38	Praveen Sivadasan, P. Sojan Lal, Naveen Sivadasan	JDATATRANS for array obfuscation in Java source codes to defeat reverse engineering from decompiled codes.	Bangalore Compute Conf.	2009	DBLP DOI BibTeX RDF	restructured arrays, source code obfuscation, reverse engineering
36	Ryan M. Golbeck, Gregor Kiczales	A machine code model for efficient advice dispatch.	VMIL	2007	DBLP DOI BibTeX RDF	aspect-oriented programming, AspectJ
36	Guillem Bernat, Alan Burns 0001, Andy J. Wellings	Portable worst-case execution time analysis using Java Byte Code.	ECRTS	2000	DBLP DOI BibTeX RDF
35	Morris Matsa, Eric Perkins, Abraham Heifets, Margaret Gaitatzes Kostoulas, Daniel Silva 0001, Noah Mendelsohn, Michelle Leger	A high-performance interpretive approach to schema-directed parsing.	WWW	2007	DBLP DOI BibTeX RDF	XML, performance, compiler, interpreter, parsing, schema
35	J. Shane Culpepper, Alistair Moffat	Phrase-Based Pattern Matching in Compressed Text.	SPIRE	2006	DBLP DOI BibTeX RDF
32	Andrew Begel, Steven McCanne, Susan L. Graham	BPF+: Exploiting Global Data-Flow Optimization in a Generalized Packet Filter Architecture.	SIGCOMM	1999	DBLP DOI BibTeX RDF
32	Eryk Laskowski, Marek Tudruj, Richard Olejnik, Bernard Toursel	Java Byte Code Scheduling Based on the Most-Often-Used-Paths in Programs with Branches.	ISPDC	2005	DBLP DOI BibTeX RDF
32	Hideaki Yanagisawa, Minoru Uehara, Hideki Mori	Development Methodology of ASIP Based on Java Byte Code Using HW/SW Co-Design System for Processor Design.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF	HW/SW Codesign system, C-DASH, ASIP, Java processor, ISA
27	Patrick Klinkoff, Engin Kirda, Christopher Kruegel, Giovanni Vigna	Extending .NET security to unmanaged code.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	NET Security, Unmanaged Code, Sandboxing
27	Patrick Klinkoff, Christopher Krügel, Engin Kirda, Giovanni Vigna	Extending .NET Security to Unmanaged Code.	ISC	2006	DBLP DOI BibTeX RDF
26	Matthias Jacob, Mariusz H. Jakubowski, Prasad Naldurg, Chit Wei Saw, Ramarathnam Venkatesan	The Superdiversifier: Peephole Individualization for Software Protection.	IWSEC	2008	DBLP DOI BibTeX RDF
26	Ludovic Casset, Jean-Louis Lanet	Increasing smart card dependability.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
25	Xin Hui Li, Tiancheng Liu, Ying Li 0012, Ying Chen 0004	SPIN: Service Performance Isolation Infrastructure in Multi-tenancy Environment.	ICSOC	2008	DBLP DOI BibTeX RDF	resource accounting and management, byte code instrumentation, performance monitoring, Multi-tenancy
25	Hendra Saputra, Guangyu Chen, Richard R. Brooks, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin	Code protection for resource-constrained embedded devices.	LCTES	2004	DBLP DOI BibTeX RDF	Java security, java byte code, mono-alphabetic, poly-alphabetic, cryptography, substitution
25	Hoi Y. Chan, Trieu C. Chieu	An approach and tools to automate externalization of application logic.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	byte code, code generation, automate, rules, aspect, externalization, rule engine, business logic
25	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
25	R. L. Engelbrecht, Derrick G. Kourie	Issues in Translating Smalltalk into Java.	CC	1998	DBLP DOI BibTeX RDF	Java byte code, instance methods, class methods, Java, object oriented programming, reflection, translation, Smalltalk
24	Torsten Illmann, Tilman Krueger, Frank Kargl, Michael Weber 0001	Transparent Migration of Mobile Agents Using the Java Platform Debugger Architecture.	Mobile Agents	2001	DBLP DOI BibTeX RDF
24	Ian Welch, Robert J. Stroud	From Dalang to Kava - The Evolution of a Reflective Java Extension.	Reflection	1999	DBLP DOI BibTeX RDF
24	Luca Cardelli	The Amber Machine.	Combinators and Functional Programming Languages	1985	DBLP DOI BibTeX RDF
23	J. A. Mathew, A. J. Silis, Kenneth A. Hawick	Inter-Server Transport Performance of Java Bytecode in a Metacomputing Environment.	TOOLS (28)	1998	DBLP DOI BibTeX RDF
22	Robert Macketanz, Wolfgang Karl	JVX - A Rapid Prototyping System Based on Java and FPGAs.	FPL	1998	DBLP DOI BibTeX RDF
22	Muhammad Amin, Tamleek Ali Tanveer, Mohammad Tehseen, Murad Khan, Fakhri Alam Khan, Sajid Anwar	Static malware detection and attribution in android byte-code through an end-to-end deep system.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
22	Yuxi Xie, Hanbo Deng, Lizhi Peng, Zhenxiang Chen	Accurate Identification of Internet Video Traffic Using Byte Code Distribution Features.	ICA3PP (1)	2018	DBLP DOI BibTeX RDF
22	Jierui Liu, Tianyong Wu, Xi Deng, Jun Yan 0009, Jian Zhang 0001	InsDal: A safe and extensible instrumentation tool on Dalvik byte-code for Android applications.	SANER	2017	DBLP DOI BibTeX RDF
22	Alexandru Trifan, Marilena Anghelus, Rodica Constantinescu	Natural language processing model compiling natural language into byte code.	SpeD	2017	DBLP DOI BibTeX RDF
22	Mads Ohm Larsen	Algebraic Transformation of Descriptive Vector Byte-code Sequences.	Middleware Doctoral Symposium	2016	DBLP DOI BibTeX RDF
22	Mohammed Amine Kasmi, Mostafa Azizi, Jean-Louis Lanet	Side channel analysis techniques towards a methodology for reverse engineering of Java Card byte-code.	IAS	2015	DBLP DOI BibTeX RDF
22	Tsuyoshi Fujiwara, Osamu Mizuno, Pattara Leelaprute	Fault-Prone Byte-Code Detection Using Text Classifier.	PROFES	2015	DBLP DOI BibTeX RDF
22	Junxian Zhang, Zhoujun Li 0001, Xianchen Zheng	PathWalker: A Dynamic Symbolic Execution Tool Based on LLVM Byte Code Instrumentation.	SETTA	2015	DBLP DOI BibTeX RDF
22	Achkar Amine, Mohammed Benattou, Jean-Louis Lanet	Generating control flow graph from Java card byte code.	CIST	2014	DBLP DOI BibTeX RDF
22	Reinhard Berlach, Michael Lackner, Christian Steger, Johannes Loinig, Ernst Haselsteiner	Memory-efficient on-card byte code verification for Java cards.	CS2@HiPEAC	2014	DBLP DOI BibTeX RDF
22	Kamil Jezek, Lukas Holy, Antonin Slezacek, Premek Brada	Software Components Compatibility Verification Based on Static Byte-Code Analysis.	EUROMICRO-SEAA	2013	DBLP DOI BibTeX RDF
22	Andrea Calvagna, Emiliano Tramontana	Combinatorial Validation Testing of Java Card Byte Code Verifiers.	WETICE	2013	DBLP DOI BibTeX RDF
22	Benedikt Meurer	Just-In-Time compilation of OCaml byte-code	CoRR	2010	DBLP BibTeX RDF
22	Arno Puder, Sascha Häberling	Byte code level cross-compilation for developing web applications.	Sci. Comput. Program.	2009	DBLP DOI BibTeX RDF
22	Rasmus Andersen, Brian Vinter	The Scientific Byte Code Virtual Machine.	GCA	2008	DBLP BibTeX RDF
22	Michael Leuschel	Towards Demonstrably Correct Compilation of Java Byte Code.	FMCO	2008	DBLP DOI BibTeX RDF
22	Eryk Laskowski, Marek Tudruj, Richard Olejnik, Bernard Toursel	Byte-code scheduling of Java programs with branches for desktop grid.	Future Gener. Comput. Syst.	2007	DBLP DOI BibTeX RDF
22	Carl J. De Pasquale	Collecting Java Performance Measurements Using Byte Code Engineering.	Int. CMG Conference	2004	DBLP BibTeX RDF
22	Lilian Burdy, Ludovic Casset, Antoine Requet	Développement formel d'un vérifieur embarqué de byte-code Java.	Tech. Sci. Informatiques	2003	DBLP DOI BibTeX RDF
22	Ian Welch, Robert J. Stroud	Kava - Using Byte code Rewriting to add Behavioural Reflection to Java.	COOTS	2001	DBLP BibTeX RDF
22	Eetu Ojanen, Jari Veijalainen	Compressibility of WML and WMLScript Byte Code: Initial Results.	RIDE	2000	DBLP DOI BibTeX RDF
22	Markus Dahm	Byte Code Engineering.	Java-Informations-Tage	1999	DBLP DOI BibTeX RDF
22	J Strother Moore	Proving Theorems About Java-Like Byte Code.	Correct System Design	1999	DBLP DOI BibTeX RDF
22	Brad Harvey, James A. Foster, Deborah A. Frincke	Towards Byte Code Genetic Programming.	GECCO	1999	DBLP BibTeX RDF
22	Guido Masera, Gianluca Piccinini, Massimo Ruo Roch, Maurizio Zamboni	A Quantitative Approach to the Design of an Optimized Hardware Interpreter for Java Byte-Code.	Applied Informatics	1999	DBLP BibTeX RDF
22	Brad Balfour	Combining Ada 95, Java Byte Code, and the Distributed Systems Annex.	TRI-Ada	1997	DBLP DOI BibTeX RDF	Java, Ada
22	Lloyd B. Anderson	Multilingual Text Processing in a Two-Byte Code.	COLING	1984	DBLP BibTeX RDF
20	Pietu Pohjalainen, Juha Taina	Self-configuring object-to-relational mapping queries.	PPPJ	2008	DBLP DOI BibTeX RDF	object-to-relational mapping, persistence, software maintainability
20	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider	Certified Memory Usage Analysis.	FM	2005	DBLP DOI BibTeX RDF	certified memory analysis, Program analysis, theorem proving, constraint solving
20	Eryk Laskowski, Marek Tudruj, Richard Olejnik, Bernard Toursel	Java Programs Optimization Based on the Most-Often-Used-Paths Approach.	PPAM	2005	DBLP DOI BibTeX RDF
20	Graham N. C. Kirby	Session 1: Overview.	POS	2000	DBLP DOI BibTeX RDF
20	Austin Kim, J. Morris Chang	Java Bytecode Optimization with Advanced Instruction Folding Mechanism.	ISHPC	2000	DBLP DOI BibTeX RDF
19	Fubo Zhang, Erik H. D'Hollander	Using Hammock Graphs to Structure Programs.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	optimization, parallel processing, compilers, Program transformation, structured programming, correctness proofs, software/program verification
19	YoungHan Choi, TaeGhyoon Kim, Seokjin Choi, Cheolwon Lee	Automatic Detection for JavaScript Obfuscation Attacks in Web Pages through String Pattern Analysis.	FGIT	2009	DBLP DOI BibTeX RDF
19	Lei Yang, Jian-Yun Shang, Yan-Ping Zhao	An Efficient Dictionary Mechanism Based on Double-Byte.	ICADL	2007	DBLP DOI BibTeX RDF	Double-Byte, multi-language, Information Retrieve, Dictionary
19	Hoonmo Yang, Moonkey Lee	Design of a Cycle-Accurate User-Retargetable Instruction-Set Simulator Using Process-Based Scheduling Scheme.	CIS	2004	DBLP DOI BibTeX RDF
18	M. Muztaba Fuad, Michael J. Oudshoorn	Transformation of Existing Programs into Autonomic and Self-healing Entities.	ECBS	2007	DBLP DOI BibTeX RDF
18	Rajiv A. Ravindran, Pracheeti D. Nagarkar, Ganesh S. Dasika, Eric D. Marsman, Robert M. Senger, Scott A. Mahlke, Richard B. Brown	Compiler Managed Dynamic Instruction Placement in a Low-Power Code Cache.	CGO	2005	DBLP DOI BibTeX RDF
18	Konstantin Hyppönen, David Naccache, Elena Trichina, Alexei Tchoulkine	Trading-Off Type-Inference Memory Complexity against Communication.	ICICS	2003	DBLP DOI BibTeX RDF
18	Nils Maltesson, David Naccache, Elena Trichina, Christophe Tymen	Applet Verification Strategiesfor RAM-Constrained Devices.	ICISC	2002	DBLP DOI BibTeX RDF
18	Ramesh Radhakrishnan, Ravi Bhargava, Lizy Kurian John	Improving Java performance using hardware translation.	ICS	2001	DBLP DOI BibTeX RDF
18	Ian Welch, Robert J. Stroud	Using Reflection as a Mechanism for Enforcing Security Policies in Mobile Code.	ESORICS	2000	DBLP DOI BibTeX RDF
16	Daniel A. Sadilek	Energy-aware compilation for wireless sensor networks.	MidSens	2007	DBLP DOI BibTeX RDF	wireless sensor networks, compilation, virtual machines, high-level languages, energy-awareness, network reprogramming
16	Robert Dyer 0001, Harish Narayanappa, Hridesh Rajan	Nu: preserving design modularity in object code.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
16	Roberto Costa, Erven Rohou	Comparing the size of .NET applications with native code.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	managed environments, NET, bytecode, code size
16	Bálint Molnár, Imre Berényi, Bence Siklósi	Function Call Trap of Java Codes with the Help of AspectJ and XML.	CSMR	2002	DBLP DOI BibTeX RDF
16	Olivier Danvy, Bernd Grobauer, Morten Rhiger	A Unifying Approach to Goal-Directed Evaluation.	SAIG	2001	DBLP DOI BibTeX RDF
16	A. C. Norman	Compact Delivery Support for REDUCE.	DISCO	1993	DBLP DOI BibTeX RDF
14	Henrique Rebêlo, Ricardo Massa Ferreira Lima, Márcio Cornélio, Sérgio Soares	A JML Compiler Based on AspectJ.	ICST	2008	DBLP DOI BibTeX RDF	JML compiler, Aspect-Oriented Programming, AspectJ, Design by Contract, JML language
14	Frank Dévai, Mizanur Rahman	The Suitability of the Java Language for Computer-Graphics and Visualisation Research.	IV	2002	DBLP DOI BibTeX RDF
14	David Naccache, Alexei Tchoulkine, Christophe Tymen, Elena Trichina	Reducing the Memory Complexity of Type-Inference Algorithms.	ICICS	2002	DBLP DOI BibTeX RDF
14	Mark R. Swanson, Robert R. Kessler, Gary Lindstrom	An Implementation of Portable Standard LISP on the BBN Butterfly.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF	LISP
12	Martin Plümicke	Intersection types in Java.	PPPJ	2008	DBLP DOI BibTeX RDF	program design and implementation, code generation, type system, type inference, language design
12	Francesco Logozzo, Manuel Fähndrich	Pentagons: a weakly relational abstract domain for the efficient validation of array accesses.	SAC	2008	DBLP DOI BibTeX RDF	NET framework, bounds checking, numerical domains, static analysis, abstract interpretation, abstract domains
12	Norm Rubin	Issues and challenges in compiling for graphics processors.	CGO	2008	DBLP DOI BibTeX RDF	compilers, graphics
12	Jens Dietrich 0001, Vyacheslav Yakovlev, Catherine McCartin, Graham Jenson, Manfred Duchrow	Cluster analysis of Java dependency graphs.	SOFTVIS	2008	DBLP DOI BibTeX RDF	anti-pattern detection, refactoring, cluster analysis, dependency analysis
12	Ting-Wei Hou, Fuh-Gwo Chen	An anomaly in an interpreter using GCC source-code-level register allocation.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	GCC source-code-level register allocation, performance, interpreter
12	Carsten Gremzow	Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design.	SCSC	2007	DBLP BibTeX RDF	hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM
12	Arnoldo José Müller Molina, Takeshi Shinohara	On approximate matching of programs for protecting libre software.	CASCON	2006	DBLP DOI BibTeX RDF
12	Freeman Yufei Huang, C. Barry Jay, David B. Skillicorn	Adaptiveness in well-typed Java bytecode verification.	CASCON	2006	DBLP DOI BibTeX RDF