Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Michael Ward, Neil C. Audsley	Hardware implementation of the Ravenscar Ada tasking profile.	CASES	2002	DBLP DOI BibTeX RDF	FPGA, timing, hardware compilation
17	Hongbo Yang, Guang R. Gao, Clement Leung	On achieving balanced power consumption in software pipelined loops.	CASES	2002	DBLP DOI BibTeX RDF	power-aware compilation, instruction level parallelism, software pipelining
17	Victor Delaluz, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Anand Sivasubramaniam, Mary Jane Irwin	Hardware and Software Techniques for Controlling DRAM Power Modes.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	low power compilation, software-directed energy management, low power, Memory architecture
17	Michael Leuschel	Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.	PADL	2001	DBLP DOI BibTeX RDF	Implementation and Compilation, Verification, Concurrency, Specification
17	Gerardo Bandera, Manuel Ujaldon, Emilio L. Zapata	Compile and Run-Time Support for the Parallelization of Sparse Matrix Updating Algorithms.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	data-parallel compilation, pseudo-regular distributions, dynamic data behaviour, semantic bindings, sparse matrix, run-time support
17	Jan-Jan Wu	An Interleaving Transformation for Parallelizing Reductions for Distributed-Memory Parallel Machines.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	triangular systems solver, parallel processing, program transformation, reduction, parallelizing compilation, distributed-memory
17	Antonio Lain, Dhruva R. Chakrabarti, Prithviraj Banerjee	Compiler and Run-Time Support for Exploiting Regularity within Irregular Applications.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	compiler support, runtime compilation, iterative, distributed memory multicomputers, runtime support, Irregular applications
17	Zhong Shao, Andrew W. Appel	Efficient and safe-for-space closure conversion.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	callee-save registers, closure representation, heap-based compilation, space safety, compiler optimization, flow analysis, closure conversion
17	Pedro C. Diniz, Joonseok Park	Automatic Synthesis of Data Storage and Control Structures for FPGA-Based Computing Engines.	FCCM	2000	DBLP DOI BibTeX RDF	FPGA-based reconfigurable computing architectures, data queues, compilation, program analysis
17	Jean-Marc Jézéquel	Reifying Variants in Configuration Management.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	Mecure, SMDS, compilation technology, reifying variants, software configuration management, Eiffel, object-oriented analysis and design
17	Kemal Ebcioglu, Erik R. Altman, Sumedh W. Sathaye, Michael Gschwind	Execution-Based Scheduling for VLIW Architectures.	Euro-Par	1999	DBLP DOI BibTeX RDF	INSTRUCTION-LEVEL PARALLELISM, SUPERSCALAR, BINARY TRANSLATION, DYNAMIC COMPILATION
17	Andreas Koch 0001	Enabling Automatic Module Generation for FCCM Compilers.	FCCM	1999	DBLP DOI BibTeX RDF	FPGA, compilation, framework, synthesis, module generation
17	Clemens Grelck, Sven-Bodo Scholz	Accelerating APL programs with SAC.	APL	1999	DBLP DOI BibTeX RDF	language comparison, runtime performance, compilation, APL, SAC
17	Dimitur Nikolaev Krustev	Software Test Generation Using Refinement Types.	ASE	1999	DBLP DOI BibTeX RDF	refinement types, process graphs, super-compilation, software testing, functional languages, automatic test generation
17	Ian Piumarta, Fabio Riccardi	Optimizing Direct-threaded Code by Selective Inlining.	PLDI	1998	DBLP DOI BibTeX RDF	threaded code, just-in-time compilation, inlining, dynamic translation, bytecode interpretation
17	Sven-Bodo Scholz	On defining application-specific high-level array operations by means of shape-invariant programming facilities.	APL	1998	DBLP DOI BibTeX RDF	high-level array operations, meta-level programming, shape-invariant programming, compilation, performance comparison
17	William L. Harrison, Samuel N. Kamin	Modular Compilers Based on Monad Transformers.	ICCL	1998	DBLP DOI BibTeX RDF	Semantics-Based Compilation, Pass Separation, Compilers, Partial Evaluation, Monads, Programming Language Semantics, Monad Transformers
17	Wilco Van Hoogstraeten, Henk Corporaal	ADVISE: Performance Evaluation of Parallel VHDL Simulation.	Annual Simulation Symposium	1997	DBLP DOI BibTeX RDF	VHDL compilation, VHDL simulation, partitioning, distributed simulation, Optimistic simulation, multiprocessor simulation
17	Sandrine Blazy, Philippe Facon	Application of Formal Methods to the Development of a Software Maintenance Tool.	ASE	1997	DBLP DOI BibTeX RDF	software maintenance tool, scientific application program understanding, Fortran 90 application programs, interprocedural pointer analysis, global definitions, generic programming environment, variable values, already-analysed procedures, variable scope, removed statements, formal specification, information visualization, formal methods, compilation, software maintenance, partial evaluation, inference rules, graphical interface, alias analysis, optimization technique, set operators, relational operators
17	G. N. Srinivasa Prasanna, Bruce R. Musicus	Generalized Multiprocessor Scheduling and Applications to Matrix Computations.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	multiprocessor compilation, parallel processing, task scheduling, multiprocessor scheduling, distributed-memory multiprocessors, DAG scheduling, communication locality
17	Urs Hölzle, David M. Ungar	Reconciling Responsiveness with Performance in Pure Object-Orieted Languages.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	pause clustering, run-time compilation, type feedback, adaptive optimization, profile-based optimization
17	Daniel S. Yeung, Allan K. Y. Wong	Automatic Software Generation in the OORHS Distributed Computing Framework.	ISPAN	1996	DBLP DOI BibTeX RDF	program object, program objects dictionary, object class library, precompiler, local compilation, instantiation
17	Roman Blasko	Simulation based performance prediction by PEPSY.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	simulation based performance prediction, VFCS, Vienna Fortran Compilation System, PEPSY, performance prediction system, monitoring modes, parallel program behavior, monitoring facilities, performance analysis, parallel programming, parallel programs, compiler, virtual machines, software tools, discrete event simulation, discrete-event simulation, performance prediction, software performance evaluation, system monitoring, simulation tool, parallelising compilers, supercompiler
17	Françoise André, Marc Le Fur, Yves Mahéo, Jean-Louis Pazat	Parallelization of a wave propagation application using a data parallel compiler.	IPPS	1995	DBLP DOI BibTeX RDF	wave propagation application, data parallel compiler, PANDORE environment, data distributed applications, compilation schemes, Jacobi kernel, parallelization process, parallel programming, physics, parallel languages, physics computing, workstation clusters, parallelising compilers, wave propagation, distributed memory computers
17	Marius V. A. Hâncu, Kazuhiko Iwasaki, Yuji Sato, Mamoru Sugie	A Concurrent Test Architecture for Massively Parallel Computers and Its Error Detection Capability.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	concurrent test architecture, onlinemonitoring, system level monitoring, run-timetesting, message source address, messagedestination address, block compressed sequence, concurrent instruction compression, computational block, reference image, onlinesystem-level testing, data routing process, packet-switched routing, compilation, probability, multiprocessors, error detection, error detection, parallel machines, data dependences, network routing, signature analysis, control dependences, massively parallel computers, computer testing, aliasing probability, control flow checking
17	Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz, Russell W. Quong, Wayne G. Nation	Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	partitionable SIMD/SPMD machines, compilation process, perfect memory maps, large-scale parallel machines, user-controlled partitionable single-instruction-multipledata/single-program-multiple data, memory fragmentation, memory map size, singleprogram nature, partitionable interconnection networks, parallel programming, parallelism, parallel machines, program compilers, storage management, multiprocessorinterconnection networks
17	PeiZong Lee, Zvi M. Kedem	Mapping Nested Loop Algorithms into Multidimensional Systolic Arrays.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	nested loop algorithms, multidimensional systolic arrays, correct transformation, programmable systolic arrays, general purpose programmable arrays, planar systolic array implementations, three-dimensional cube-graph algorithm, reindexed Warshall-Floyd path-finding algorithm, parallel algorithms, parallel processing, graph theory, matrix multiplication, data dependence, matrix algebra, cellular arrays, sufficient conditions, necessary conditions, algorithm transformations, automatic compilation
17	Douglas R. Smith	KIDS: A Semiautomatic Program Development System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	KIDS, semiautomatic program development system, Kestrel Interactive Development System, deductive inference, finite differencing optimizations, data type refinement, k-queens problem, SUN-4/110, software engineering, formal specifications, compilation, optimisation, partial evaluation, inference mechanisms, algorithm design, program simplification
17	Jeff Magee, Jeff Kramer, Morris Sloman	Constructing Distributed Systems in Conic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	distributed systems construction, Conic environment, language-based approach, operating systems approach, concise configuration description, program components, interconnected logical nodes, incremental change, user-transparent datatype transformation, interconnected computers, base target machines, run-time facilities, distributed processing, programming, programming environments, software components, program compilation, operating systems (computers), high level languages, distributed environment, dynamic configuration, Unix operating system, heterogeneous processors, configuration language
17	Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller	A Software Science Model of Compile Time.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	software science model, Halstead theory of software science, compilation process, compiler performance index, Ada compilers, fundamental relation, program modularity, counting strategy, significant relationships, program characteristics, predictive power, compiler performance, discrimination rate, performance index, performance evaluation, program compilers, data collection, complexity measures, nonlinear model, compile time
17	Pradip Bose, B. Ramakrishna Rau, Michael S. Schlansker	Systematically derived instruction sets for high-level language support.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	directly interpretable languages, space-time efficiency, syntax and semantics, compilation, interpretation, high-level languages, semantic gap, instruction set design
17	David B. Loveman	Program Improvement by Source to Source Transformation.	POPL	1976	DBLP DOI BibTeX RDF	Program improvement, Optimization, Compilation, Source-to-source transformation, Program manipulation
17	Vincent A. Busam, Donald E. Englund	Optimization of expressions in Fortran.	Commun. ACM	1969	DBLP DOI BibTeX RDF	DO loops, invariant calculations, optimization, compilation, compilers, FORTRAN, FORTRAN, register allocation, expressions, common subexpressions, subscripts
17	Joshua Ellul, Kirk Martinez	Run-time compilation of bytecode in wireless sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	wireless sensor networks, Java, compilers, bytecode
17	Dehao Chen, Neil Vachharajani, Robert Hundt, Shih-wei Liao, Vinodha Ramasamy, Paul Yuan, Wenguang Chen, Weimin Zheng	Taming hardware event samples for FDO compilation.	CGO	2010	DBLP DOI BibTeX RDF	sampling profile, performance counters, feedback-directed optimization
17	Juan Chen 0002, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
17	Mohamed M. Sabry, José L. Ayala, David Atienza	Thermal-aware compilation for system-on-chip processing architectures.	ACM Great Lakes Symposium on VLSI	2010	DBLP DOI BibTeX RDF	compiler, register-file, thermal-aware
17		Query Compilation and Execution.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17		Query Compilation.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
17	Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung	Combining Data Reuse With Data-Level Parallelization for FPGA-Targeted Hardware Compilation: A Geometric Programming Framework.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2009	DBLP DOI BibTeX RDF
17	Igor Stéphan, Benoit Da Mota	A Unified Framework for Certificate and Compilation for QBF.	ICLA	2009	DBLP DOI BibTeX RDF
17	Magnus O. Myreen, Konrad Slind, Michael J. C. Gordon	Extensible Proof-Producing Compilation.	CC	2009	DBLP DOI BibTeX RDF
17	Marco Correia, Pedro Barahona	Type Parametric Compilation of Algebraic Constraints.	EPIA	2009	DBLP DOI BibTeX RDF
17	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
17	Boris Gutkovich	Integration of CP and Compilation Techniques for Instruction Sequence Test Generation.	CPAIOR	2008	DBLP DOI BibTeX RDF
17	Lennart C. L. Kats, Martin Bravenboer, Eelco Visser	Mixing source and bytecode: a case for compilation by normalization.	OOPSLA	2008	DBLP DOI BibTeX RDF	dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego
17	Fabio Mascarenhas, Roberto Ierusalimschy	Efficient compilation of Lua for the CLR.	SAC	2008	DBLP DOI BibTeX RDF	clr, lua, compilers, dynamic languages
17	Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung	Combining data reuse exploitationwith data-level parallelization for FPGA targeted hardware compilation: A geometric programming framework.	FPL	2008	DBLP DOI BibTeX RDF
17	Markus Koester, Wayne Luk, Geoffrey Brown	A hardware compilation flow for instance-specific VLIW cores.	FPL	2008	DBLP DOI BibTeX RDF
17	Jamie Cullen	Evolutionary Meta Compilation: Evolving Programs Using Real World Engineering Tools.	ICES	2008	DBLP DOI BibTeX RDF
17	Karl Meier, Alessandro Forin	Hardware Compilation from Machine Code with M2V.	FCCM	2008	DBLP DOI BibTeX RDF
17	Michael Leuschel	Towards Demonstrably Correct Compilation of Java Byte Code.	FMCO	2008	DBLP DOI BibTeX RDF
17	Arno Puder, Sascha Häberling, Rainer Todtenhoefer	An MDA Approach to Byte Code Level Cross-Compilation.	SNPD	2008	DBLP DOI BibTeX RDF
17	Benjamin Tissoires, Stéphane Conversy	Graphic Rendering Considered as a Compilation Chain.	DSV-IS	2008	DBLP DOI BibTeX RDF	compiler, computer graphics, modularity, dataflow, interactive software
17	Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001	Proof-Transforming Compilation of Eiffel Programs.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
17	Percy Liang, Hal Daumé III, Dan Klein	Structure compilation: trading structure for features.	ICML	2008	DBLP DOI BibTeX RDF
17	Hyunchul Park 0001, Kevin Fan, Scott A. Mahlke, Taewook Oh, Heeseok Kim, Hong-Seok Kim	Edge-centric modulo scheduling for coarse-grained reconfigurable architectures.	PACT	2008	DBLP DOI BibTeX RDF	operand routing, programmable accelerator, software pipelining, coarse-grained reconfigurable architecture
17	Robert C. Kirby, Anders Logg	Efficient compilation of a class of variational forms.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	loop hoisting, monomials, variational form, compiler, automation, finite element, granularity, BLAS
17	Koen Van Renterghem, Pieter Demuytere, Dieter Verhulst, Jan Vandewege, Xing-Zhi Qiu	Development of an ASIP enabling flows in ethernet access using a retargetable compilation flow.	DATE	2007	DBLP DOI BibTeX RDF
17	Denis Barthou, Sébastien Donadio, Patrick Carribault, Alexandre Duchateau, William Jalby	Loop Optimization using Hierarchical Compilation and Kernel Decomposition.	CGO	2007	DBLP DOI BibTeX RDF
17	Koen Bertels, Georgi Kuzmanov, Elena Moscu Panainte, Georgi Gaydadjiev, Yana Yankova, Vlad Mihai Sima, Kamana Sigdel, Roel Meeuws, Stamatis Vassiliadis	HARTES Toolchain Early Evaluation: Profiling, Compilation and HDL Generation.	FPL	2007	DBLP DOI BibTeX RDF
17	Johan Ditmar, Steve McKeever	Array Synthesis in SystemC Hardware Compilation.	FPL	2007	DBLP DOI BibTeX RDF
17	Kung Chen, Shu-Chun Weng, Meng Wang, Siau-Cheng Khoo, Chung-Hsin Chen	A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.	SAS	2007	DBLP DOI BibTeX RDF
17	Gilles Barthe, Tamara Rezk, Alejandro Russo, Andrei Sabelfeld	Security of Multithreaded Programs by Compilation.	ESORICS	2007	DBLP DOI BibTeX RDF
17	Alex Gontmakher, Avi Mendelson, Assaf Schuster, Gregory Shklover	Code Compilation for an Explicitly Parallel Register-Sharing Architecture.	ICPP	2007	DBLP DOI BibTeX RDF	register sharing, explicitly parallel code, optimizations, multithreading, register allocation, Fine grain parallelization
17	Lingli Zhang, Chandra Krintz, Priya Nagpurkar	Language and Virtual Machine Support for Efficient Fine-Grained Futures in Java.	PACT	2007	DBLP DOI BibTeX RDF
17	Aviral Shrivastava, Partha Biswas, Ashok Halambi, Nikil D. Dutt, Alexandru Nicolau	Compilation framework for code size reduction using reduced bit-width ISAs (rISAs).	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	codesize reduction, dual instruction set, narrow bit-width instruction set, rISA, register pressure-based code generation, thumb, optimization, compilers, Code generation, code compression, retargetable compilers
17	Manish Verma, Lars Wehmeyer, Robert Pyka, Peter Marwedel, Luca Benini	Compilation and Simulation Tool Chain for Memory Aware Energy Optimizations .	SAMOS	2006	DBLP DOI BibTeX RDF
17	Animesh Pathak, Viktor K. Prasanna	Issues in designing a compilation framework for macroprogrammed networked sensor systems.	InterSense	2006	DBLP DOI BibTeX RDF
17	Po-Kuan Huang, Soheil Ghiasi	Power-aware compilation for embedded processors with dynamic voltage scaling and adaptive body biasing capabilities.	DATE	2006	DBLP DOI BibTeX RDF
17	Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle	A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.	CARDIS	2006	DBLP DOI BibTeX RDF
17	Pietro Torasso, Gianluca Torta	Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF
17	Petra Schwaiger, Burkhard Freitag	Using Answer Set Programming for the Automatic Compilation of Assessment Tests.	ICLP	2006	DBLP DOI BibTeX RDF
17	Adnan Darwiche	Searching While Keeping a Trace: The Evolution from Satisfiability to Knowledge Compilation.	IJCAR	2006	DBLP DOI BibTeX RDF
17	Suguru Matsuyoshi, Satoshi Sato, Takehito Utsuro	Compilation of a Dictionary of Japanese Functional Expressions with Hierarchical Organization.	ICCPOL	2006	DBLP DOI BibTeX RDF
17	Stephen Hines, David B. Whalley, Gary S. Tyson	Adapting compilation techniques to enhance the packing of instructions into registers.	CASES	2006	DBLP DOI BibTeX RDF	instruction packing, instruction register file, compiler optimizations
17	Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn	Compilation of XSLT into Dataflow Graphs for Web Service Composition.	CCGRID	2006	DBLP DOI BibTeX RDF
17	Denis Barthou, Sébastien Donadio, Alexandre Duchateau, William Jalby, E. Courtois	Iterative Compilation with Kernel Exploration.	LCPC	2006	DBLP DOI BibTeX RDF
17	Stefano Rossignoli, Fausto Spoto	Detecting Non-cyclicity by Abstract Compilation into Boolean Functions.	VMCAI	2006	DBLP DOI BibTeX RDF
17	Raghavendra Rao Loka	Hybrid compilation: a case study.	ACM SIGPLAN Notices	2005	DBLP DOI BibTeX RDF
17	Maurizio Giordano, Mario Mango Furnari	An Incremental Compilation Approach for OpenMP Applications.	NPC	2005	DBLP DOI BibTeX RDF
17	Neil V. Murray, Erik Rosenthal	Duality in Knowledge Compilation Techniques.	ISMIS	2005	DBLP DOI BibTeX RDF
17	Reiner Hähnle, Neil V. Murray, Erik Rosenthal	Normal Forms for Knowledge Compilation.	ISMIS	2005	DBLP DOI BibTeX RDF
17	Frederic Ogel, Gaël Thomas 0001, Bertil Folliot	Supporting efficient dynamic aspects through reflection and dynamic compilation.	SAC	2005	DBLP DOI BibTeX RDF	performance, AOP, computational reflection
17	Matthias Nickles, Gerhard Weiß 0001	Multiagent Systems Without Agents - Mirror-Holons for the Compilation and Enactment of Communication Structures.	Socionics	2005	DBLP DOI BibTeX RDF	Artificial Sociality, Multiagent Coordination Media, Multiagent Systems, Autonomous Computing, Agent Communication, Cybernetics, Holons
17	Luca Padovani	Compilation of Generic Regular Path Expressions Using C++ Class Templates.	CC	2005	DBLP DOI BibTeX RDF
17	Jia Zeng, Stephen A. Edwards	Separate Compilation for Synchronous Modules.	ICESS	2005	DBLP DOI BibTeX RDF
17	José Gabriel F. Coutinho, Jun Jiang, Wayne Luk	Interleaving Behavioral and Cycle-Accurate Descriptions for Reconfigurable Hardware Compilation.	FCCM	2005	DBLP DOI BibTeX RDF
17	Xiao-Feng Li, Zhao-Hui Du, Chen Yang, Chu-Cheow Lim, Tin-Fook Ngai	Speculative Parallel Threading Architecture and Compilation.	ICPP Workshops	2005	DBLP DOI BibTeX RDF
17	Aviral Shrivastava, Ilya Issenin, Nikil D. Dutt	Compilation techniques for energy reduction in horizontally partitioned cache architectures.	CASES	2005	DBLP DOI BibTeX RDF	XScale, horizontally-partitioned cache, mini-cache, split cache, compiler, energy, data cache
17	Montserrat Ros, Peter Sutton	A post-compilation register reassignment technique for improving hamming distance code compression.	CASES	2005	DBLP DOI BibTeX RDF	register reassignment, hamming distance, code compression
17	Florian T. Schneider, Thomas R. Gross	Using Platform-Specific Performance Counters for Dynamic Compilation.	LCPC	2005	DBLP DOI BibTeX RDF
17	Christopher League, Stefan Monnier	Typed Compilation Against Non-manifest Base Classes.	CASSIS	2005	DBLP DOI BibTeX RDF
17	W. Paul Cockshott	Efficient compilation of array expressions.	ACM SIGAPL APL Quote Quad	2004	DBLP DOI BibTeX RDF
17	Sune Fallgaard Nielsen, Jens Sparsø, Jan Madsen	Towards Behavioral Synthesis of Asynchronous Circuits - An Implementation Template Targeting Syntax Directed Compilation.	DSD	2004	DBLP DOI BibTeX RDF
17	Chris Lattner, Vikram S. Adve	LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation.	CGO	2004	DBLP DOI BibTeX RDF
17	Thomas Meyer 0001, Burkhart Wolff	Tactic-Based Optimized Compilation of Functional Programs.	TYPES	2004	DBLP DOI BibTeX RDF
17	Marco Benedetti, Sara Bernardini	Incremental Compilation-to-SAT Procedures.	SAT (Selected Papers	2004	DBLP DOI BibTeX RDF
17	Wen Xu, Sanjeev Kumar, Kai Li 0001	Fast Paths in Concurrent Programs.	IEEE PACT	2004	DBLP DOI BibTeX RDF
17	Jerry Hom, Ulrich Kremer	Inter- rogram Compilation for Disk Energy Reduction.	PACS	2003	DBLP DOI BibTeX RDF