|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4282 occurrences of 1824 keywords
|
|
|
Results
Found 6586 publication records. Showing 6586 according to the selection in the facets
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 |
|
Displaying result #301 - #400 of 6586 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|