mirage

Browsing LIP - Laboratoire de l'Informatique du Parallélisme by Title

DSpace/Manakin Repository

Browsing LIP - Laboratoire de l'Informatique du Parallélisme 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 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 ...
  • 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 ...
  • 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 ...
  • 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.
  • Laboratoire de l'informatique du parallélisme; Perez, Christian (1996-10)
    (eng) This paper explores the integration of load balancing features in the data parallel language HPF targeting semi-regular applications. We show that the HPF virtual processors are good candidates to be the unit of ...
  • Laboratoire de l'informatique du parallélisme; Legrand, Arnaud; Renard, Hélène; Robert, Yves; Vivien, Frédéric (2003-04)
    (eng) This paper is devoted to mapping iterative algorithms onto heterogeneous clusters. The application data is partitioned over the processors, which are arranged along a virtual ring. At each iteration, independent ...
  • Laboratoire de l'informatique du parallélisme; Genaud, Stéphane; Giersch, Arnaud; Vivien, Frédéric (2003-03)
    (eng) We present solutions to statically load-balance scatter operations in parallel codes run on grids. Our load-balancing strategy is based on the modification of the data distributions used in scatter operations. We ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share