Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Henry Styles, Wayne Luk	Branch Optimisation Techniques for Hardware Compilation.	FPL	2003	DBLP DOI BibTeX RDF
17	Nastaran Baradaran, Jacqueline Chame, Chun Chen 0002, Pedro C. Diniz, Mary W. Hall, Yoon-Ju Lee, Bing Liu 0015, Robert F. Lucas	ECO: An Empirical-Based Compilation and Optimization System.	IPDPS	2003	DBLP DOI BibTeX RDF
17	Xiaogang Li 0001, Ruoming Jin, Gagan Agrawal	A Compilation Framework for Distributed Memory Parallelization of Data Mining Algorithms.	IPDPS	2003	DBLP DOI BibTeX RDF
17	Neil V. Murray, Erik Rosenthal	Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation.	TABLEAUX	2003	DBLP DOI BibTeX RDF
17	Alejandra Garrido 0001, Ralph E. Johnson	Refactoring C with Conditional Compilation.	ASE	2003	DBLP DOI BibTeX RDF
17	Sejong Oh, Yunheung Paek	A Quantitative Comparison of Two Retargetable Compilation Approaches.	ICPP	2003	DBLP DOI BibTeX RDF
17	Manish Handa, Rajesh Radhakrishnan, Madhubanti Mukherjee, Ranga Vemuri	A Fast Macro Based Compilation Methodology for Partially Reconfigurable FPGA Designs.	VLSI Design	2003	DBLP DOI BibTeX RDF	FPGA, Reconfigurable Computing, Partial Reconfiguration
17	Bento Carlos Dias-da-Silva, Mirna F. de Oliveira, Helio R. de Moraes	Reusability of Dictionaries in the Compilation of NLP Lexicons.	PROPOR	2003	DBLP DOI BibTeX RDF
17	Xiaotong Zhuang, Santosh Pande	Resolving Register Bank Conflicts for a Network Processor.	IEEE PACT	2003	DBLP DOI BibTeX RDF
17	Nathan Tuck, Dean M. Tullsen	Initial Observations of the Simultaneous Multithreading Pentium 4 Processor.	IEEE PACT	2003	DBLP DOI BibTeX RDF
17	Paul Lalonde, Eric Schenk	Shader-driven compilation of rendering assets.	ACM Trans. Graph.	2002	DBLP DOI BibTeX RDF	rendering, computer games, rendering systems, graphics systems
17	Sanjeev Baskiyar	Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation.	Computing	2002	DBLP DOI BibTeX RDF	AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25
17	Markus Lorenz, Lars Wehmeyer, Thorsten Dräger	Energy aware compilation for DSPs with SIMD instructions.	LCTES-SCOPES	2002	DBLP DOI BibTeX RDF	zero overhead hardware loop, DSP, vectorization, energy minimization, SIMD instruction
17	Tobias Lindahl, Konstantinos Sagonas	Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment.	IFL	2002	DBLP DOI BibTeX RDF
17	Alexander F. Gelbukh, Grigori Sidorov, Liliana Chanona-Hernández	Compilation of a Spanish Representative Corpus.	CICLing	2002	DBLP DOI BibTeX RDF
17	Michael Gschwind, Erik R. Altman	Precise Exception Semantics in Dynamic Compilation.	CC	2002	DBLP DOI BibTeX RDF
17	Raphaël David, Daniel Chillet, Sébastien Pillement, Olivier Sentieys	A Compilation Framework for a Dynamically Reconfigurable Architecture.	FPL	2002	DBLP DOI BibTeX RDF
17	Martin Griebl	Compilers for High Performance (Compilation and Parallelization Techniques).	Euro-Par	2002	DBLP DOI BibTeX RDF
17	Andreas Koch 0001, Nico Kasprzyk	Module Generators Driving the Compilation for Adaptive Computing Systems.	FCCM	2002	DBLP DOI BibTeX RDF
17	Grigori Fursin, Michael F. P. O'Boyle, Peter M. W. Knijnenburg	Evaluating Iterative Compilation.	LCPC	2002	DBLP DOI BibTeX RDF
17	Alessandro Armando, Luca Compagna	Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.	FORTE	2002	DBLP DOI BibTeX RDF	Verification, Network security
17	Per Gustafsson, Konstantinos Sagonas	Native code compilation of Erlang's bit syntax.	Erlang Workshop	2002	DBLP DOI BibTeX RDF
17	Bernhard Scholz, Eduard Mehofer	Dataflow Frequency Analysis Based on Whole Program Paths.	IEEE PACT	2002	DBLP DOI BibTeX RDF
17	Samuel Larsen, Emmett Witchel, Saman P. Amarasinghe	Increasing and Detecting Memory Address Congruence.	IEEE PACT	2002	DBLP DOI BibTeX RDF
17	Michael Gschwind, Erik R. Altman	Optimization and precise exceptions in dynamic compilation.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF
17	Paolo Liberatore	Monotonic reductions, representative equivalence, and compilation of intractable problems.	J. ACM	2001	DBLP DOI BibTeX RDF	Compilability, preprocessing
17	Alexey Ya. Kalinov, Alexey L. Lastovetsky, Ilya Ledovskih, Mikhail Posypkin	Compilation of Vector Statements of C[] Language for Architectures with Multilevel Memory Hierarchy.	Program. Comput. Softw.	2001	DBLP DOI BibTeX RDF
17	João M. P. Cardoso, Horácio C. Neto	Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines.	FPL	2001	DBLP DOI BibTeX RDF
17	Peter M. W. Knijnenburg, Toru Kisuki, Kyle A. Gallivan	Cache Models for Iterative Compilation.	Euro-Par	2001	DBLP DOI BibTeX RDF
17	Steve McKeever, Wayne Luk	Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques.	CHARME	2001	DBLP DOI BibTeX RDF
17	Gianluca Amato, Fausto Spoto	Abstract Compilation for Sharing Analysis.	FLOPS	2001	DBLP DOI BibTeX RDF	linear refinement, logic programming, Abstract interpretation, linear logic, domain theory
17	Michael Ward, Neil C. Audsley	Hardware compilation of sequential Ada.	CASES	2001	DBLP DOI BibTeX RDF	Ada
17	Vikram S. Adve, John M. Mellor-Crummey	Advanced Code Generation for High Performance Fortran.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF
17	Peter Grun, Nikil D. Dutt, Alexandru Nicolau	Aggressive Memory-Aware Compilation.	Intelligent Memory Systems	2000	DBLP DOI BibTeX RDF
17	Elena Machkasova, Franklyn A. Turbak	A Calculus for Link-Time Compilation.	ESOP	2000	DBLP DOI BibTeX RDF
17	Mark Stephenson, Jonathan Babb, Saman P. Amarasinghe	Bitwidth analysis with application to silicon compilation.	PLDI	2000	DBLP DOI BibTeX RDF
17	Robert Eschbach, Uwe Glässer, Reinhard Gotzhein, Andreas Prinz 0001	On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine.	Abstract State Machines	2000	DBLP DOI BibTeX RDF
17	Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich	Using Meta-level Compilation to Check FLASH Protocol Code.	ASPLOS	2000	DBLP DOI BibTeX RDF
17	Peter Grun, Nikil D. Dutt, Alexandru Nicolau	Memory aware compilation through accurate timing extraction.	DAC	2000	DBLP DOI BibTeX RDF
17	Jian Liang, Sriram Swaminathan, Russell Tessier	aSOC: A Scalable, Single-Chip Communications Architecture.	IEEE PACT	2000	DBLP DOI BibTeX RDF
17	Roy Dz-Ching Ju, Kevin Nomura, Uma Mahadevan, Le-Chun Wu	A Unified Compiler Framework for Control and Data Speculation.	IEEE PACT	2000	DBLP DOI BibTeX RDF
17	Luís M. B. Lopes, Fernando M. A. Silva, Vasco Thudichum Vasconcelos	Fine Grained Multithreading with Process Calculi.	IEEE PACT	2000	DBLP DOI BibTeX RDF	Multithreading, Abstract-Machine, Process-Calculus
17	Michael Voss, Rudolf Eigenmann	A framework for remote dynamic program optimization.	Dynamo	2000	DBLP DOI BibTeX RDF
17	Bernhard Nebel	Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.	KI	1999	DBLP DOI BibTeX RDF
17	Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor	Cronos: A Separate Compilation Toolset for Modular Esterel Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
17	Dhruva R. Chakrabarti, Prithviraj Banerjee	A Novel Compilation Framework for Supporting Semi-Regular Distributions in Hybrid Applications.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
17	Atsushi Ohori, Nobuaki Yoshida	Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML.	ICFP	1999	DBLP DOI BibTeX RDF
17	Basilio B. Fraguela, Ramon Doallo, Emilio L. Zapata	Automatic Analytical Modeling for the Estimation of Cache Misses.	IEEE PACT	1999	DBLP DOI BibTeX RDF	analytical modeling, memory hierarchy, cache performance, automatic analysis
17	Wan J. Fokkink, Jasper Kamperman, Pum Walters	Within ARM's Reach: Compilation of Left-Linear Rewrite Systems via Minimal Rewrite Systems.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	specificity ordering, automata, term rewriting, abstract machine
17	Bill Lin 0001	Efficient Compilation of Process-Based Concurrent Programs without Run-Time Scheduling.	DATE	1998	DBLP DOI BibTeX RDF	Embedded systems, Software synthesis, Hardware-software co-design
17	Frédéric Koriche	A Logic for Anytime Deduction and Anytime Compilation.	JELIA	1998	DBLP DOI BibTeX RDF
17	François Galilée, Jean-Louis Roch, Gerson G. H. Cavalheiro, Mathias Doreille	Athapascan-1: On-Line Building Data Flow Graph in a Parallel Language.	IEEE PACT	1998	DBLP DOI BibTeX RDF	macro-data flow languages, Multithreading, on-line scheduling, parallel complexity
17	Manuel Ujaldon, Emilio L. Zapata, Barbara M. Chapman, Hans P. Zima	Vienna-Fortran/HPF Extensions for Sparse and Irregular Problems and Their Compilation.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Data-parallel language and compiler, distributed-memory machines, runtime support, sparse computation
17	Clifford Beshers, Steven Feiner	Generating Efficient Virtual Worlds for Visualization Using Partial Evaluation and Dynamic Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	multivariate data visualization, program transformation, virtual worlds, partial evaluation, dataflow
17	Michael Sperber, Peter Thiemann 0001	Two for the Price of One: Composing Partial Evaluation and Compilation.	PLDI	1997	DBLP DOI BibTeX RDF
17	Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary	Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines.	IEEE PACT	1997	DBLP DOI BibTeX RDF	storage layout, SUN SPARCstation 5, IBM SP-2, SGI Challenge, Convex Exemplar, parallel architectures, parallel architectures, optimizing compilers, interprocessor communication, cache performance, distributed memory machines, shared memory machines, loop nests, data decomposition, compiler algorithms
17	Mohammed Hasanuzzaman, Carlos H. Mastrangelo	Process compilation of thin film microdevices.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
17	Charles Selvidge, Anant Agarwal, Matthew Dahl, Jonathan Babb	TIERS: Topology Independent Pipelined Routing and Scheduling for VirtualWire Compilation.	FPGA	1995	DBLP DOI BibTeX RDF
17	Reiner W. Hartenstein, Jürgen Becker 0001, Rainer Kress 0002, Helmut Reinig, Karin Schmidt	A Parallelizing Compilation Method for the Map-oriented Machine.	ASAP	1995	DBLP DOI BibTeX RDF
17	Rajesh Bordawekar, Alok N. Choudhary, Ken Kennedy, Charles Koelbel, Michael H. Paleczny	A Model and Compilation Strategy for Out-of-Core Data Parallel Programs.	PPoPP	1995	DBLP DOI BibTeX RDF
17	Xavier Leroy	Manifest Types, Modules, and Separate Compilation.	POPL	1994	DBLP DOI BibTeX RDF
17	Pascal Fradet	Compilation of Head and Strong Reduction.	ESOP	1994	DBLP DOI BibTeX RDF
17	Dan Suciu, Val Tannen	Efficient Compilation of High-Level Data Parallel Algorithms.	SPAA	1994	DBLP DOI BibTeX RDF
17	John C. Willis, Daniel P. Siewiorek	Optimizing VHDL Compilation for Parallel Simulation.	IEEE Des. Test Comput.	1992	DBLP DOI BibTeX RDF
17	Shigenobu Kobayashi, Kotaro Nakamura	Knowledge Compilation and Refinement for Fault Diagnosis.	IEEE Expert	1991	DBLP DOI BibTeX RDF
17	Sanjay Khanna, Arif Ghafoor, Amrit L. Goel	A Parallel Compilation Technique Based on Grammar Partitioning.	ACM Conference on Computer Science	1990	DBLP DOI BibTeX RDF	Pascal
17	Robert Valette, Babou Bako	Software Implementation of Petri nets and compilation of rule-based systems.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Petri net Implementation, Comparison with rule-based approach, high-level Petri nets
17	Andy Mück	Compilation of Narrowing.	PLILP	1990	DBLP DOI BibTeX RDF
17	Christian Queinnec	Compilation of Non-Linear, Second Order Patterns on S-Expressions.	PLILP	1990	DBLP DOI BibTeX RDF
17	Mehrdad Negahban, Daniel Gajski	Silicon compilation of switched: capacitor networks.	EURO-DAC	1990	DBLP DOI BibTeX RDF
17	Philippe Bondono, Ahmed Amine Jerraya, Armand Hornik, Bernard Courtois, D. Bonifas	NAUTILE: a safe environment for silicon compilation.	EURO-DAC	1990	DBLP DOI BibTeX RDF
17	Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu	HARP: FORTRAN to silicon [compilation system].	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
17	Richard Kelsey, Paul Hudak	Realistic Compilation by Program Transformation.	POPL	1989	DBLP DOI BibTeX RDF	T
17	E. Berkcan, Manuel A. d'Abreu, W. Laughton	Analog Compilation Based on Successive Decompositions.	DAC	1988	DBLP BibTeX RDF
17	Gotaro Odawara, Masahiro Tomita, Kazuhiko Hattori, Osamu Okuzawa, Toshiaki Hirata, Masayasu Ochiai	A Human Machine Interface for Silicon Compilation.	DAC	1988	DBLP BibTeX RDF
17	Craig Hansen	Hardware Logic Simulation by Compilation.	DAC	1988	DBLP BibTeX RDF
17	Shlomo Weiss, James E. Smith 0001	A Study of Scalar Compilation Techniques for Pipelined Supercomputers.	ASPLOS	1987	DBLP DOI BibTeX RDF
17	Lori L. Pollock, Mary Lou Soffa	Incremental Compilation of Locally Optimized Code.	POPL	1985	DBLP DOI BibTeX RDF
17	Hingsam S. Fung, Sanford Hirschhorn, R. Kulkarni	Design for testability in a silicon compilation environment.	DAC	1985	DBLP DOI BibTeX RDF
17	Steven P. Reiss	An approach to incremental compilation.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
12	Gwenaël Delaval, Hervé Marchand, Éric Rutten	Contracts for modular discrete controller synthesis.	LCTES	2010	DBLP DOI BibTeX RDF	adaptive and reconfigurable systems, discrete controller synthesis, components, modularity, contracts, reactive systems, synchronous programming
12	Jens Brandt 0001, Klaus Schneider 0001, Sandeep K. Shukla	Translating concurrent action oriented specifications to synchronous guarded actions.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands
12	Witawas Srisa-an, Myra B. Cohen, Yu Shang, Mithuna Soundararaj	A self-adjusting code cache manager to balance start-up time and memory usage.	CGO	2010	DBLP DOI BibTeX RDF	code cache, embedded systems, JIT
12	Adam Chlipala	A verified compiler for an impure functional language.	POPL	2010	DBLP DOI BibTeX RDF	compiler verification, interactive proof assistants
12	Cupertino Miranda, Philippe Dumont, Albert Cohen 0001, Marc Duranton, Antoniu Pop	ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	kpn, parallelism, synchronization, streaming, intermediate representation
12	Hao Zhong 0001, Suresh Thummalapenta, Tao Xie 0001, Lu Zhang 0023, Qing Wang	Mining API mapping for language migration.	ICSE (1)	2010	DBLP DOI BibTeX RDF	API mapping relation, language migration
12	Mehrdad Reshadi, Prabhat Mishra 0001, Nikil D. Dutt	Hybrid-compiled simulation: An efficient technique for instruction-set architecture simulation.	ACM Trans. Embed. Comput. Syst.	2009	DBLP DOI BibTeX RDF	interpretive simulation, partial evaluation, instruction set architecture, Compiled simulation
12	Todd D. Millstein, Christopher Frost 0001, Jason Ryder, Alessandro Warth	Expressive and modular predicate dispatch for Java.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	dynamic dispatch, Predicate dispatch, modular typechecking
12	Jiang Long, Andrew Seawright, Paparao Kavalipati	Multi-clock SVA synthesis without re-writing.	ASP-DAC	2009	DBLP DOI BibTeX RDF	SVA, multi-clock SVA assertions
12	Annette Bieniusa, Peter Thiemann 0001	How to CPS Transform a Monad.	CC	2009	DBLP DOI BibTeX RDF
12	Pedro C. Diniz, Ben H. H. Juurlink, Alain Darte, Wolfgang Karl	Introduction.	Euro-Par	2009	DBLP DOI BibTeX RDF
12	Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang	Modular Certification of Low-Level Intermediate Representation Programs.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
12	Luca Cardelli	Strand Algebras for DNA Computing.	DNA	2009	DBLP DOI BibTeX RDF
12	André Jodoin, Michel C. Desmarais	L'environnement de développement dynamique (EDD) pour le prototypage rapide d'interfaces graphiques.	IHM	2009	DBLP DOI BibTeX RDF	interface description languages, XML, visual programming, IDE, distributed environments, UIML
12	Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera	Typed transformations of typed abstract syntax.	TLDI	2009	DBLP DOI BibTeX RDF	typed transformations, type systems, meta-programming, gadt, common subexpression elimination
12	Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig	Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.	CALCO	2009	DBLP DOI BibTeX RDF
12	Juan A. Garay, Daniel Wichs, Hong-Sheng Zhou	Somewhat Non-committing Encryption and Efficient Adaptively Secure Oblivious Transfer.	CRYPTO	2009	DBLP DOI BibTeX RDF
12	Qiong Zou, Xiao-Feng Li, Long-Bing Zhang	Runtime Engine for Dynamic Profile Guided Stride Prefetching.	J. Comput. Sci. Technol.	2008	DBLP DOI BibTeX RDF	stride prefetching, runtime system, dynamic profiling
12	Sanghyun Park, Aviral Shrivastava, Nikil D. Dutt, Alexandru Nicolau, Yunheung Paek, Eugene Earlie	Register File Power Reduction Using Bypass Sensitive Compiler.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
12	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Stephen Tse	Verified interoperable implementations of security protocols.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Web services, Functional programming, pi calculus, XML security