Recherche - Archive ouverte HAL

56 résultats

	Pour les 56 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page : Page précédente 1 2 Page suivante	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE Christophe Alias , Fabrice Baray , Alain Darte ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007, San Diego, United States. ⟨10.1145/1273444.1254778⟩ Communication dans un congrès hal-03106126v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Rank: a tool to check program termination and computational complexity Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg Communication dans un congrès hal-00801571v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		fkcc: the Farkas Calculator Christophe Alias [Research Report] RR-9313, Inria. 2019 Rapport hal-02414224v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		High-Level Synthesis of Pipelined FSM from Loop Nests Christophe Alias , Fabrice Rastello , Alexandru Plesco [Research Report] 8900, INRIA. 2016, pp.18 Rapport hal-01301334v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On the Verification of Polyhedral Program Transformations Christophe Alias , Guillaume Iooss , Sanjay Rajopadhye HPCS 2020 - 18th International Conference on High Performance Computing & Simulation, CADO 2020 - 3rd Special Session on Compiler Architecture, Design and Optimization, Oct 2020, Barcelona, Spain. pp.1-8 Communication dans un congrès hal-03106070v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Rephrasing Polyhedral Optimizations with Trace Analysis Hugo Thievenaz , Keiji Kimura , Christophe Alias 12th International Workshop on Polyhedral Compilation Techniques (IMPACT'22), Jun 2022, Budapest, Hungary Communication dans un congrès hal-03862218v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord , Clément Quinson [Research Report] 2009, pp.31 Rapport inria-00434037v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Contributions to Program Optimization and High-Level Synthesis Christophe Alias Hardware Architecture [cs.AR]. ENS de Lyon, 2019 HDR tel-02151877v2	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Optimisation de programmes par reconnaissance de templates Christophe Alias Calcul parallèle, distribué et partagé [cs.DC]. Université de Versailles Saint-Quentin-en-Yvelines, 2005. Français. ⟨NNT : ⟩ Thèse tel-01892198v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Polyhedral Approach for Scalar Promotion Alec Sadler , Christophe Alias , Hugo Thievenaz 2021 Pré-publication, Document de travail hal-03449994v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Farkas Lemma made easy Christophe Alias 10th International Workshop on Polyhedral Compilation Techniques (IMPACT 2020), Jan 2020, Bologna, Italy. pp.1-6 Communication dans un congrès hal-02422033v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		FADAlib: an open source C++ library for fuzzy array dataflow analysis Marouane Belaoucha , Christophe Alias , Denis Barthou , Sid Touati 2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩ Logiciel hal-03445991v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Estimation of Parallel Complexity with Rewriting Techniques Christophe Alias , Carsten Fuhs , Laure Gonnord Workshop on Termination, Sep 2016, Obergurgl, Austria Communication dans un congrès hal-01345914v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		A Compiler Algorithm to Guide Runtime Scheduling Christophe Alias , Samuel Thibault , Laure Gonnord [Research Report] RR-9315, INRIA Grenoble; INRIA Bordeaux - Sud-Ouest. 2019 Rapport hal-02421327v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Automatic Generation of FPGA-Specific Pipelined Accelerators Christophe Alias , Bogdan Pasca , Alexandru Plesco International Symposium on Applied Reconfigurable Computing (ARC'11), Mar 2011, Belfast, United Kingdom Communication dans un congrès ensl-00549682v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		CART: Constant Aspect Ratio Tiling Guillaume Iooss , Sanjay Rajopadhye , Christophe Alias , Yun Zou 4th International Workshop on Polyhedral Compilation Techniques (IMPACT’14), Jan 2014, Vienna, Austria Communication dans un congrès hal-00915827v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Lattice-Based Array Contraction: From Theory to Practice Christophe Alias , Alain Darte , Fabrice Baray [Research Report] LIP RR-2007-44, LIP - Laboratoire de l’Informatique du Parallélisme. 2007 Rapport hal-02127064v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Region Array SSA Silvius Rus , Guobin He , Christophe Alias , Lawrence Rauchwerger ACM/IEEE International Conference on Parallel Architectures and Compilation Techniques (PACT'06), Sep 2006, Seattle, United States Communication dans un congrès hal-03106226v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Improving Communication Patterns in Polyhedral Process Networks Christophe Alias [Research Report] RR-9131, INRIA Grenoble - Rhône-Alpes. 2017, pp.1-13 Rapport hal-01665155v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks Christophe Alias [Research Report] RR-9187, INRIA Grenoble - Rhone-Alpes. 2018 Rapport hal-01818585v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Lightweight Array Contraction by Trace-Based Polyhedral Analysis Hugo Thievenaz , Keiji Kimura , Christophe Alias C3PO 2022 - International Workshop on Compiler-assisted Correctness Checking and Performance Optimization for HPC, Jun 2022, Hamburg, Germany Communication dans un congrès hal-03862219v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On Channel Restructuring for Complete FIFO Recovery Christophe Alias ICCD 2019 - 37th IEEE International Conference on Computer Design, Nov 2019, Abu Dhabi, United Arab Emirates Poster de conférence hal-02433318v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators Christophe Alias , Alain Darte , Alexandru Plesco IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP'10), Jul 2010, Rennes, France Communication dans un congrès hal-01664033v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		fkcc: the Farkas Calculator Christophe Alias TAPAS 2019 - 10th Workshop on Tools for Automatic Program Analysis, Oct 2019, Porto, Portugal. pp.526-536 Communication dans un congrès hal-03106000v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Data-aware Process Networks Christophe Alias , Alexandru Plesco [Rapport de recherche] RR-8735, Inria - Research Centre Grenoble – Rhône-Alpes; INRIA. 2015, pp.32 Rapport hal-01158726v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Partial Evaluation of Dense Code on Sparse Structures Gabriel Dehame , Christophe Alias , Alec Sadler RR-9534, INRIA Lyon; CNRS; ENS de Lyon; Université de Lyon. 2023, pp.16 Rapport hal-04358187v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		On Domain Specific Language Re-Engineering Christophe Alias , Denis Barthou Sep 2005 Communication dans un congrès hal-00141073v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		TeMa : an Efficient Tool to find High-Performance Library Patterns in Source Code Christophe Alias International Workshop on Patterns in High-Performance Computing (PatHPC'05), May 2005, Urbana Champaign, United States Communication dans un congrès ensl-01663997v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Data-Aware Process Networks Christophe Alias , Alexandru Plesco CC 2021 - 30th ACM SIGPLAN International Conference on Compiler Construction, Mar 2021, Virtual, South Korea. pp.1-11, ⟨10.1145/3446804.3446847⟩ Communication dans un congrès hal-03143777v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs Christophe Alias , Alain Darte , Paul Feautrier , Laure Gonnord Static Analysis Symposium, Sep 2010, Perpignan, France. ⟨10.1007/978-3-642-15769-1⟩ Communication dans un congrès inria-00523298v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats

Bee+Cl@k: An Implementation of Lattice-Based Array Contraction in the Source-to-Source Translator ROSE

Rank: a tool to check program termination and computational complexity

fkcc: the Farkas Calculator

High-Level Synthesis of Pipelined FSM from Loop Nests

On the Verification of Polyhedral Program Transformations

Rephrasing Polyhedral Optimizations with Trace Analysis

Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions

Contributions to Program Optimization and High-Level Synthesis

Optimisation de programmes par reconnaissance de templates

A Polyhedral Approach for Scalar Promotion

Farkas Lemma made easy

FADAlib: an open source C++ library for fuzzy array dataflow analysis

Estimation of Parallel Complexity with Rewriting Techniques

A Compiler Algorithm to Guide Runtime Scheduling

Automatic Generation of FPGA-Specific Pipelined Accelerators

CART: Constant Aspect Ratio Tiling

Lattice-Based Array Contraction: From Theory to Practice

Region Array SSA

Improving Communication Patterns in Polyhedral Process Networks

FIFO Recovery by Depth-Partitioning is Complete on Data-aware Process Networks

Lightweight Array Contraction by Trace-Based Polyhedral Analysis

On Channel Restructuring for Complete FIFO Recovery

Optimizing DDR-SDRAM Communications at C-level for Automatically-Generated Hardware Accelerators

fkcc: the Farkas Calculator

Data-aware Process Networks

Partial Evaluation of Dense Code on Sparse Structures

On Domain Specific Language Re-Engineering

TeMa : an Efficient Tool to find High-Performance Library Patterns in Source Code

Data-Aware Process Networks

Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs