mirage

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • Agrawal, Kunal; Benoit, Anne; Robert, Yves; Laboratoire de l'informatique du parallélisme (LIP, 2008-06)
    This paper presents theoretical results related to mapping and scheduling linear work ows onto heterogeneous platforms. We use a realistic architectural model with bounded communication capabilities and full computatio...
  • Benoit, Anne; Robert, Yves; Laboratoire de l'informatique du parallélisme (LIP, 2006-11)
    (eng) Mapping applications onto parallel platforms is a challenging problem, that becomes even more difficult when platforms are heterogeneous –nowadays a standard assumption. A high-level approach to parallel programming ...
  • Laboratoire de l'informatique du parallélisme; Benoit, Anne; Robert, Yves (2007-01)
    (eng) Mapping applications onto parallel platforms is a challenging problem, that becomes even more difficult when platforms are heterogeneous --nowadays a standard assumption. A high-level approach to parallel programming ...
  • BOURDEAU-LEPAGE, Lise; CNRS. Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon. Laboratoire d'analyse et de techniques économiques, Dijon, FRA (2001)
    Ce papier analyse empiriquement les conséquences du retour du marché en Pologne sur le niveau des inégalités régionales et sur le degré de polarisation. On observe un accroissement des disparités interrégionales et un ...
  • Laboratoire de l'informatique du parallélisme; Prost, Frederic (1995-12)
    (eng) Constructive logic can be used to consider program specifications as logical formulas. The advantage of this approach is to generate programs which are certified with respect to some given specifications. The programs ...
  • Gaujal, Bruno; Thierry, Eric; Laboratoire de l'informatique du parallélisme (2005-05)
    (eng) In this paper we investigate the asymptotic behavior of a discrete and probabilistic dynamical system which can be described as a growth model where autonomous agents aggregates. The aim of this paper is to give a ...
  • Laboratoire de l'informatique du parallélisme; Beaumont, Olivier; Legrand, Arnaud; Robert, Yves (2001-03)
    (eng) In this paper, we revisit the master-slave tasking paradigm in the context of heterogeneous processors. We assume that communications take place in exclusive mode. We present a polynomial algorithm that gives the ...
  • Bertrand, Dominique; Micoud, Frédéric; Abignioli, Claude; Vaucher, Denis; Bertossi, Patrick; Guichet, Bernard; Pouchard, Michel; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques; Centre d'études techniques de l'équipement de Lyon; Centre d'études techniques de l'équipement Méditerranée; Centre d'études techniques de l'équipement de l'Est; Centre d'études techniques de l'équipement de l'Ouest; Centre d'études techniques de l'équipement du Sud-Ouest (CERTU, 2006-11)
    Le présent rapport est à replacer dans le contexte général des réflexions à caractère méthodologique accompagnant le fort développement actuel des systèmes de transport collectif en site propre et plus particulièrement ...
  • Laboratoire de l'informatique du parallélisme; Gegout, Cedric; Girau, Bernard; Rossi, Fabrice (1995-09)
    (eng) We present a general model for differentiable feed-forward neural networks. Its general mathematical description includes the standard multi-layer perceptron as well as its common derivatives. These standard structures ...
  • Colomb, J.; Institut national de recherche pédagogique (INRP, 1976)
    On trouvera dans ce volume de la Collection « Recherches Pédagogiques » : — Une présentation de la méthodologie employée dans la recherche I.N.R.D.P. Mathématique à l'école élémentaire : «ETUDE DU ROLE DES MOYENS ...
  • Laboratoire de l'informatique du parallélisme; Beaumont, Olivier; Boudet, Vincent; Rastello, Fabrice; Robert, Yves (2000-01)
    (eng) In this paper, we address the issue of implementing matrix-matrix multiplication on heterogeneous platforms. We target two different classes of heterogeneous computing resources: heterogeneous networks of workstations, ...
  • Laboratoire de l'informatique du parallélisme; Saunders, David; Storjohann, Arne; Villard, Gilles (2001-08)
    (eng) Randomized algorithms are given for computing the rank of a matrix over a field of characteristic zero. The matrix is treated as a black box. Only the capability to compute matrix x column-vector and row-vector x ...
  • De Mesnard, Louis; CNRS, Institut de mathématiques économiques, Dijon, FRA; Université de Dijon, Institut de mathématiques économiques, Dijon, FRA (1991)
  • Laboratoire de l'informatique du parallélisme; Lescanne, Pierre (2004-05)
    (eng) I present a mechanization of epistemic logic, also called knowledge logic, I have done using Coq. This work includes a formalization in Coq of epistemic logic and two case studies. This report is an updating of LIP ...
  • Ceaux, Serge; Chevallier, Marie-Laure; Damour, Annick; Duballet, Pascal; Faure, Guy; Gaber, Jean; Landreau, Bruno; Vervoitte, Patrick; Ruperd, Yves; Vigneron, Sylvie; Norotte, Olivier; Thomazeau, Robert; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques; Réseau Eau (CERTU, 2001-07)
    Ce fascicule aborde la gestion des eaux pluviales à deux niveaux : celui de la planification, du fait de l’importance de cette réflexion amont (fiche « enjeux d’urbanisme et d’aménagement »), et celui du projet d'aménagement, ...
  • Gibello, C.; Grange, D.; Hauchecorne, B.; Nadler, B.; Ravier, M.; Raison, S.; Tuffery, A.; Regner, J.; Norotte, O.; Thomazeau, R.; Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques; Reseau Eau (CERTU, 2000-05)
    Remarques préliminaires : Ce guide élaboré par des praticiens de DDE décrit la démarche de gestion de projet en s'appuyant sur les différentes étapes chronologiques de l'opération et en précise les éléments clefs. En ce ...
  • Terrier, Patrice; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 1996)
  • Laboratoire de l'informatique du parallélisme; Guermouche, Abdou; L'Excellent, Jean-Yves (2004-04)
    (eng) The memory usage of sparse direct solvers can be the bottleneck to solve large-scale problems. This paper describes dynamic scheduling strategies that aim at reducing the memory usage of a parallel direct solver. ...
  • Clavaud, Renée; Geslin, Pierre; Gicquel, Brigitte; Guerin, Nicole; Livartowski, Alain; Nassif, Xavier; Reinert, Philippe; Rlou, Jean-Yves; Saliou, Pierre; Institut national de la santé et de la recherche médicale (INSERM, 1996)
    La méningite bactérienne est une maladie grave, qui peut entraîner la mort en quelques heures ou laisser des séquelles neurologiques importantes. Bien que rares dans les pays industrialisés, les méningites bactériennes ...
  • Vautrin, J.P.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 2001)
Bookmark and Share