Skip to Main content Skip to Navigation

inria-00147379v1  Conference papers
Tawfik Es-SqalliJacques GuyardEric Dillon. Using MeDLey for the Grid-Decomposition Methods
International Conference on Parallel & Distributed Processing Techniques & Applications - PDPTA'99, 1999, Las Vegas, Nevada/USA, pp.1868-1873
hal-02926459v1  Conference papers
Felipe Rodrigo de SouzaMarcos Dias de AssuncaoEddy CaronAlexandre da Silva Veith. An Optimal Model for Optimizing the Placement and Parallelism of Data Stream Processing Applications on Cloud-Edge Computing
SBAC-PAD 2020 - IEEE 32nd International Symposium on Computer Architecture and High Performance Computing, Sep 2020, Porto, Portugal
hal-00158869v1  Conference papers
David Monniaux. Verification of Device Drivers and Intelligent Controllers: a Case Study
International Conference On Embedded Software (EMSOFT), Sep 2007, Salzburg, Austria. pp.30 - 36, ⟨10.1145/1289927.1289937⟩
hal-00563408v1  Book sections
Jean-Stéphane VarréBertil SchmidtStéphane JanotMathieu Giraud. Manycore high-performance computing in bioinformatics
Laura Elnitski, Helen Piontkivska, Lonnie R Welch. Advances in Genomic Sequence Analysis and Pattern Discovery, World Scientific, chapter 8, 2011
tel-00084753v1  Theses
Guillaume Huard. Algorithmique du décalage d'instructions
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2001. Français
tel-00564899v1  Theses
Pierre Boulet. Outils pour la parallélisation automatique
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
hal-02101776v1  Reports
Michèle DionTanguy Rissetyves Robert. Resource-constrained Scheduling of Partitioned Algorithms on Processor Array.
[Research Report] LIP RR-1994-19, Laboratoire de l'informatique du parallélisme. 1994, 2+29p
hal-02102017v1  Reports
Mario Fiallos-AguilarJean Duprat. A digit-serial divider for fine grain heterogeneous parallel-pipelined processing
[Research Report] LIP RR-1993-26, Laboratoire de l'informatique du parallélisme. 1993, 2+11p
hal-02101901v1  Reports
Eddy CaronGil Utard. Parallel out-of-core matrix inversion
[Research Report] LIP RR-2002-04, Laboratoire de l'informatique du parallélisme. 2002, 2+17p
hal-02101962v1  Reports
Mario Fiallos-AguilarJean Duprat. Some issues on CARESSE, a new heterogeneous fine grain parallel-pipelined architecture
[Research Report] LIP RR-1994-03, Laboratoire de l'informatique du parallélisme. 1994, 2+26p
hal-02102055v1  Reports
Fabrice RastelloThierry Dauxois. Parallelization of the Numerical Lyapunov Calculation for the Fermi-Pasta-Ulam Chain
[Research Report] LIP RR-2001-42, Laboratoire de l'informatique du parallélisme. 2001, 2+24p
hal-02101759v1  Reports
Jean-yves PeterschmittBernard Tourancheau. Trace2au: Audio Monitoring Tools for Parallel Programs
[Research Report] LIP RR-1993-24, Laboratoire de l'informatique du parallélisme. 1993, 2+20p
inria-00071834v1  Reports
Denis CaromelLudovic Henrio. Asynchronous Sequential Processes
[Research Report] RR-4753, INRIA. 2003
hal-01082649v1  Books
Sid TouatiBenoît de Dinechin. Advanced Backend Code Optimization
ISTE, Wiley, pp.384, 2014, Jean-Charles Pomerol, 9781848215382
hal-00931694v1  Directions of work or proceedings
Kenneth McmillanXavier Rival. Verification, Model Checking, and Abstract Interpretation
Kenneth McMillan and Xavier Rival. 8318, Springer, pp.493, 2014, 978-3-642-54012-7