Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Jamie Cullen	Evolving Digital Circuits in an Industry Standard Hardware Description Language.	SEAL	2008	DBLP DOI BibTeX RDF
12	Martin Bravenboer, Eelco Visser	Parse Table Composition.	SLE	2008	DBLP DOI BibTeX RDF
12	Jean-Baptiste Note, Éric Rannaud	From the bitstream to the netlist.	FPGA	2008	DBLP DOI BibTeX RDF	bitstream format, FPGA, reverse-engineering
12	Kenneth Hoste, Lieven Eeckhout	Cole: compiler optimization level exploration.	CGO	2008	DBLP DOI BibTeX RDF	multi-objective search, compiler optimization
12	Liang Guo, Abhik Roychoudhury	Debugging Statecharts Via Model-Code Traceability.	ISoLA	2008	DBLP DOI BibTeX RDF	Debugging, Traceability, Statecharts, Slicing
12	Klaus Marius Hansen, Weishan Zhang, João Fernandes 0002	Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies.	APSEC	2008	DBLP DOI BibTeX RDF
12	Davide Pozza, Riccardo Sisto	A Lightweight Security Analyzer inside GCC.	ARES	2008	DBLP DOI BibTeX RDF	Defensive Programming, Static Analysis, Software Security, Bug Finding
12	Robert Mateescu, Rina Dechter	AND/OR Multi-valued Decision Diagrams for Constraint Networks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
12	Koen De Bosschere, Ayal Zaks, Michael C. Huang 0001, Luis Piñuel	Topic 4: High Performance Architectures and Compilers.	Euro-Par	2008	DBLP DOI BibTeX RDF
12	Youtao Zhang, Jun Yang 0002, Weijia Li	Towards energy-efficient code dissemination in wireless sensor networks.	IPDPS	2008	DBLP DOI BibTeX RDF
12	Gilles Barthe, Benjamin Grégoire, Mariela Pavlova	Preservation of Proof Obligations from Java to the Java Virtual Machine.	IJCAR	2008	DBLP DOI BibTeX RDF
12	Luc Maranget	Compiling pattern matching to good decision trees.	ML	2008	DBLP DOI BibTeX RDF	match compilers, heuristics, decision trees
12	Reid Holmes, Robert J. Walker	Lightweight, Semi-automated Enactment of Pragmatic-Reuse Plans.	ICSR	2008	DBLP DOI BibTeX RDF	Pragmatic software reuse, lightweight source code transformations
12	Dorit Nuzman, Mircea Namolaru, Ayal Zaks, Jeff H. Derby	Compiling for an indirect vector register architecture.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	compiler controlled cache, rotating register file, vectorization, data reuse, subword parallelism, viterbi, simd
12	Jason Cong	A new generation of C-base synthesis tool and domain-specific computing.	SoCC	2008	DBLP DOI BibTeX RDF
12	Subhradyuti Sarkar, Dean M. Tullsen	Compiler Techniques for Reducing Data Cache Miss Rate on a Multithreaded Architecture.	HiPEAC	2008	DBLP DOI BibTeX RDF
12	William R. Mahoney, William L. Sousan	Using common off-the-shelf tools to implement dynamic aspects.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	event monitoring, intrusion detection, open-source, GCC, dynamic aspects
12	Haluk Rahmi Topcuoglu, Betül Demiröz, Mahmut T. Kandemir	Solving the Register Allocation Problem for Embedded Systems Using a Hybrid Evolutionary Algorithm.	IEEE Trans. Evol. Comput.	2007	DBLP DOI BibTeX RDF
12	Aviral Shrivastava, Sanghyun Park, Eugene Earlie, Nikil D. Dutt, Alexandru Nicolau, Yunheung Paek	Automatic Design Space Exploration of Register Bypasses in Embedded Processors.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
12	Wolfram Amme, Jeffery von Ronne, Michael Franz	SSA-based mobile code: Implementation and empirical evaluation.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	SafeTSA, Virtual machines, static single-assignment form
12	Youcef Bouchebaba, Bruno Girodias, Gabriela Nicolescu, El Mostapha Aboulhamid, Bruno Lavigueur, Pierre G. Paulin	MPSoC memory optimization using program transformation.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	embedded systems, data cache, Data locality, compiler transformations
12	Neil V. Murray, Erik Rosenthal	Efficient Query Processing with Reduced Implicate Tries.	J. Autom. Reason.	2007	DBLP DOI BibTeX RDF	reduced implicate trie, query processing, knowledge base
12	Atsushi Ohori	A proof theory for machine code.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Curry-Howard isomorphism
12	Christopher Kumar Anand, Wolfram Kahl	Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code.	AGTIVE	2007	DBLP DOI BibTeX RDF
12	Xianhua Liu 0001, Jiyu Zhang, Xu Cheng 0001	Efficient code size reduction without performance loss.	SAC	2007	DBLP DOI BibTeX RDF	dual-width instruction set, mixed code generation, embedded system, code size reduction
12	Youcef Bouchebaba, Bruno Lavigueur, Bruno Girodias, Gabriela Nicolescu, Pierre G. Paulin	MPSoC memory optimization for digital camera applications.	DSD	2007	DBLP DOI BibTeX RDF
12	David Rajaratnam, Maurice Pagnucco	Prime Implicates for Approximate Reasoning.	KSEM	2007	DBLP DOI BibTeX RDF
12	Michael Wachter 0001, Rolf Haenni	Multi-state Directed Acyclic Graphs.	Canadian AI	2007	DBLP DOI BibTeX RDF
12	Michele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi	Experimenting with diversity in the model driven development of a railway signaling system.	EFTS	2007	DBLP DOI BibTeX RDF	formal modelling, automatic code generation
12	Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson 0001, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley	Design and implementation of a comprehensive real-time java virtual machine.	EMSOFT	2007	DBLP DOI BibTeX RDF	AOT, java, real time, garbage collection, JVM, JIT
12	Jinpyo Kim, Wei-Chung Hsu, Pen-Chung Yew, Sreekumar R. Nair, Robert Y. Geva	Entropy-Based Profile Characterization and Classification for Automatic Profile Management.	Asia-Pacific Computer Systems Architecture Conference	2007	DBLP DOI BibTeX RDF
12	Minhaj Ahmad Khan, Henri-Pierre Charles, Denis Barthou	An Effective Automated Approach to Specialization of Code.	LCPC	2007	DBLP DOI BibTeX RDF
12	Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer 0002	Implementing Iterated Belief Change Via Prime Implicates.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
12	Clemens Grelck, Sven-Bodo Scholz	SAC - A Functional Array Language for Efficient Multi-threaded Execution.	Int. J. Parallel Program.	2006	DBLP DOI BibTeX RDF	Compiler optimisation, Single Assignment C, multi-threading, data parallel programming
12	Klaus Schneider 0001, Jens Brandt 0001, Eric Vecchié	Efficient code generation from synchronous programs.	MEMOCODE	2006	DBLP DOI BibTeX RDF
12	James Sasitorn, Robert Cartwright	Efficient first-class generics on stock Java virtual machines.	SAC	2006	DBLP DOI BibTeX RDF	Java implementation, custom class loader, first-class generics, type erasure, parametric polymorphism
12	Tomas Kalibera, Petr Tuma 0001	Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results.	EPEW	2006	DBLP DOI BibTeX RDF
12	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Stephen Tse	Verified Interoperable Implementations of Security Protocols.	CSFW	2006	DBLP DOI BibTeX RDF
12	John Cavazos, J. Eliot B. Moss, Michael F. P. O'Boyle	Hybrid Optimizations: Which Optimization Algorithm to Use?.	CC	2006	DBLP DOI BibTeX RDF
12	Lennart Beringer, Martin Hofmann 0001	A Bytecode Logic for JML and Types.	APLAS	2006	DBLP DOI BibTeX RDF
12	Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jones	Haskell Is Not Not ML.	ESOP	2006	DBLP DOI BibTeX RDF
12	Dachuan Yu, Nayeem Islam	A Typed Assembly Language for Confidentiality.	ESOP	2006	DBLP DOI BibTeX RDF
12	Konstantinos Masselos, George A. Constantinides, Qiang Liu	Data Reuse Exploration for FPGA Based Platforms Applied to the Full Search Motion Estimation Algorithm.	FPL	2006	DBLP DOI BibTeX RDF
12	François Bry, Tim Furche, Benedikt Linse	AMa chioS - Abstract Machine for Xcerpt: Architecture and Principles.	PPSWR	2006	DBLP DOI BibTeX RDF
12	Zoltán Porkoláb, József Mihalicza, Ádám Sipos	Debugging C++ template metaprograms.	GPCE	2006	DBLP DOI BibTeX RDF	template metaprogramming, C++, debugging
12	Sam Kamin, Baris Aktemur, Michael Katelman	Staging static analyses for program generation.	GPCE	2006	DBLP DOI BibTeX RDF	static analysis, program generation, staging, run-time code generation
12	Somsubhra Mondal, Seda Ogrenci Memik, Nikolaos Bellas	Pre-synthesis Queue Size Estimation of Streaming Data Flow Graphs.	FCCM	2006	DBLP DOI BibTeX RDF
12	Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	Deterministic Dynamic Monitors for Linear-Time Assertions.	FATES/RV	2006	DBLP DOI BibTeX RDF
12	Don Syme	Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution.	ML	2006	DBLP DOI BibTeX RDF	GPUs, functional programming, reflection, domain specific languages, meta-programming, database languages, LINQ
12	Betul Buyukkurt, Zhi Guo, Walid A. Najjar	Impact of Loop Unrolling on Area, Throughput and Clock Frequency in ROCCC: C to VHDL Compiler for FPGAs.	ARC	2006	DBLP DOI BibTeX RDF
12	Mark Chavira, Adnan Darwiche	Encoding CNFs to Empower Component Analysis.	SAT	2006	DBLP DOI BibTeX RDF
12	Børge Svingen	When lisp is faster than C.	GECCO	2006	DBLP DOI BibTeX RDF	enetic programming, performance, C, implementation, lisp
12	Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen	Interactive Distributed Configuration.	CP	2006	DBLP DOI BibTeX RDF
12	Robert Mateescu, Rina Dechter	Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs).	CP	2006	DBLP DOI BibTeX RDF
12	Gregorio Robles, Jesús M. González-Barahona, Martin Michlmayr, Juan José Amor	Mining large software compilations over time: another perspective of software evolution.	MSR	2006	DBLP DOI BibTeX RDF	large software collections, software evolution, mining software repositories, software integrators
12	Daqing Hou, H. James Hoover	Source-Level Linkage: Adding Semantic Information to C++ Fact-bases.	ICSM	2006	DBLP DOI BibTeX RDF	source-level linkage, Datrix, C++, fact extraction, type analysis, name resolution
12	Vikki Tang, Joran Siu, Alexander Vasilevskiy, Marcel Mitran	A framework for reducing instruction scheduling overhead in dynamic compilers.	CASCON	2006	DBLP DOI BibTeX RDF
12	Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Ozcan Ozturk 0001, Mustafa Karaköy, Ugur Sezer	Optimizing Array-Intensive Applications for On-Chip Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	On-chip multiprocessor, adaptive loop parallelization, embedded systems, energy consumption, integer linear programming, constrained optimization
12	Mats Per Erik Heimdahl	A Case for Specification Validation.	VSTTE	2005	DBLP DOI BibTeX RDF
12	Conor Hayes, Paolo Avesani, Emiliano Baldo, Padraig Cunningham	Re-using Implicit Knowledge in Short-Term Information Profiles for Context-Sensitive Tasks.	ICCBR	2005	DBLP DOI BibTeX RDF
12	Aviral Shrivastava, Nikil D. Dutt, Alexandru Nicolau, Eugene Earlie	PBExplore: A Framework for Compiler-in-the-Loop Exploration of Partial Bypassing in Embedded Processors.	DATE	2005	DBLP DOI BibTeX RDF
12	James C. Browne	Productivity in High Performance Computing.	HiPC	2005	DBLP DOI BibTeX RDF
12	Ryan Culpepper, Scott Owens, Matthew Flatt	Syntactic Abstraction in Component Interfaces.	GPCE	2005	DBLP DOI BibTeX RDF
12	Marco Zennaro, Raja Sengupta	Distributing synchronous programs using bounded queues.	EMSOFT	2005	DBLP DOI BibTeX RDF	distributed synchronous programs, globally asynchronous locally synchronous architecture, GALS, Simulink
12	Andy Georges, Lieven Eeckhout, Koen De Bosschere	Comparing Low-Level Behavior of SPEC CPU and Java Workloads.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
12	Neil V. Murray, Erik Rosenthal	Efficient Query Processing with Compiled Knowledge Bases.	TABLEAUX	2005	DBLP DOI BibTeX RDF
12	Michael Y. Levin, Benjamin C. Pierce	Type-Based Optimization for Regular Patterns.	DBPL	2005	DBLP DOI BibTeX RDF
12	Yijun Yu, Homayoun Dayani-Fard, John Mylopoulos, Periklis Andritsos	Reducing Build Time through Precompilations for Evolving Large Software.	ICSM	2005	DBLP DOI BibTeX RDF
12	Feihui Li, Mahmut T. Kandemir	Locality-conscious workload assignment for array-based computations in MPSOC architectures.	DAC	2005	DBLP DOI BibTeX RDF	MPSoC, data locality
12	Konstantinos Kyriakopoulos, Kleanthis Psarris	Data Dependence Analysis Techniques for Increased Accuracy and Extracted Parallelism.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	program analysis, compiler optimization, Parallelizing compilers, data dependence, automatic parallelization
12	Victor De La Luz, Mahmut T. Kandemir	Array Regrouping and Its Use in Compiling Data-Intensive Embedded Applications.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Array regrouping, memory energy consumption, embedded systems, cache locality, layout optimizations
12	Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans	Traversals of object structures: Specification and Efficient Implementation.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Low of Demeter, adaptive programming, class graphs, strategy graphs, structure-shy software, Aspect-oriented programming, object graphs
12	Todd D. Millstein	Practical predicate dispatch.	OOPSLA	2004	DBLP DOI BibTeX RDF	dynamic dispatch, predicate dispatch, modular typechecking
12	Manuel Hohenauer, Hanno Scharwächter, Kingshuk Karuri, Oliver Wahlen, Tim Kogel, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Gunnar Braun, Hans van Someren 0001	A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models.	DATE	2004	DBLP DOI BibTeX RDF
12	Francisco Reverbel, Bill Burke, Marc J. Fleury	Dynamic Deployment of IIOP-Enabled Components in the JBoss Server.	Component Deployment	2004	DBLP DOI BibTeX RDF
12	Davide Ancona, Elena Zucca	Principal typings for Java-like languages.	POPL	2004	DBLP DOI BibTeX RDF	Java-like languages, selective recompilation, principal typings
12	Chris Sullivan, Alex Wilson, Stephen P. G. Chappell	Using C based logic synthesis to bridge the productivity gap.	ASP-DAC	2004	DBLP DOI BibTeX RDF
12	László Vidács, Árpád Beszédes, Rudolf Ferenc	Columbus Schema for C/C++ Preprocessing.	CSMR	2004	DBLP DOI BibTeX RDF
12	Hans P. Zima, Siegfried Benkner, Michael F. P. O'Boyle, Beniamino Di Martino	Topic 4: Compilers for High Performance.	Euro-Par	2004	DBLP DOI BibTeX RDF
12	Peter DePasquale, John A. N. Lee, Manuel A. Pérez-Quiñones	Evaluation of subsetting programming language elements in a novice's programming environment.	SIGCSE	2004	DBLP DOI BibTeX RDF	language subsets, programming environment
12	Betül Demiröz, Haluk Topcuoglu, Mahmut T. Kandemir	A Hybrid Evolutionary Algorithm for Solving the Register Allocation Problem.	EvoCOP	2004	DBLP DOI BibTeX RDF
12	Jun Wang, Carl Tropper	Nicarus: A Distributed Verilog Compiler.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
12	Qin Ma 0002, Luc Maranget	Compiling Pattern Matching in Join-Patterns.	CONCUR	2004	DBLP DOI BibTeX RDF
12	Julian Richardson, Jeff Green	Automating Traceability for Generated Software Artifacts .	ASE	2004	DBLP DOI BibTeX RDF
12	John W. Sias, Sain-Zee Ueng, Geoff A. Kent, Ian M. Steiner, Erik M. Nystrom, Wen-mei W. Hwu	Field-testing IMPACT EPIC research results in Itanium 2.	ISCA	2004	DBLP DOI BibTeX RDF
12	Arathi Ramani, Igor L. Markov	Automatically Exploiting Symmetries in Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
12	José de Oliveira Guimarães	Experiences in building a compiler for an object-oriented language.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	Java, object-oriented languages, compiler construction, Green
12	Wojciech Skut, Stefan Ulrich, Kathrine Hammervold	A Generic Finite State Compiler for Tagging Rules.	Mach. Transl.	2003	DBLP DOI BibTeX RDF	bimachine, finite state acceptors, speech synthesis
12	Jack Liu, Fred C. Chow, Timothy Kong, Rupan Roy	Variable Instruction Set Architecture and Its Compiler Support.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Configurable code generation, variable instruction set, embedded processor, instruction scheduling, dictionary, enumeration, program representation, resource modeling
12	Jong-eun Lee, Kiyoung Choi, Nikil D. Dutt	An algorithm for mapping loops onto coarse-grained reconfigurable architectures.	LCTES	2003	DBLP DOI BibTeX RDF	ALU array, memory bandwidth utilization, coarse-grained reconfigurable architecture, mapping algorithm
12	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
12	Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Effectiveness of cross-platform optimizations for a java just-in-time compiler.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, just-in-time compiler
12	Todd D. Millstein, Mark Reay, Craig Chambers	Relaxed MultiJava: balancing extensibility and modular typechecking.	OOPSLA	2003	DBLP DOI BibTeX RDF	class loader, external methods, relaxed MultiJava, multimethods, modular typechecking
12	Spyridon Triantafyllis, Manish Vachharajani, Neil Vachharajani, David I. August	Compiler Optimization-Space Exploration.	CGO	2003	DBLP DOI BibTeX RDF
12	Tatsushi Inagaki, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Stride prefetching by dynamically inspecting objects.	PLDI	2003	DBLP DOI BibTeX RDF	Java just-in-time compiler, object inspection, stride prefetching
12	Timour Katchaounov, Vanja Josifovski, Tore Risch	Scalable View Expansion in a Peer Mediator System.	DASFAA	2003	DBLP DOI BibTeX RDF
12	Steven Carroll, Constantine D. Polychronopoulos	A framework for incremental extensible compiler construction.	ICS	2003	DBLP DOI BibTeX RDF	compilers, extensibility, incremental analysis
12	Jan A. Bergstra	Machine Function Based Control Code Algebras.	FMCO	2003	DBLP DOI BibTeX RDF
12	Steve McKeever, Wayne Luk, Arran Derbyshire	Towards Verifying Parametrised Hardware Libraries with Relative Placement Information.	HICSS	2003	DBLP DOI BibTeX RDF
12	Seth Copen Goldstein, Mihai Budiu, Mahim Mishra, Girish Venkataramani	Reconfigurable Computing and Electronic Nanotechnology.	ASAP	2003	DBLP DOI BibTeX RDF