Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Jean-Philippe Prost, Rémi Coletta, Christophe Lecoutre |
Compilation de grammaire de propriétés pour l'analyse syntaxique par optimisation de contraintes (Compilation of a Property Grammar for Syntactic Parsing through Constraint Optimisation). |
JEP-TALN-RECITAL (Posters) |
2016 |
DBLP BibTeX RDF |
|
22 | Diogo Sampaio |
Profile Guided Hybrid Compilation. (Compilation hybride guidée pour Profil). |
|
2016 |
RDF |
|
22 | Ivan Llopard |
Programming Embedded Manycore : Refinement and Optimizing Compilation of a Parallel Action Language for Hierarchical State Machines. (Programmation de systèmes embarqués many-core : Raffinement et compilation optimisante d'un langage d'action parallèle pour machines à états hiérarchiques). |
|
2016 |
RDF |
|
22 | Pierre Wilke |
Formally verified compilation of low-level C code. (Compilation formellement vérifiée de code C de bas-niveau). |
|
2016 |
RDF |
|
22 | Simon Fau |
Cryptocomputing systems, compilation and runtime. (Systèmes de cryptocalculs, compilation et support d'exécution). |
|
2016 |
RDF |
|
22 | Pierre Guillou |
Compilation efficace d'applications de traitement d'images pour processeurs manycore. (Efficient Compilation of Image Processing Applications for Manycore Processors). |
|
2016 |
RDF |
|
22 | Juan Manuel Martinez Caamaño |
Fast and Flexible Compilation Techniques for Effective Speculative Polyhedral Parallelization. (Techniques de compilation rapides et flexibles pour une parallélisation polyédrique speculative efficace). |
|
2016 |
RDF |
|
22 | Chandan Reddy 0001, Michael Kruse, Albert Cohen 0001 |
Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPU. |
PACT |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Dumitru Potop-Butucaru |
Real-Time Systems Compilation. (Compilation de systèmes temps réel). |
|
2015 |
RDF |
|
22 | Aravind Sukumaran-Rajam |
Beyond the Realm of the Polyhedral Model: Combining Speculative Program Parallelization with Polyhedral Compilation. (Au delà des limites du modèle polyédrique: en combinant la parallélisation spéculative de programmes et la compilation polyédrique). |
|
2015 |
RDF |
|
22 | Marco Patrignani |
The Tome of Secure Compilation: Fully Abstract Compilation to Protected Modules Architectures ; Het boek van veilige compilatie: Volledig abstracte compilatie naar beschermende modulearchitecturen. (PDF / PS) |
|
2015 |
RDF |
|
22 | Mickaël Dardaillon |
Compilation d'applications flot de données paramétriques pour MPSoC dédiés à la radio logicielle. (Compilation of Parametric Dataflow Applications for Software-Defined-Radio-Dedicated MPSoCs). |
|
2014 |
RDF |
|
22 | Adrien Basso-Blandin |
Gubs, un langage de description comportementale pour la biologie de synthèse : Conception d'un langage dédié à la conception de fonctions biologiques de synthèse par compilation de spécifications comportementales. (Gubs, a behavioral description language for synthetic biology / Gubs, a behavioral description language for synthetic biology : Conception of a domain specific language dedicated to synthetic biology using behavioral specifications compilation). |
|
2014 |
RDF |
|
22 | André Oliveira Maroneze |
Certified Compilation and Worst-Case Execution Time Estimation. (Compilation formellement vérifiée et estimation du pire temps d'éxécution). |
|
2014 |
RDF |
|
22 | Thomas Pinsard |
Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation. (Nested atomic sections with thread escape : semantics and compilation). |
|
2014 |
RDF |
|
22 | Thomas Carle |
Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes. (Efficient compilation of embedded control specifications with complex functional and non-functional properties). |
|
2014 |
RDF |
|
22 | Kyongjin Jo, Seon Wook Kim, Jong-Kook Kim |
DiSCo: Distributed Scalable Compilation Tool for Heavy Compilation Workload. |
IEICE Trans. Inf. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Igor Böhm |
Speeding up dynamic compilation : concurrent and parallel dynamic compilation. |
|
2013 |
RDF |
|
22 | Ramakrishna Upadrasta |
Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra. (Compilation sous-polyédrique reposant sur des systèmes à deux variables par inégalité). |
|
2013 |
RDF |
|
22 | Cédric Auger |
Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE). |
|
2013 |
RDF |
|
22 | Cupertino Miranda |
Erbium : Reconciling languages, runtimes, compilation and optimizations for streaming applications. (Erbium : réconcilier les langages, les supports d'exécution, la compilation, et les optimisations pour calculs sur des flux de données). |
|
2013 |
RDF |
|
22 | Lukasz Fronc |
Compilation de réseaux de Petri : modèles haut niveau et symétries de processus. (Compilation of Petri nets : high-level models and process symmetries). |
|
2013 |
RDF |
|
22 | Léonard Gérard |
Programmer le paralle'lisme avec des futures en Heptagon un langage synchrone flot de donne'es et e'tude des re'seaux de Kahn en vue d'une compilation synchrone. (Programming parallelism with futures in Heptagon a synchronous functional language, and, study of Kahn networks aiming synchronous compilation). |
|
2013 |
RDF |
|
22 | Alexandre Niveau |
Compilation de connaissances pour la décision en ligne : application à la conduite de systèmes autonomes. (Knowledge compilation for online decision-making : application to the control of autonomous systems). |
|
2012 |
RDF |
|
22 | Antoine Floch |
Compilation optimisante pour processeurs extensibles. (Optimizing Compilation for Extensible Processors). |
|
2012 |
RDF |
|
22 | Tahina Ramananandro |
Mechanized Formal Semantics and Verified Compilation for C++ Objects. (Les objets en C++ : sémantique formelle mécanisée et compilation vérifiée). |
|
2012 |
RDF |
|
22 | Andréea Chis |
Methods and tools for the compilation and software optimization of wireless embedded systems dedicated to applications. (Méthodes et outils pour la compilation et l'optimisation logicielle des systèmes embarqués sans fil dédiés à des applications). |
|
2012 |
RDF |
|
22 | Quentin Colombet |
Decoupled (SSA-based) register allocators : from theory to practice, coping with just-in-time compilation and embedded processors constraints. (Allocation de registres découplée (basée sur la formulation SSA) : De la théorie à la pratique, faire face aux contraintes liées à la compilation juste à temps et aux processeurs embarqués). |
|
2012 |
RDF |
|
22 | Konrad Trifunovic |
Efficient search-based strategies for polyhedral compilation : algorithms and experience in a production compiler. (Stratégies exploratoires efficaces pour la compilation polyédrique : algorithmes et expérience dans un compilateur de production). |
|
2011 |
RDF |
|
22 | Mohamed-Anis Mekki |
Synthèse et compilation de services web sécurisés. (Synthesis and Compilation of Secured Web Services). |
|
2011 |
RDF |
|
22 | Benoît Pradelle |
Static and Dynamic Methods of Polyhedral Compilation for an Efficient Execution in Multicore Environments. (Méthodes Statiques et Dynamiques de Compilation Polyédrique pour l'Exécution en Environnement Multi-Cœurs). |
|
2011 |
RDF |
|
22 | Mrudula Nimbarte, Smita Nagtode |
Method based technique of compilation with compilation server. |
A2CWiC |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Matthieu Wipliez |
Compilation infrastructure for dataflow programs. (Infrastructure de compilation pour des programmes flux de données). |
|
2010 |
RDF |
|
22 | Rajkishore Barik, Jisheng Zhao, Vivek Sarkar |
Automatic vector instruction selection for dynamic compilation. |
PACT |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Olivier Sallenave, Roland Ducournau |
Efficient compilation of .NET programs for embedded systems. |
ICOOOLPS@ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Amir Hormati, Yoonseo Choi, Manjunath Kudlur, Rodric M. Rabbah, Trevor N. Mudge, Scott A. Mahlke |
Flextream: Adaptive Compilation of Streaming Applications for Heterogeneous Architectures. |
PACT |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Sara Elshobaky, Ahmed El-Mahdy 0002, Ahmed El-Nahas |
Automatic vectorization using dynamic compilation and tree pattern matching technique in Jikes RVM. |
ICOOOLPS@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
Just-In-Time compilation on ARM processors. |
ICOOOLPS@ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Raghavendra Rao Loka |
Compilation reuse and hybrid compilation: an experiment. |
ACM SIGPLAN Notices |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Antoine Reilles |
Réécriture et compilation de confiance. (Rewriting and trustworthy compilation). |
|
2006 |
RDF |
|
22 | Leonardo R. Bachega, Siddhartha Chatterjee, Kenneth A. Dockser, John A. Gunnels, Manish Gupta 0002, Fred G. Gustavson, Christopher A. Lapkowski, Gary K. Liu, Mark P. Mendell, Charles D. Wait, T. J. Christopher Ward |
A High-Performance SIMD Floating Point Unit for BlueGene/L: Architecture, Compilation, and Algorithm Design. |
IEEE PACT |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Maurício Breternitz Jr., Herbert H. J. Hum, Sanjeev Kumar |
Compilation, Architectural Support, and Evaluation of SIMD Graphics Pipeline Programs on a General-Purpose CPU. |
IEEE PACT |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Ménard |
Méthodologie de compilation d'algorithmes de traitement du signal pour les processeurs en virgule fixe sous contrainte de précision. (Compilation of Signal Processing Algorithm into fixed-point Processor under accuracy constraint). |
|
2002 |
RDF |
|
22 | Tatiana Shpeisman, Guei-Yuan Lueh, Ali-Reza Adl-Tabatabai |
Just-In-Time Java? Compilation for the Itanium® Processor. |
IEEE PACT |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Santosh Pande, Tareq Bali |
A Compilation Method for Communication-Efficient Partitioning of DOALL Loops. |
Compiler Optimizations for Scalable Parallel Systems Languages |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Ron Cytron, Vivek Sarkar |
Dynamic compilation in Jalapeño (Panel Session). |
Dynamo |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Jeffrey Hammes, Robert Rinker, A. P. Wim Böhm, Walid A. Najjar, Bruce A. Draper, J. Ross Beveridge |
Cameron: High level Language Compilation for Reconfigurable Systems. |
IEEE PACT |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Erven Rohou |
Infrastructures et stratégies de compilation pour parallélisme à grain fin. (Infrastructures and Compilation Strategies for Instruction-Level Parallelism). |
|
1998 |
RDF |
|
22 | Andreas Krall |
Efficient JavaVM Just-in-Time Compilation. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Yves Mahéo |
Environnement pour la compilation dirigée par les données : supports d'exécution et expérimentations. (Environments for data-driven compilation: execution supports and experiments). |
|
1995 |
RDF |
|
22 | Daniel Diaz |
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD). (Study of the Compilation of Contraint Logic Programming Languages over Finite Domains: the clp(FD) system). |
|
1995 |
RDF |
|
22 | Elena Trichina |
From functional equations to Occam programs: systolizing compilation. |
PACT |
1995 |
DBLP BibTeX RDF |
|
22 | Michel Cosnard, Guang R. Gao, Gabriel M. Silberman (eds.) |
Parallel Architectures and Compilation Techniques, Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques, PACT'94, Montréal, Canada, 24-26 August, 1994 |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Mantipragada Srinivas, Alexandru Nicolau, Vicki H. Allan |
An Approach to Combine Predicated/Speculative Execution for Programs with Unpredictable Branches. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Shigeru Kusakabe, Eiichi Takahashi, Rin-Ichiro Taniguchi, Makoto Amamiya |
Dataflow-Based Lenient Implementation of a Functional Language, Valid, on Conventional Multi-processors. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Mitsuhisa Sato, Yuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi |
EM-C: Programming with Explicit Parallelism and Locality for EM-4 Multiprocessor. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Abhaya Asthana, Mark Cravatts, Paul Krzyzanowski |
Towards a Programming Environment for a Computer with Intelligent Memory. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Robert E. Bixby, Ken Kennedy, Ulrich Kremer |
Automatic Data Layout Using 0-1 Integer Programming. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | David F. Snelling, Gregory K. Egan |
A Comparative Study of Data-Flow Architectures. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Rajeev J. Surati, Andrew A. Berlin |
Exploiting the Parallelism Exposed by Partial Evaluation. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Ernesto Su, Daniel J. Palermo, Prithviraj Banerjee |
Processor Tagged Descriptors: A Data Structure for Compiling for Distributed-Memory Multicomputers. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Vicki H. Allan, M. R. O'Neill |
Software pipelining: A Genetic Algorithm Approach. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | James S. Mattson Jr., William G. Griswold |
Speculative Evaluation for Parallel Graph Reduction. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Péter Kacsuk |
Dataflow and Logicflow Models for Defining a Parallel Prolog Abstract Machine. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Sumit Sur, A. P. Wim Böhm |
Functional I-structure, and M-structure Implementations of NAS Benchmark FT. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Mayez A. Al-Mouhamed, Lubomir Bic |
Effects of Loop Fusion and Statement Migration on the Speedup of Vector Multiprocessors. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Inkyu Kim, Michael Wolfe |
Communication Analysis for Multicomputer Compilers. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Benoît Dupont de Dinechin |
An Introduction to Simplex Scheduling. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Jonas Vasell |
Static vs. Dynamic Strategies for Fine-Grain Dataflow Synchronization. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Panos Rondogiannis, William W. Wadge |
Compiling Higher-Order Functions for Tagged-Dataflow. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Tor E. Jeremiassen, Susan J. Eggers |
Static Analysis of Barrier Synchronization in Explicitly Parallel Programs. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Olivier Maffeïs, Paul Le Guernic |
From SIGNAL to fine-grain parallel implementations. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Lucas Roh, Walid A. Najjar, Bhanu Shankar, A. P. Wim Böhm |
An Evaluation of Optimized Threaded Code Generation. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Evan Tick |
Practical Static Mode Analyses of Concurrent Logic Languages. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Rainer Leupers, Wolfgang Schenk, Peter Marwedel |
Microcode Generation for Flexible Parallel Target Architectures. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | David Glasco, Bruce Delagi, Michael J. Flynn |
The Impact of Cache Coherence Protocols on Systems using Fine-Grain Data Synchronization. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | David H. Albonesi, Israel Koren |
Tradeoffs in the Design of Single Chip Multiprocessors. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Hiecheol Kim, Jean-Luc Gaudiot |
Exploitation of Fine-grain Parallelism in Logic Languages on Massively Parallel Architectures. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Cyril Meurillon, Ciaran O'Donnell |
Representing Control Flow Behaviour of Programs. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Ron Sass, Matt W. Mutka |
Transformations on Doubly Nested Loops. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Andrea Capitanio, Nikil D. Dutt, Alexandru Nicolau |
Partitioning of Variables for Multiple-Register-File Architectures via Hypergraph Coloring. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Jian Wang 0046, Andreas Krall, M. Anton Ertl, Christine Eisenbeis |
Trace Software Pipelining: A Novel Technique for Parallelization of Loops with Branches. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Jesper Vasell |
A Fine-Grain Threaded Abstract Machine. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Barton C. Massey, Evan Tick |
Demand-Driven Dataflow for Concurrent Committed-Choice Code. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Andrew Sohn, Lingmian Kong, Mitsuhisa Sato |
Progress Report on Porting Sisal to the EM-4 Multiprocessor. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Chris J. Newburn, Derek B. Noonburg, John Paul Shen |
A PDG-based Tool and its Use in Analyzing Program Control Dependences. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Avi Mendelson, Bilha Mendelson |
Toward a General-Purpose Multi-Stream System. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | David A. Berson, Rajiv Gupta 0001, Mary Lou Soffa |
Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Scott M. Denton, John Feo, Patrick Miller |
Realizing Parallel Reduction Operations in Sisal 1.2. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | John Sargeant, Chris C. Kirkham, Steve Anderson |
Towards a Computational Model for UFO. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Hidemoto Nakada, Takuya Araki, Hanpei Koike, Hidehiko Tanaka |
A Fleng Compiler for PIE64. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Trung N. Nguyen, Farnaz Mounes-Toussi, David J. Lilja, Zhiyuan Li 0001 |
A Compiler-Assisted Scheme for Adaptive Cache Coherence Enforcement. |
IFIP PACT |
1994 |
DBLP BibTeX RDF |
|
22 | Tamiya Onodera |
Reducing Compilation Time by a Compilation Server. |
Softw. Pract. Exp. |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Pierre Wodey |
Compilation de programmes VHDL en vue de l'évaluation de testabilité d'équipements digitaux. (Compilation of VHDL programs for analysing testability of asynchronous digital devices). |
|
1993 |
RDF |
|
22 | Pascal Raymond |
Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3. (Efficient Compilation of a Declarative Synchronous Language:the Lustre-V3 Code Generator). |
|
1991 |
RDF |
|
22 | Hiep Nguyen Van |
Compilation et environnement d'exécution d'un langage à base d'objets. (Compilation and executing environnement of an object based language). |
|
1991 |
RDF |
|
22 | Ahmed Amine Jerraya |
Contribution à la compilation de silicium et au compilateur SYCO. (Silicon compilation and the syco silicon compiler). |
|
1989 |
RDF |
|
22 | Philippe Bondono |
Contribution à NAUTILE : un environnement pour la compilation du silicium. (Contribution to nautile : an environment for silicon compilation). |
|
1989 |
RDF |
|
22 | Patrick Varinot |
Compilation du silicium : application à la compilation de partie contrôle. |
|
1987 |
RDF |
|
22 | Jean-Pierre Schoellkopf |
SILICIEL : Contributions à l'architecture des cicuits intégrés at à la compilation du silicium. (SILICIEL: contributions to integrated circuit architecture and silicon compilation). |
|
1985 |
RDF |
|