Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	Xian-He Sun, Mario Pantano, Thomas Fahringer	Integrated Range Comparison for Data-Parallel Compilation Systems.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Performance evaluation, parallel compiler, software systems, scalable computing
29	Pak K. Chan, Mark J. Boyd, Sezer Gören 0001, K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, Katsuharu Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu	Reducing Compilation Time of Zhong's FPGA-Based SAT Solver.	FCCM	1999	DBLP DOI BibTeX RDF
29	Zhong Shao	Typed Cross-Module Compilation.	ICFP	1998	DBLP DOI BibTeX RDF
29	Olivier Roussel, Philippe Mathieu	Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.	CADE	1997	DBLP DOI BibTeX RDF
29	Andrew W. Appel, David B. MacQueen	Separate Compilation for Standard ML.	PLDI	1994	DBLP DOI BibTeX RDF	ML
29	Pascal Fradet, Daniel Le Métayer	Compilation of Functional Languages by Program Transformation.	ACM Trans. Program. Lang. Syst.	1991	DBLP DOI BibTeX RDF	program transformation, continuations, combinators
29	Hans-Günther Hein, Manfred Meyer	A WAM Compilation Scheme.	RCLP	1991	DBLP DOI BibTeX RDF
29	Nikil D. Dutt, Daniel D. Gajski	Design Synthesis and Silicon Compilation.	IEEE Des. Test Comput.	1990	DBLP DOI BibTeX RDF
29	Andres Rudmik, Barbara G. Moore	An Efficient Separate Compilation Strategy for Very Large Programs.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	CCS, CHILL
29	Leonidas J. Guibas, Douglas K. Wyatt	Compilation and Delayed Evaluation in APL.	POPL	1978	DBLP DOI BibTeX RDF
29	Laurence Rideau, Bernard P. Serpette, Xavier Leroy	Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Parallel move, Parallel assignment, The Coq proof assistant, Compilation, Compiler correctness
29	Koen De Bosschere, Wayne Luk, Xavier Martorell, Nacho Navarro, Michael F. P. O'Boyle, Dionisios N. Pnevmatikatos, Alex Ramírez, Pascal Sainrat, André Seznec, Per Stenström, Olivier Temam	High-Performance Embedded Architecture and Compilation Roadmap.	Trans. High Perform. Embed. Archit. Compil.	2007	DBLP DOI BibTeX RDF	HiPEAC, single core architecture, programming models and tools, simulation and system modelling, real-time systems, compilation, interconnection networks, benchmarking, reconfigurable computing, run-time systems, multi-core architecture, roadmap
29	Dries Buytaert, Andy Georges, Michael Hind, Matthew Arnold, Lieven Eeckhout, Koen De Bosschere	Using hpm-sampling to drive dynamic compilation.	OOPSLA	2007	DBLP DOI BibTeX RDF	java, profiling, just-in-time compilation, hardware performance monitors
29	Karl Lermer, Colin J. Fidge	Procedure compilation in the refinement calculus.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Program compilation, Procedures, Predicate transformers, Program refinement
29	Ozcan Ozturk 0001, Guangyu Chen, Mahmut T. Kandemir	Multi-compilation: capturing interactions among concurrently-executing applications.	Conf. Computing Frontiers	2006	DBLP DOI BibTeX RDF	multi-compilation, compiler, chip multiprocessor
29	Klaus Schneider 0001, Jens Brandt 0001, Eric Vecchié	Modular Compilation of Synchronous Programs.	DIPES	2006	DBLP DOI BibTeX RDF	modular compilation, synchronous languages
29	Kyungwoo Lee, Samuel P. Midkiff	A two-phase escape analysis for parallel java programs.	PACT	2006	DBLP DOI BibTeX RDF	compilation models, java, memory models, consistency models, escape analysis
29	Rajeev Kumar 0004, Amit Gupta, B. S. Pankaj, Mrinmoy Ghosh, P. P. Chakrabarti 0001	Post-compilation optimization for multiple gains with pattern matching.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	instruction set FSM, peephole optimization, post-compilation optimization, pattern matching
29	Tim Todman, José Gabriel F. Coutinho, Wayne Luk	Customisable Hardware Compilation.	J. Supercomput.	2005	DBLP DOI BibTeX RDF	pipelining, high-level design, hardware compilation
29	Roman L. Lysecky, Frank Vahid, Sheldon X.-D. Tan	A Study of the Scalability of On-Chip Routing for Just-in-Time FPGA Compilation.	FCCM	2005	DBLP DOI BibTeX RDF	standard hardware binary, FPGA, dynamic optimization, system-on-a-chip, platforms, codesign, hardware/software partitioning, configurable logic, Place and route, warp processors, just-in-time (JIT) compilation
29	Thomas Kotzmann, Hanspeter Mössenböck	Escape analysis in the context of dynamic compilation and deoptimization.	VEE	2005	DBLP DOI BibTeX RDF	deoptimization, scalar replacement, stack allocation, synchronization removal, Java, optimization, just-in-time compilation, escape analysis
29	José F. Morales 0001, Manuel Carro, Manuel V. Hermenegildo	Improved Compilation of Prolog to C Using Moded Types and Determinism Information.	PADL	2004	DBLP DOI BibTeX RDF	Prolog, C, optimizing compilation, global analysis
29	Mourad Debbabi, Abdelouahed Gherbi, Lamia Ketari, Chamseddine Talhi, Hamdi Yahyaoui, Sami Zhioua	a synergy between efficient interpretation and fast selective dynamic compilation for the acceleration of embedded Java virtual machines.	PPPJ	2004	DBLP DOI BibTeX RDF	J2ME/CLDC, selective dynamic compilation, threaded interpretation, Java, performance, embedded systems, virtual machine, acceleration, code reuse, KVM
29	Xavier Rival	Symbolic transfer function-based approaches to certified compilation.	POPL	2004	DBLP DOI BibTeX RDF	compilation, static analysis, abstract interpretation, certification, translation validation
29	Zhao-Hui Du, Chu-Cheow Lim, Xiao-Feng Li, Chen Yang, Qingyu Zhao, Tin-Fook Ngai	A cost-driven compilation framework for speculative parallelization of sequential programs.	PLDI	2004	DBLP DOI BibTeX RDF	cost-driven compilation, speculative parallel threading, loop transformation, thread-level speculation, speculative multithreading, speculative parallelization
29	Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng	Typed compilation of recursive datatypes.	TLDI	2003	DBLP DOI BibTeX RDF	typed compilation, standard ML, recursive types, coercions
29	Tom Hirschowitz, Xavier Leroy, J. B. Wells	Compilation of extended recursion in call-by-value functional languages.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, semantics, recursion, functional languages
29	Guilan Dai, Jinlan Tian, Suqing Zhang, Weidu Jiang, Jun Dai	Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr.	ACM SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	compiler infrastructures, zephyr, intermediate representations, GCC, machine descriptions, cross compilation
29	Hendra Saputra, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Jie S. Hu, Chung-Hsing Hsu, Ulrich Kremer	Energy-conscious compilation based on voltage scaling.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	energy-aware compilation, optimizing compilers, voltage scaling, loop transformations
29	Dominique Boucher, Marc Feeley	Abstract Compilation: A New Implementation Paradigm for Static Analysis.	CC	1996	DBLP DOI BibTeX RDF	compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis
29	Olivier Roussel, Philippe Mathieu	A New Method for Knowledge Compilation: The Achievement by Cycle Search.	CADE	1996	DBLP DOI BibTeX RDF	expert systems, resolution, knowledge compilation
29	Michael L. Scott, Raphael A. Finkel	A Simple Mechanism for Type Security Across Compilation Units.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	type security, compilation units, structural-type clashes, symbol-table name, ordinary linker, message types, data structures, data structures, compilers, hash function, program compilers, distributed programs, run-time checking
23	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
23	Roland Ducournau, Floréal Morandat, Jean Privat	Empirical assessment of object-oriented implementations with multiple inheritance and static typing.	OOPSLA	2009	DBLP DOI BibTeX RDF	binary tree dispatch, downcast, method tables, multiple subtyping, open-world assumption, single inheritance, subtype test, virtual function table, interfaces, coloring, multiple inheritance, perfect hashing, closed-world assumption, type analysis, late binding, dynamic loading
23	Pingjing Lu, Yonggang Che, Zhenghua Wang	A Framework for Effective Memory Optimization of High Performance Computing Applications.	HPCC	2009	DBLP DOI BibTeX RDF
23	Paolo Bonzini, Giovanni Ansaloni, Laura Pozzi	Compiling custom instructions onto expression-grained reconfigurable architectures.	CASES	2008	DBLP DOI BibTeX RDF	horizontal microprogramming, compilers, instruction set extensions, coarse-grained reconfigurable architectures, data-flow architectures
23	Florent Bouchez, Alain Darte, Fabrice Rastello	On the complexity of spill everywhere under SSA form.	LCTES	2007	DBLP DOI BibTeX RDF	spill, complexity, register allocation, SSA form
23	Michael Ward, Neil C. Audsley	A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis.	RTCSA	2007	DBLP DOI BibTeX RDF
23	Sandya Mannarswamy, Shruti Doval, Hariharan Sandanagobalane, Mahesha Nanjundaiah	TRICK: tracking and reusing compiler's knowledge.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF	optimization, compiler, reuse, program analysis, tools
23	Lingli Zhang, Chandra Krintz	The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices.	ACM Trans. Archit. Code Optim.	2005	DBLP DOI BibTeX RDF	Code unloading, JVM, code-size reduction, JIT, resource-constrained devices
23	Charles Consel, Fabien Latry, Laurent Réveillère, Pierre Cointe	A Generative Programming Approach to Developing DSL Compilers.	GPCE	2005	DBLP DOI BibTeX RDF
23	Chunhong Chen, Majid Sarrafzadeh	Power-Manageable Scheduling Technique for Control Dominated High-Level Synthesis.	DATE	2002	DBLP DOI BibTeX RDF
23	Jeonghun Cho, Jinhwan Kim, Yunheung Paek	A Study on Data Allocation of On-Chip Dual Memory Banks.	Interaction between Compilers and Computer Architectures	2002	DBLP DOI BibTeX RDF
23	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
23	Samuel Z. Guyer, Calvin Lin	Optimizing the Use of High Performance Software Libraries.	LCPC	2000	DBLP DOI BibTeX RDF
23	Inki Hong, Miodrag Potkonjak, Ramesh Karri	Power optimization using divide-and-conquer techniques for minimization of the number of operations.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF	code generation, transformations
23	Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek	'C and tcc: A Language and Compiler for Dynamic Code Generation.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	ANSI C, dynamic code optimization, compilers, dynamic code generation
23	Peter Thiemann 0001	Higher-Order Code Splicing.	ESOP	1999	DBLP DOI BibTeX RDF
23	Cristina Cifuentes	An Environment for the Reverse Engineering of Executable Programs.	APSEC	1995	DBLP DOI BibTeX RDF	reverse compiler, i80286, reverse engineering, signatures, C language, disassembler, dos
23	David R. Barach, David H. Taenzer	A Technique for Finding Storage Allocation Errors in C-language Programs.	ACM SIGPLAN Notices	1982	DBLP DOI BibTeX RDF
23	C. A. Johnson	Computing Only Minimal Answers in Disjunctive Deductive Databases.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Disjunctive deductive databases, Minimal answers, Perfect models, Disjunctive stable models, Cyclic sets, Strong covers, Database pre-processing, Compilation
23	Efe Yardimci, Michael Franz	Mostly static program partitioning of binary executables.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Continuous compilation and optimization, dynamic parallelization, binary translation
23	Hugh Leather, Michael F. P. O'Boyle, Bruce Worton	Raced profiles: efficient selection of competing compiler optimizations.	LCTES	2009	DBLP DOI BibTeX RDF	statistics, iterative compilation
23	Satoshi Sato	Crawling English-Japanese person-name transliterations from the web.	WWW	2009	DBLP DOI BibTeX RDF	automatic lexicon compilation, mining transliteration pairs, person name
23	Jurriaan Hage, Peter van Keeken	Neon: A Library for Language Usage Analysis.	SLE	2008	DBLP DOI BibTeX RDF	tools for language usage analysis, compilation loggings, functional programming, system description
23	Amal Ahmed 0001, Matthias Blume	Typed closure conversion preserves observational equivalence.	ICFP	2008	DBLP DOI BibTeX RDF	equivalence-preserving compilation, typed closure conversion, full abstraction, step-indexed logical relations
23	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
23	Calle Lejdfors, Lennart Ohlsson	Implementing an embedded GPU language by combining translation and generation.	SAC	2006	DBLP DOI BibTeX RDF	generative techniques, image processing, compilation, GPU, dynamic languages
23	Won So, Alexander G. Dean	Reaching fast code faster: using modeling for efficient software thread integration on a VLIW DSP.	CASES	2006	DBLP DOI BibTeX RDF	TI C6000, static profitability estimation, DSP, software pipelining, VLIW, iterative compilation, software thread integration
23	Nathan Clark, Amir Hormati, Scott A. Mahlke, Sami Yehia	Scalable subgraph mapping for acyclic computation accelerators.	CASES	2006	DBLP DOI BibTeX RDF	compilation, embedded processors
23	Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam	Compiler-directed high-level energy estimation and optimization.	ACM Trans. Embed. Comput. Syst.	2005	DBLP DOI BibTeX RDF	Energy-Aware Compilation (EAC), mobile devices
23	Prasad A. Kulkarni, Wankang Zhao, Hwashin Moon, Kyunghwan Cho, David B. Whalley, Jack W. Davidson, Mark W. Bailey, Yunheung Paek, Kyle A. Gallivan	Finding effective optimization phase sequences.	LCTES	2003	DBLP DOI BibTeX RDF	interactive compilation, genetic algorithms, phase ordering
23	Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer	An integer linear programming based approach for parallelizing applications in On-chip multiprocessors.	DAC	2002	DBLP DOI BibTeX RDF	constraint-based compilation, embedded systems, loop-Level parallelism
23	Iffat H. Kazi, Howard H. Chen, Berdenia Stanley, David J. Lilja	Techniques for obtaining high performance in Java programs.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	bytecode-to-source translators, direct compilers, Java, Java, interpreters, Java virtual machine, just-in-time compilers, dynamic compilation
23	Matthias Blume	Dependency analysis for Standard ML.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	compilation management, NP-completeness, dependency analysis
23	Matthias Blume, Andrew W. Appel	Hierarchical modularity.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	compilation management, name visibility, modularity, modules, linking, program structure
23	Michel Ferreira, Luís Damas	Multiple Specialization of WAM Code.	PADL	1999	DBLP DOI BibTeX RDF	Prolog Compilation, Code Specialization, Program Analysis
23	Pierre-Etienne Moreau, Hélène Kirchner	A Compiler for Rewrite Programs in Associative-Commutative Theories.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	AC theories, AC many-to-one matching, compilation, rewrite systems
23	Michael Karasick	The Architecture of Montana: An Open and Extensible Programming Environment with an Incremental C++.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	conpilation, incremental development environments, C++, C++, frameworks, programming environments, extensible systems, incremental compilation
23	Albert Benveniste, Paul Le Guernic, Pascal Aubry	Compositionality in Dataflow Synchronous Languages: Specification and Code Generation.	COMPOS	1997	DBLP DOI BibTeX RDF	desynchronisation, modularity, code generation, synchronous languages, separate compilation
23	Li Cheng, Dingxing Wang, Meiming Shen, Weimin Zheng, Peng Shanling	The Compiler for Supporting Multithreading in Cyclic Register Windows.	ISPAN	1996	DBLP DOI BibTeX RDF	pipeline, Multithreading, compilation optimization, register allocation, multicomputers
23	Tim Collins, James C. Browne	MaTRiX++: an object-oriented environment for parallel high-performance matrix computations.	HICSS (2)	1995	DBLP DOI BibTeX RDF	MaTRiX+/sup +/, object-oriented environment, parallel high-performance matrix computations, hierarchical matrix algebra, recursive implementations, compilation model, distributed-memory parallel supercomputers, computation distribution, data-driven single-program, multiple-data processor programs, parallel programming, object-oriented programming, programming environments, rapid prototyping, object-oriented languages, matrix algebra, software prototyping, efficient implementations, language extensions, abstraction level, mathematics computing, parallelising compilers, hierarchical data, language interface
23	Björn Franke, Michael F. P. O'Boyle, John Thomson, Grigori Fursin	Probabilistic source-level optimisation of embedded programs.	LCTES	2005	DBLP DOI BibTeX RDF	source-level optimization, digital signal processing, iterative compilation, adaptive compilation, feedback-directed optimization
23	John Aycock	A brief history of just-in-time.	ACM Comput. Surv.	2003	DBLP DOI BibTeX RDF	Just-in-time compilation, dynamic compilation
23	Giuliano Antoniol, Roberto Fiutem, Ettore Merlo, Paolo Tonella	Application and user interface migration from BASIC to Visual C++.	ICSM	1995	DBLP DOI BibTeX RDF	BASIC PC legacy code reengineering, automatic migration, BASIC character oriented user interface, event driven C code compilation, event driven C++ code compilation, abstract graphical objects, call-backs, code translation, graphical user interfaces, software maintenance, software maintenance, visual languages, visual languages, translator, program compilers, program compilers, object-oriented languages, object-oriented languages, systems re-engineering, systems re-engineering, C language, C language, program interpreters, program interpreters, graphical systems, user interface migration, BASIC, BASIC, BASIC, GUI builder, application migration, Visual C++
23	Jeffrey L. DeVeber	Letters to the editor: correction's to Stone's compiler procedures.	Commun. ACM	1968	DBLP DOI BibTeX RDF	one-pass compilation, compilation, parallel processor
23	Christoph Wernhard	Tableaux for Projection Computation and Knowledge Compilation.	TABLEAUX	2009	DBLP DOI BibTeX RDF
23	Ioannis G. Baltopoulos, Andrew D. Gordon 0001	Secure compilation of a multi-tier web language.	TLDI	2009	DBLP DOI BibTeX RDF	cryptography, compilers, integrity, type systems, web programming, web application security
23	Alessandro Cimatti, Marco Roveri, Stefano Tonetta	Symbolic Compilation of PSL.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
23	Etienne Bergeron, Marc Feeley, Jean-Pierre David	Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs.	CC	2008	DBLP DOI BibTeX RDF
23	Willem A. van Doesburg, Rosemarijn Looije, Willem A. Melder, Mark A. Neerincx	Face to Face Interaction with an Intelligent Virtual Agent: The Effect on Learning Tactical Picture Compilation.	IVA	2008	DBLP DOI BibTeX RDF
23	Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann	Approximate Compilation of Constraints into Multivalued Decision Diagrams.	CP	2008	DBLP DOI BibTeX RDF
23	Juan Ignacio Perna, Jim Woodcock 0001	A Denotational Semantics for Handel-C Hardware Compilation.	ICFEM	2007	DBLP DOI BibTeX RDF
23	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
23	Weijia Li, Youtao Zhang, Jun Yang 0002, Jiang Zheng 0002	UCC: update-conscious compilation for energy efficiency in wireless sensor networks.	PLDI	2007	DBLP DOI BibTeX RDF	sensor networks, register allocation, code dissemination
23	Animesh Pathak, Luca Mottola, Amol Bakshi, Viktor K. Prasanna, Gian Pietro Picco	A Compilation Framework for Macroprogramming Networked Sensors.	DCOSS	2007	DBLP DOI BibTeX RDF
23	Xiangdong An 0001, Nick Cercone	Iterative Compilation of Multiagent Probabilistic Graphical Models.	IAT	2006	DBLP DOI BibTeX RDF
23	Maurice Pagnucco	Knowledge Compilation for Belief Change.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	belief revision and update, common-sense reasoning, knowledge representation and reasoning
23	Xiaoqi Yang 0003, Qilong Zheng, Guoliang Chen 0001, Zhen Yao	Reverse Compilation for Speculative Parallel Threading.	PDCAT	2006	DBLP DOI BibTeX RDF
23	Roman L. Lysecky, Kris Miller, Frank Vahid, Kees A. Vissers	Firm-core Virtual FPGA for Just-in-Time FPGA Compilation (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
23	Per Andersson, Krzysztof Kuchcinski	Java to Hardware Compilation for non Data Flow Applications.	DSD	2005	DBLP DOI BibTeX RDF
23	Fernanda Kri, Carlos Gómez-Pantoja, Paz Caro	Overview of Metaheuristics Methods in Compilation.	MICAI	2005	DBLP DOI BibTeX RDF	Metaheuristics methods, compiler
23	Seung Woo Son 0001, Guangyu Chen, Mahmut T. Kandemir, Alok N. Choudhary	Dynamic Compilation for Reducing Energy Consumption of I/O-Intensive Applications.	LCPC	2005	DBLP DOI BibTeX RDF
23	R. Clint Whaley, David B. Whalley	Tuning High Performance Kernels through Empirical Compilation.	ICPP	2005	DBLP DOI BibTeX RDF
23	Gilles Barthe, Tamara Rezk, Ando Saabas	Proof Obligations Preserving Compilation.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
23	Ankush Varma, Shuvra S. Bhattacharyya	Java-through-C Compilation: An Enabling Technology for Java in Embedded Systems.	DATE	2004	DBLP DOI BibTeX RDF
23	Francois Labonte, Peter R. Mattson, William Thies, Ian Buck, Christos Kozyrakis, Mark Horowitz	The Stream Virtual Machine.	IEEE PACT	2004	DBLP DOI BibTeX RDF
23	Jong-eun Lee, Kiyoung Choi, Nikil D. Dutt	Compilation Approach for Coarse-Grained Reconfigurable Architectures.	IEEE Des. Test Comput.	2003	DBLP DOI BibTeX RDF
23	Hidehiko Masuhara, Gregor Kiczales, Christopher Dutchyn	A Compilation and Optimization Model for Aspect-Oriented Programs.	CC	2003	DBLP DOI BibTeX RDF
23	Giovanni Lagorio	Towards a Smart Compilation Manager for Java.	ICTCS	2003	DBLP DOI BibTeX RDF