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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
JEP-TALN-RECITAL (Posters) ![In: Actes de la conférence conjointe JEP-TALN-RECITAL 2016. Volume 2 : TALN (Posters), Paris, France, July 4-8, 2016, pp. 396-402, 2016, AFCP - ATALA. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
22 | Diogo Sampaio |
Profile Guided Hybrid Compilation. (Compilation hybride guidée pour Profil). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
22 | Pierre Wilke |
Formally verified compilation of low-level C code. (Compilation formellement vérifiée de code C de bas-niveau). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
22 | Simon Fau |
Cryptocomputing systems, compilation and runtime. (Systèmes de cryptocalculs, compilation et support d'exécution). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
22 | Chandan Reddy 0001, Michael Kruse, Albert Cohen 0001 |
Reduction Drawing: Language Constructs and Polyhedral Compilation for Reductions on GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, PACT 2016, Haifa, Israel, September 11-15, 2016, pp. 87-97, 2016, ACM, 978-1-4503-4121-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Dumitru Potop-Butucaru |
Real-Time Systems Compilation. (Compilation de systèmes temps réel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
22 | Kyongjin Jo, Seon Wook Kim, Jong-Kook Kim |
DiSCo: Distributed Scalable Compilation Tool for Heavy Compilation Workload. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 96-D(3), pp. 589-600, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Igor Böhm |
Speeding up dynamic compilation : concurrent and parallel dynamic compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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é). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
22 | Cédric Auger |
Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2012 |
RDF |
|
22 | Antoine Floch |
Compilation optimisante pour processeurs extensibles. (Optimizing Compilation for Extensible Processors). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
22 | Mohamed-Anis Mekki |
Synthèse et compilation de services web sécurisés. (Synthesis and Compilation of Secured Web Services). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
22 | Mrudula Nimbarte, Smita Nagtode |
Method based technique of compilation with compilation server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A2CWiC ![In: Proceedings of the 1st Amrita ACM-W Celebration on Women in Computing in India, September 16-17, 2010, Tamilnadu, India, pp. 11:1-11:6, 2010, ACM, 978-1-4503-0194-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Matthieu Wipliez |
Compilation infrastructure for dataflow programs. (Infrastructure de compilation pour des programmes flux de données). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
22 | Rajkishore Barik, Jisheng Zhao, Vivek Sarkar |
Automatic vector instruction selection for dynamic compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: 19th International Conference on Parallel Architectures and Compilation Techniques, PACT 2010, Vienna, Austria, September 11-15, 2010, pp. 573-574, 2010, ACM, 978-1-4503-0178-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Olivier Sallenave, Roland Ducournau |
Efficient compilation of .NET programs for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOOOLPS@ECOOP ![In: Proceedings of the Workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2010, Maribor, Slovenia, June 22, 2010, pp. 3:1-3:8, 2010, ACM, 978-1-4503-0537-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: PACT 2009, Proceedings of the 18th International Conference on Parallel Architectures and Compilation Techniques, 12-16 September 2009, Raleigh, North Carolina, USA, pp. 214-223, 2009, IEEE Computer Society, 978-0-7695-3771-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOOOLPS@ECOOP ![In: Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS 2009, Genova, Italy, July 6, 2009, pp. 63-69, 2009, ACM, 978-1-60558-541-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Michele Tartara, Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi |
Just-In-Time compilation on ARM processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOOOLPS@ECOOP ![In: Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, ICOOOLPS 2009, Genova, Italy, July 6, 2009, pp. 70-73, 2009, ACM, 978-1-60558-541-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Raghavendra Rao Loka |
Compilation reuse and hybrid compilation: an experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(4), pp. 42-49, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Antoine Reilles |
Réécriture et compilation de confiance. (Rewriting and trustworthy compilation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 13th International Conference on Parallel Architectures and Compilation Techniques (PACT 2004), 29 September - 3 October 2004, Antibes Juan-les-Pins, France, pp. 85-96, 2004, IEEE Computer Society, 0-7695-2229-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September - 1 October 2003, New Orleans, LA, USA, pp. 135-145, 2003, IEEE Computer Society, 0-7695-2021-9. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
22 | Tatiana Shpeisman, Guei-Yuan Lueh, Ali-Reza Adl-Tabatabai |
Just-In-Time Java? Compilation for the Itanium® Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 2002 International Conference on Parallel Architectures and Compilation Techniques (PACT 2002), 22-25 September 2002, Charlottesville, VA, USA, pp. 249-258, 2002, IEEE Computer Society, 0-7695-1620-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Santosh Pande, Tareq Bali |
A Compilation Method for Communication-Efficient Partitioning of DOALL Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Compiler Optimizations for Scalable Parallel Systems Languages ![In: Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems, pp. 413-444, 2001, Springer, 3-540-41945-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Ron Cytron, Vivek Sarkar |
Dynamic compilation in Jalapeño (Panel Session). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dynamo ![In: Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo 2000), Boston, MA, USA, January 18, 2000, pp. 78, 2000, ACM, 1-58113-241-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, Newport Beach, California, USA, October 12-16, 1999, pp. 236-244, 1999, IEEE Computer Society, 0-7695-0425-6. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
22 | Andreas Krall |
Efficient JavaVM Just-in-Time Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 205-, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1995 |
RDF |
|
22 | Elena Trichina |
From functional equations to Occam programs: systolizing compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACT ![In: Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, PACT '95, Limassol, Cyprus, June 27-29, 1995, pp. 310-314, 1995, IFIP Working Group on Algol / ACM. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![North-Holland, 0-444-81926-6 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Mantipragada Srinivas, Alexandru Nicolau, Vicki H. Allan |
An Approach to Combine Predicated/Speculative Execution for Programs with Unpredictable Branches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 147-156, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 279-288, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 3-14, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Abhaya Asthana, Mark Cravatts, Paul Krzyzanowski |
Towards a Programming Environment for a Computer with Intelligent Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 89-98, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Robert E. Bixby, Ken Kennedy, Ulrich Kremer |
Automatic Data Layout Using 0-1 Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 111-122, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | David F. Snelling, Gregory K. Egan |
A Comparative Study of Data-Flow Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 347-350, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Rajeev J. Surati, Andrew A. Berlin |
Exploiting the Parallelism Exposed by Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 181-192, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Ernesto Su, Daniel J. Palermo, Prithviraj Banerjee |
Processor Tagged Descriptors: A Data Structure for Compiling for Distributed-Memory Multicomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 123-132, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Vicki H. Allan, M. R. O'Neill |
Software pipelining: A Genetic Algorithm Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 311-314, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | James S. Mattson Jr., William G. Griswold |
Speculative Evaluation for Parallel Graph Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 331-334, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Péter Kacsuk |
Dataflow and Logicflow Models for Defining a Parallel Prolog Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 289-298, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Sumit Sur, A. P. Wim Böhm |
Functional I-structure, and M-structure Implementations of NAS Benchmark FT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 47-56, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Mayez A. Al-Mouhamed, Lubomir Bic |
Effects of Loop Fusion and Statement Migration on the Speedup of Vector Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 193-202, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Inkyu Kim, Michael Wolfe |
Communication Analysis for Multicomputer Compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 101-110, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Benoît Dupont de Dinechin |
An Introduction to Simplex Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 327-330, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Jonas Vasell |
Static vs. Dynamic Strategies for Fine-Grain Dataflow Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 355-358, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Panos Rondogiannis, William W. Wadge |
Compiling Higher-Order Functions for Tagged-Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 269-278, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Tor E. Jeremiassen, Susan J. Eggers |
Static Analysis of Barrier Synchronization in Explicitly Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 171-180, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Olivier Maffeïs, Paul Le Guernic |
From SIGNAL to fine-grain parallel implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 237-246, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Lucas Roh, Walid A. Najjar, Bhanu Shankar, A. P. Wim Böhm |
An Evaluation of Optimized Threaded Code Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 37-46, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Evan Tick |
Practical Static Mode Analyses of Concurrent Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 205-214, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Rainer Leupers, Wolfgang Schenk, Peter Marwedel |
Microcode Generation for Flexible Parallel Target Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 247-256, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 79-88, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | David H. Albonesi, Israel Koren |
Tradeoffs in the Design of Single Chip Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 25-34, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Hiecheol Kim, Jean-Luc Gaudiot |
Exploitation of Fine-grain Parallelism in Logic Languages on Massively Parallel Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 225-234, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Cyril Meurillon, Ciaran O'Donnell |
Representing Control Flow Behaviour of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 339-342, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Ron Sass, Matt W. Mutka |
Transformations on Doubly Nested Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 343-346, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Andrea Capitanio, Nikil D. Dutt, Alexandru Nicolau |
Partitioning of Variables for Multiple-Register-File Architectures via Hypergraph Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 319-322, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 359-362, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Jesper Vasell |
A Fine-Grain Threaded Abstract Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 15-24, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Barton C. Massey, Evan Tick |
Demand-Driven Dataflow for Concurrent Committed-Choice Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 215-224, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Andrew Sohn, Lingmian Kong, Mitsuhisa Sato |
Progress Report on Porting Sisal to the EM-4 Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 351-354, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 157-168, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Avi Mendelson, Bilha Mendelson |
Toward a General-Purpose Multi-Stream System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 335-338, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 135-146, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Scott M. Denton, John Feo, Patrick Miller |
Realizing Parallel Reduction Operations in Sisal 1.2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 323-326, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | John Sargeant, Chris C. Kirkham, Steve Anderson |
Towards a Computational Model for UFO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 299-308, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Hidemoto Nakada, Takuya Araki, Hanpei Koike, Hidehiko Tanaka |
A Fleng Compiler for PIE64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 257-266, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP PACT ![In: 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, pp. 69-78, 1994, North-Holland, 0-444-81926-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
22 | Tamiya Onodera |
Reducing Compilation Time by a Compilation Server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 23(5), pp. 477-485, 1993. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
22 | Ahmed Amine Jerraya |
Contribution à la compilation de silicium et au compilateur SYCO. (Silicon compilation and the syco silicon compiler). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
22 | Philippe Bondono |
Contribution à NAUTILE : un environnement pour la compilation du silicium. (Contribution to nautile : an environment for silicon compilation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1989 |
RDF |
|
22 | Patrick Varinot |
Compilation du silicium : application à la compilation de partie contrôle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1985 |
RDF |
|