mirage

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Rémila, Eric (2001-12)
    (eng) We first prove that the set of domino tilings of a fixed finite figure is a distributive lattice, even in the case when the figure has holes. Afterwards, we give a geometrical interpretation of the order given by ...
  • Laboratoire de l'informatique du parallélisme; Nichitiu, Codrin; Remila, Eric (1999-01)
    (eng) We present a cellular algorithm in O(w^2) for the leader election problem on a finite connected subset F of Z^d of diameter w, for any fixed d. The problem consists in finding an algorithm such that when setting the ...
  • Laboratoire de l'informatique du parallélisme; Nichitiu, Codrin; Papazian, Christophe; Remila, Eric (2001-02)
    (eng) We present a linear time algorithm for the networking and distributed computing problem of leader election (LE). Given a graph, its vertices represent processors (here finite state machines), and its edges communication ...
  • Barré-de Miniac, Christine; Cros, F.; Ruiz, J.; Chauveau, G.; Rogovas-Chauveau, E.; Chevalier, B.; Colin, M.; Chervel, A.; Gadeau, J.; Hardy, M.; Platone, F.; Lazar, A.; Muller, P.; Pastiaux-Thiriat, G.; Rémond, M.; Romian, H.; Veck, B.; Vérin, A. (INRP, 1993)
    Lecture I écriture constitue un des thèmes privilégiés dans les recherches de l'Institut National de Recherche Pédagogique. Les rencontres organisées à la fin de janvier 1993 sont l'occasion de rassembler et de confronter ...
  • Laboratoire de l'informatique du parallélisme; Fraigniaud, Pierre; Laforest, Christian (1994-09-21)
    (eng) Gossiping is an information dissemination problem in which each node of a communication network has a unique piece of information that must be transmitted to all the other nodes. A bus network is a network of processing ...
  • Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques (CERTU, 1999-06)
    LES OBJECTIFS Dans le cadre du 4ème Programme Cadre de Recherche Développement, la Direction Générale des Transports (DG 7) de la Commission Européenne a initié le projet SESAME, dont les objectifs majeurs sont rappelés ...
  • Centre d'études sur les réseaux, les transports, l'urbanisme et les constructions publiques (CERTU, 1996)
    Le transport public transfrontalier ne constitue qu'un aspect, parmi d'autres, de la coopération transfrontalière. Certaines formes de coopération peuvent s'effectuer par accord entre organismes privés (exploitants pour ...
  • Magnier, Arnaud; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1998)
  • Fournier, Thierry; Goujon, Daniel; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1997)
  • Laboratoire de l'informatique du parallélisme; Koiran, Pascal (2001-09)
    (eng) We show that the set T of first-order sentences satisfied by all generic polynomials of sufficiently high degree forms a complete theory. As a consequence, complex polynomials of even degree cannot be distinguished ...
  • Laboratoire de l'informatique du parallélisme; Dumas, J.G.; Gautier, T.; Giesbrecht, M.; Giorgi, Pascal; Hovinen, B.; Kaltofen, Erich; Saunders, B.D.; Turner, W.J.; Villard, Gilles (2002-03)
    (eng) LinBox is a high-performance generic software library for black box linear algebra over symbolic (exact) entry domains. The generic software methodology enables the user to instantiate the procedures in the library ...
  • Delesalle, Simone; Huot, Hélène; Roumanet, Josselyne; Institut national de recherche pédagogique (INRP, 1972)
    Ce recueil est un travail d'équipe pour une équipe, un instrument d'échanges et de communications entre des enseignants unis par le désir de changer renseignement du français ; et sans doute, parce qu'il a circulé entre ...
  • Mahmoudian, Morteza; Baudrillard, Lucile; Mahmoudian-Renard, Maryse; Guillaume, Denise; Cure, Gloria; Prochasson, Irene; Berger, Y.; Bidjeck, M.T.; Cauchois, A.; Forget, G.; Marcand, G.; Marceteau; Pansanel, M.; Peretz, Caroline; Thibaud, Catherine; Julia, B.; Morsly, D.; Baudrillard, Lucile; Mazzolini, Anne; Halbwachs, Germaine; Jolivet, Rémi; Tessier, Denise; Nespoulos, Jean-Luc; Bedue, Roger; Institut national de recherche pédagogique (INRP, 1976)
    Définir ce que connaît l'élève auquel on s'adresse, définir ce qu'il est utile de lui enseigner à un âge donné et compte tenu de ses connaissances, restent les deux préoccupations majeures de cette recherche. Comment ...
  • Mahmoudian, Mortéza; Institut national de recherche pédagogique (INRP, 1973)
    Les études publiées dans ce numéro sont toutes produites de la collaboration de linguistes et d'enseignants de français, réunis dans des équipes de recherche. Le premier article présente les hypothèses linguistiques ...
  • Laboratoire de l'informatique du parallélisme; Danjean, Vincent (2000-03)
    (eng) In this paper, we present LinuxActivation, an efficient system support for user level thread scheduling implemented within Linux. This work is an extension to the ``Scheduler Activations'' model (proposed by Anderson ...
  • Barré-de Miniac, Christine; Chauveau, Gérard; Chenouf, Yvanne; Foucambert, Jean; Hardy, Marianne; Lété, Bernard; Platone, Françoise; Poslaniec, Christian; Rémond, Martine; Rogovas-Chauveau, Eliane; Romian, Hélène; Sprenger-Charolles, Liliane; Vérin, Anne; Violet, Michel (INRP, 1994)
    Avec cet ouvrage Lire et écrire à l'école primaire, qui fait suite à Lecture/Écriture, des approches de recherche^, l'Institut National de Recherche Pédagogique souhaite s'inscrire dans les débats en cours sur les moyens ...
  • Laboratoire de l'informatique du parallélisme; Bouchitté, Vincent; Todinca, Ioan (1999-09)
    (eng) A potential maximal clique of a graph is a vertex set that induces a maximal clique in some minimal triangulation of that graph. It is known that if these objects can be listed in polynomial time for a class of graphs, ...
  • Laboratoire de l'informatique du parallélisme; Mazoit, Frédéric (2004-02)
    (eng) I present an efficient algorithm which lists the minimal separators of a 3-connected planar graph in $O(n)$ per separator.
  • Laboratoire de l'informatique du parallélisme; Mazoit, Frédéric (2004-06)
    (eng) I present an efficient algorithm which lists the minimal separators of a planar graph in O(n) per separator.
  • SCHWEIZER, Urs; Université de Dijon, Institut de mathématiques économiques, Dijon, FRA; CNRS, Institut de mathématiques économiques, Dijon, FRA (1986)
    On étudie la puissance de plusieurs tests pour réduire le nombre d'équilibres séquentiels pour un jeu simple non coopératif de litige et de règlement
Bookmark and Share