Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
23	Narasimhan Ramasubramanian, Ram Subramanian, Santosh Pande	Automatic Compilation of Loops to Exploit Operator Parallelism on Configurable Arithmetic Logic Units.	IEEE Trans. Parallel Distributed Syst.	2002	DBLP DOI BibTeX RDF	operator parallelism, FPGAs, parallel computing, Compilers, loop transformation, reconfigurable systems
23	Christopher League, Zhong Shao, Valery Trifonov	Type-preserving compilation of Featherweight Java.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	object encodings, Java, type systems, typed intermediate languages
23	Peter M. W. Knijnenburg, Toru Kisuki, Michael F. P. O'Boyle	Iterative Compilation.	Embedded Processor Design Challenges	2002	DBLP DOI BibTeX RDF
23	Luke Wildman	A Formal Basis for a Program Compilation Proof Tool.	FME	2002	DBLP DOI BibTeX RDF
23	Marco Cadoli, Toni Mancini	Knowledge Compilation = Query Rewriting + View Synthesis. (PDF / PS)	PODS	2002	DBLP DOI BibTeX RDF	deductive databases., logic in databases, complexity
23	William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi	Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation.	IPDPS	2002	DBLP DOI BibTeX RDF
23	Dietmar Kreye	A Compilation Scheme for a Hierarchy of Array Types.	IFL	2001	DBLP DOI BibTeX RDF
23	Raimund Kirner, Peter P. Puschner	Transformation of Path Information for WCET Analysis during Compilation.	ECRTS	2001	DBLP DOI BibTeX RDF
23	Radu Rugina, Martin C. Rinard	Design-Driven Compilation.	CC	2001	DBLP DOI BibTeX RDF
23	Shin-ya Katsumata, Atsushi Ohori	Proof-Directed De-compilation of Low-Level Code.	ESOP	2001	DBLP DOI BibTeX RDF
23	Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey	Optimizing Compilation of Constraint Handling Rules.	ICLP	2001	DBLP DOI BibTeX RDF
23	Weimin Zheng, Fengzhou Zheng, Bo Yang, Yanling Wang	A Java Virtual Machine Design Based on Hybrid Concurrent Compilation Model.	TOOLS (36)	2000	DBLP DOI BibTeX RDF
23	Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey	A Model for Inter-module Analysis and Optimizing Compilation.	LOPSTR (LNCS 2042: Selected Papers)	2000	DBLP DOI BibTeX RDF
23	Mahmut T. Kandemir, J. Ramanujam	Data Relation Vectors: A New Abstraction for Data Optimizations.	IEEE PACT	2000	DBLP DOI BibTeX RDF
23	Atsushi Ohori	A Curry-Howard Isomorphism for Compilation and Program Execution.	TLCA	1999	DBLP DOI BibTeX RDF
23	Sophia Drossopoulou, Susan Eisenbach, David Wragg	A Fragment Calculus - Towards a Model of Separate Compilation, Linking and Binary Compatibility.	LICS	1999	DBLP DOI BibTeX RDF
23	Pramod G. Joisha, Prithviraj Banerjee	PARADIGM (version 2.0): A New HPF Compilation System.	IPPS/SPDP	1999	DBLP DOI BibTeX RDF
23	Karl Lermer, Colin J. Fidge	A Formal Model of Real-Time Program Compilation.	ARTS	1999	DBLP DOI BibTeX RDF
23	Egon Börger, Wolfram Schulte	Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation.	MFCS	1998	DBLP DOI BibTeX RDF
23	Catherine H. Gebotys, Robert J. Gebotys	Complexities in DSP Software Compilation: Performance, Code Size Power, Retargetability.	HICSS (3)	1998	DBLP DOI BibTeX RDF
23	Xian-He Sun, Mario Pantano, Thomas Fahringer	Performance Range Comparison for Restructuring Compilation.	ICPP	1998	DBLP DOI BibTeX RDF
23	Karl Lermer, Colin J. Fidge	A Methodology for Compilation of High-Integrity Real-Time Programs.	Euro-Par	1997	DBLP DOI BibTeX RDF
23	Martin C. Herbordt, Owais Kidwai, Charles C. Weems	Preprototyping SIMD Coprocessors Using Virtual Machine Emulation and Trace Compilation.	SIGMETRICS	1997	DBLP DOI BibTeX RDF
23	Andrew D. Gordon 0001, Paul D. Hankin, Søren B. Lassen	Compilation and Equivalence of Imperative Objects.	FSTTCS	1997	DBLP DOI BibTeX RDF
23	Dongha Shin, Michael L. Hilton	Compilation of Disjunctive Logic Programs Using an Extended WAM.	COMPSAC	1996	DBLP DOI BibTeX RDF
23	Alberto Marchetti-Spaccamela, Umberto Nanni, Hans Rohnert	On-line Graph Algorithms for Incremental Compilation.	WG	1993	DBLP DOI BibTeX RDF
23	Keith R. Levi, David L. Perschbacher, Mark A. Hoffman, Christopher A. Miller 0001, Barry B. Druhan, Valerie L. Shalin	An Explanation-Based-Learning Approach to Knowledge Compilation: A Pilot's Associate Application.	IEEE Expert	1992	DBLP DOI BibTeX RDF
23	Anna Hac, Raghavendra Rao Loka	A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application.	SEKE	1992	DBLP DOI BibTeX RDF
23	Jean-Luc Levaire	Semantics and Compilation of the Data-Parallel Switch Statement.	CONPAR	1992	DBLP DOI BibTeX RDF
23	Joachim Apel, Uwe Klaus	Data Representation and In-built Compilation in the Computer Algebra Program FELIX.	DISCO	1992	DBLP DOI BibTeX RDF
23	Larry G. Jones	Fast batch incremental netlist compilation hierarchical schematics.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
23	Tom Curley	An Approach To Benchmarking Ada Compilation Systems.	Ada-Europe	1991	DBLP DOI BibTeX RDF
23	Sang Ho Lee, Lawrence J. Henschen	Substitution-based Compilation of Extended Rules in Deductive Databases.	CADE	1990	DBLP DOI BibTeX RDF
23	Steven Anderson, Paul Hudak	Compilation of Haskell Array Comprehensions for Scientific Computing.	PLDI	1990	DBLP DOI BibTeX RDF
23	Eduard Klein, Kai Koskimies	Parallel One-Pass Compilation.	WAGA	1990	DBLP DOI BibTeX RDF
23	Per Andersson, Lars H. Philipson	Movie-an interactive environment for silicon compilation tools.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
23	Toshio Nakatani, Kemal Ebcioglu	"Combining" as a compilation technique for VLIW architectures.	MICRO	1989	DBLP DOI BibTeX RDF
23	Pascal Fradet, Daniel Le Métayer	Compilation of Lambda-Calculus into Functional Machine Code.	TAPSOFT, Vol.2	1989	DBLP DOI BibTeX RDF
23	Thomas R. Gross, Angelika Zobel, Markus Zolg	Parallel Compilation for a Parallel Machine.	PLDI	1989	DBLP DOI BibTeX RDF	Ethernet
23	Christian Lengauer	Towards Systolizing Compilation: An Overview.	PARLE (2)	1989	DBLP DOI BibTeX RDF
23	Kemal Ebcioglu	A compilation technique for software pipelining of loops with conditional jumps.	MICRO	1987	DBLP DOI BibTeX RDF
23	Norman J. Elias	A Case Study in Silicon Compilation Software Engineering, HVDEV High Voltage Device Layout Generator.	DAC	1987	DBLP DOI BibTeX RDF
23	Jiro Tanaka, Makoto Kishishita	Compiling Extended Concurrent Prolog - Single Queue Compilation.	ESOP	1986	DBLP DOI BibTeX RDF
23	Mayer D. Schwartz, Norman M. Delisle, Vimal S. Begwani	Incremental compilation in Magpie.	SIGPLAN Symposium on Compiler Construction	1984	DBLP DOI BibTeX RDF
23	Christian Bertin, Christophe Guillon, Koen De Bosschere	Compilation and virtualization in the HiPEAC vision.	DAC	2010	DBLP DOI BibTeX RDF	HiPEAC, deferred compilation, embedded virtualization
23	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
23	Zhelong Pan, Rudolf Eigenmann	Fast, automatic, procedure-level performance tuning.	PACT	2006	DBLP DOI BibTeX RDF	optimization orchestration, performance tuning, dynamic compilation
23	Luca Console, Paolo Terenziani, Daniele Theseider Dupré	Local Reasoning and Knowledge Compilation for Efficient Temporal Abduction.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	computing explanations, knowledge-based systems, temporal reasoning, efficient algorithms, Abductive reasoning, knowledge compilation
23	Johan Van Praet, Dirk Lanneer, Werner Geurts, Gert Goossens	Processor modeling and code selection for retargetable compilation.	ACM Trans. Design Autom. Electr. Syst.	2001	DBLP DOI BibTeX RDF	code selection, graph instruction set graph, retargetable code generation, embedded systems, system design, retargetable compilation, processor modeling
23	Johan Cockx	Whole program compilation for embedded software: the ADSL experiment.	CODES	2001	DBLP DOI BibTeX RDF	interprocedural optimization, whole program compilation, C++, embedded software
23	Daniel Weil, Valérie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou	Efficient compilation of ESTEREL for real-time embedded systems.	CASES	2000	DBLP DOI BibTeX RDF	reactive applications, embedded systems, real-time, compilation, synchronous, automata, ESTEREL
23	David Ung, Cristina Cifuentes	Machine-adaptable dynamic binary translation.	Dynamo	2000	DBLP DOI BibTeX RDF	interpretation, emulation, binary translation, dynamic compilation, dynamic execution
23	Marcello Lajolo, Mihai T. Lazarescu, Alberto L. Sangiovanni-Vincentelli	A compilation-based software estimation scheme for hardware/software co-simulation.	CODES	1999	DBLP DOI BibTeX RDF	compilation, delay modeling, software estimation
23	João M. P. Cardoso, Horácio C. Neto	Macro-Based Hardware Compilation of Java(tm) Bytecodes into a Dynamic Reconfigurable Computing System.	FCCM	1999	DBLP DOI BibTeX RDF	FPGAs, Reconfigurable Computing, Behavioral Synthesis, Hardware Compilation
23	Adrian Johnstone, Elizabeth Scott, Tim Womack	Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C.	ICSM	1999	DBLP DOI BibTeX RDF	reverse compilation, low to high level language translation, digital signal processing
23	Luc Bougé, Philip J. Hatcher, Raymond Namyst, Christian Pérez	A Multithreaded Runtime Environment with Thread Migration for a HPF Data-Parallel Compiler.	IEEE PACT	1998	DBLP DOI BibTeX RDF	Load Balancing, Compilation, Thread migration, Data-parallel languages
23	Brian L. Deitrich, Ben-Chung Cheng, Wen-mei W. Hwu	Improving Static Branch Prediction in a Compiler.	IEEE PACT	1998	DBLP DOI BibTeX RDF	static branch prediction, profile-based compilation
23	Rogardt Heldal, John Hughes 0001	Partial Evaluation and Separate Compilation.	PEPM	1997	DBLP DOI BibTeX RDF	partial evaluation, modules, separate compilation
23	Jean-Louis Giavitto, Dominique De Vito, Olivier Michel 0001	Semantics and Compilation of Recursive Sequential Streams in 8½.	PLILP	1997	DBLP DOI BibTeX RDF	compilation of dataflow graphs, stream, clock
23	Kemal Ebcioglu, Erik R. Altman	DAISY: Dynamic Compilation for 100% Architectural Compatibility.	ISCA	1997	DBLP DOI BibTeX RDF	object code compatible VLIW, instruction-level parallelism, superscalar, binary translation, dynamic compilation
23	Bart Selman, Henry A. Kautz	Knowledge Compilation and Theory Approximation.	J. ACM	1996	DBLP DOI BibTeX RDF	efficient reasoning methods, knowledge-base optimization, theory approximation, query evaluation, Horn clauses, knowledge compilation
23	Zhaoqing Zhang, Gao Nianshu, Ruliang Qiao, Qiang Liu	Advanced compilation techniques used in PORT system.	ISPAN	1996	DBLP DOI BibTeX RDF	optimization, parallelization, compilation, software tools, visual programming, data flow analysis, flow analysis, visualization tools, PORT, parallelising compilers, data dependence analysis, optimising compilers
23	Atsushi Ohori	A Polymorphic Record Calculus and Its Compilation.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	record calculus, compilation, polymorphism, type inference, type theory
23	Michael F. P. O'Boyle	A hierarchical locality algorithm for NUMA compilation.	PDP	1995	DBLP DOI BibTeX RDF	hierarchical locality algorithm, NUMA compilation, latency overhead, parallel hierarchical memory machines, nonlocal accesses, compound sequenc, complex array accesses, general iteration spaces, strip mining, parallel machines, program compilers, storage management, distributed memory systems, memory structure, program locality, unimodular transformations, data alignment, compiler algorithm
23	Manuel Serrano	Control flow analysis: a functional languages compilation paradigm.	SAC	1995	DBLP DOI BibTeX RDF	closure analysis, compilation, ML, scheme, SCHEME, control flow analysis
23	Roberto Manione, Alberto Lagna	Simulation of object-oriented distributed systems via compilation to concurrent process level.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	object-oriented distributed systems, concurrent process level, object based software architectures, object based software platforms, prototype CASE environment, ACE computational model, TINA-C architecture, simulation engine, ACE language semantics, asynchronous method invocation, method guards, state of the art workstation, formal specification, parallel processing, compilation, programming environments, digital simulation, templates, object-oriented methods, computer aided software engineering, computational linguistics, Building Block, application specification, application generators, parallelising compilers, object oriented simulation, concurrent objects, program processors
23	Kazuhiro Ogata 0001, Norihisa Doi	Object allocation and dynamic compilation in MultithreadSmalltalk.	SAC	1994	DBLP DOI BibTeX RDF	MultithreadSmalltalk, multiprocessor, Smalltalk, Smalltalk, dynamic compilation, object allocation
23	Aart J. C. Bik, Harry A. G. Wijshoff	Compilation Techniques for Sparse Matrix Computations.	International Conference on Supercomputing	1993	DBLP DOI BibTeX RDF	optimization, program transformations, sparse matrices, compilation techniques, sparse computations, restructuring compilers
23	Cheong Youn, Hyoung-Joo Kim, Lawrence J. Henschen, Jiawei Han 0001	Classification and Compilation of Linear Recursive Queries in Deductive Databases.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	linear recursive queries, I-graph, resolution graph, query evaluation plan, query compilation, query processing, query languages, deductive databases, deductive databases, graph model
23	Mark A. Linton, Russell W. Quong	A Macroscopic Profile of Program Compilation and Linking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	macroscopic profile, incremental programming environment, incremental linker, program compilation, program compilers
22	Nils Quetschlich, Lukas Burgholzer, Robert Wille	Reducing the Compilation Time of Quantum Circuits Using Pre-Compilation on the Gate Level.	QCE	2023	DBLP DOI BibTeX RDF
22	Agustín Borgna	Towards a formal compilation stack-frame in quantum computing. (Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique).		2023	RDF
22	Samira Ait Bensaid	Formal Semantics of Hardware Compilation Framework. (Sémantique formelle d'une infrastructure de compilation matériel).		2023	RDF
22	Luc Forget	Description and compilation of ad-hoc arithmetic operators in the context of High-Level Synthesis. (Description et compilation d'opérateurs arithmétique ad-hoc dans un contexte de synthèse de haut niveau).		2023	RDF
22	Tiago Santos, João Bispo, João M. P. Cardoso	A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C++ Applications.	PACT	2023	DBLP DOI BibTeX RDF
22	Aurèle Barrière	Formal Verification of Just-in-Time Compilation. (Vérification Formelle de Compilation à la Volée).		2022	RDF
22	Sergej Scheck	Knowledge compilation for nondeterministic action languages. (Compilation de connaissances pour les langages d'actions non déterministes).		2022	RDF
22	Hugo Pompougnac	Spécification et compilation de réseaux de neurones embarqués. (Specification and compilation of embedded neural networks).		2022	RDF
22	Pierre Nigron	Programmes avec effets et leurs preuves dans la théorie des types : application à la compilation certifiée et aux traitements de paquets certifiés. (Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing).		2022	RDF
22	Haoran Xu, Fredrik Kjolstad	Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
22	Marco Patrignani, Deepak Garg 0001	Robustly Safe Compilation, an Efficient Form of Secure Compilation.	ACM Trans. Program. Lang. Syst.	2021	DBLP DOI BibTeX RDF
22	Gaspard Ducamp	PROCOP : probabilistic rules compilation and optimisation. (PROCOP : compilation et optimisation de règles métiers probabilistes).		2021	RDF
22	Tiago Trevisan Jost	Compilation and optimizations for variable precision floating-Point arithmetic : from language and libraries to code generation. (Compilation et optimisations pour l'arithmétique à virgule flottante en précision variable : du langage et des bibliothèques à la génération de code).		2021	RDF
22	Rémi Hutin	Compilation vérifiée et sécurisée contre les canaux cachés temporels. (Verified Secure Compilation against Timing Side-Channels).		2021	RDF
22	Son Tuan Vu	Optimizing Property-Preserving Compilation. (Préservation des propriétés dans un flot de compilation optimisant).		2021	RDF
22	Sandrine Blazy	From Verified Compilation to Secure Compilation: a Semantic Approach.	PLAS@CCS	2020	DBLP DOI BibTeX RDF
22	Lélio Brun	Mechanized semantics and verified compilation for a dataflow synchronous language with reset. (Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation).		2020	RDF
22	Romain Wallon	Pseudo-Boolean Reasoning and Compilation. (Raisonnement à partir de contraintes pseudo-booléennes et compilation).		2020	RDF
22	Marco Patrignani, Amal Ahmed 0001, Dave Clarke 0001	Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work.	ACM Comput. Surv.	2019	DBLP DOI BibTeX RDF
22	Ross Feller	SLEW TEW - A Compilation of Compilation Tracks 2003-2017.	Comput. Music. J.	2019	DBLP DOI BibTeX RDF
22	Paul Gazzillo, Shiyi Wei	Conditional compilation is dead, long live conditional compilation!	ICSE (NIER)	2019	DBLP DOI BibTeX RDF
22	Chandan Reddy 0001	Polyhedral Compilation for Domain Specific Languages. (Compilation polyédrique pour les langages dédiés).		2019	RDF
22	Nicolas Belleville	Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire. (Automated application of countermeasures against side-channel attacks by compilation).		2019	RDF
22	Alexandre Dang	Secure Compilation for Memory Protection. (Compilation Sécurisée pour la Protection de la Mémoire).		2019	RDF
22	Marco Patrignani, Deepak Garg 0001	Robustly Safe Compilation or, Efficient, Provably Secure Compilation.	CoRR	2018	DBLP BibTeX RDF
22	Alix Trieu	Verifying Constant-Time Implementations in a Verified Compilation Toolchain. (Vérification d'implémentations constant-time dans une chaîne de compilation vérifiée).		2018	RDF
22	Adilla Susungi	Analysis and Compilation of Parallel Programming Languages. (Analyse et compilation de langages de programmation parallèle).		2018	RDF
22	Louis Jachiet	On the foundations for the compilation of web data queries: optimization and distributed evaluation of SPARQL. (Sur la compilation des langages de requêtes pour le web des données : optimisation et évaluation distribuée de SPARQL).		2018	RDF
22	Yon Fernández de Retana	Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques. (Toward verified compilation of Sea of Nodes : semantic properties and reasoning).		2018	RDF
22	Nelson Lossing	Compilation pour machines à mémoire répartie: une approche multipasse. (Compilation for distributed memory machines: a multipass approach).		2017	RDF