Search results for "compilation"

Hits ?▲	Authors	Title	Venue	Year	Link
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