mirage

Browsing Sciences Exactes et Sciences Appliquées by Title

DSpace/Manakin Repository

Browsing Sciences Exactes et Sciences Appliquées by Title

Sort by: Order: Results:

  • Laboratoire de l'informatique du parallélisme; Durand-Lose, Jérôme (2002-11)
    (eng) In this paper, we consider timed automata for piecewise constant signals.In the model presented here, time elapses only during transitions; any constraint on clocks should be satisfied during all the duration of the ...
  • Laboratoire de l'informatique du parallélisme; Baron, Richard (1994-05-27)
    (eng) Artificial neural networks may learn to solve arbitrary complex problems. But knowledge acquired is hard to exhibit. Thus neural networks appear as ``black boxes'', the decisions of which can't be explained. In this ...
  • Laboratoire de glaciologie et géophysique de l'environnement (LGPE, 1992)
    L'intérêt croissant porté aux régions polaires d'une part, à l'évolution du climat et de l'environnement global d'autre part, a créé une conjoncture extrêmement favorable aux thèmes de recherche développés depuis près de ...
  • Laboratoire de glaciologie et géophysique de l'environnement (LGPE, 1996)
    Le 12 juillet 1992 le carottier ISTUK touche le fond, à 3029 mètres de profondeur, au centre de la calotte glaciaire du Groenland. Une équipe du LGGE a participé au forage aux côtés de ses collègues européens du GRIP ...
  • Laboratoire de glaciologie et géophysique de l'environnement (LGPE, 1989)
    Les activités du Laboratoire ont comme point commun la glace naturelle avec une ouverture toujours plus large vers les questions d'Environnement (climat, chimie atmosphérique notamment). Il est certain que les menaces que ...
  • Laboratoire de glaciologie et géophysique de l'environnement (LGPE, 2005)
    Fondé en 1958 par Louis Lliboutry, le Laboratoire de l'Aiguille du Midi, devenu en 1962 Laboratoire de Glaciologie Alpine, devient Laboratoire de Glaciologie et Géophysique de l'Environnement (LGGE) en 1970 avec l'arrivée ...
  • Laboratoire de glaciologie et géophysique de l'environnement (LGPE, 2002)
    Le LGGE est une unité de recherche du CNRS associée à l'Université Joseph Fourier de Grenoble et intégrée au sein de l'Observatoire des Sciences de l'Univers de Grenoble (OSUG). Sa mission première est de produire une ...
  • Laboratoire de l'informatique du parallélisme; Van Bakel, Steffen; Lengrand, Stéphane; Lescanne, Pierre (2005-03)
    (eng) X is an untyped language for describing circuits by composition of basic components. This language is well suited to describe structures which we call "circuits" and which are made of parts that are connected by ...
  • Bertis, Viktors; Bolze, Raphaël; Desprez, Frédéric; Reed, Kevin; Laboratoire de l'informatique du parallélisme (LIP, 2007-12)
    (eng) Scheduling problems are already difficult on traditional parallel machines. They become extremely challenging on heterogeneous clusters, even when embarrassingly parallel applications are considered. In this paper ...
  • Laboratoire de l'informatique du parallélisme; Darte, Alain; Schreiber, Rob; Villard, Gilles (2004-04)
    (eng) We investigate the technique of storing multiple array elements in the same memory cell, with the goal of reducing the amount of memory used by an array variable. This reduction is both important and achievable during ...
  • Laboratoire de l'informatique du parallélisme; Caspard, Nathalie; Morvan, Michel; Remila, Eric; Thierry, Eric (2003-04)
    (eng) Many tiling spaces such as domino tilings of fixed figures have an underlying lattice structure. This lattice structure corresponds to the dynamics induced by flips. In this paper, we further investigate the properties ...
  • 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 ...
  • 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 ...
  • 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 ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share