mirage

Browsing by Title

DSpace/Manakin Repository

Browsing by Title

Sort by: Order: Results:

  • GROSJEAN V.; RIBERT-VAN DE WEERDT C.; Institut National de Recherche et de Sécurité pour la prévention des accidents du travail et des maladies professionnelles (INRS, 2003)
    La littérature sociologique distingue classiquement deux modèles types de centres d'appel. Dans le type panoptique, on recherche la rentabilité essentiellement par un contrôle strict de la productivité des télé-opérateurs, ...
  • Laboratoire de l'informatique du parallélisme; Courant, Judicael (1996-10)
    (eng) The module system of SML is a small typed language of its own. As is, one would expect a proof of its soundness following from a proof of subject reduction, but none exists. As a consequence the theoretical study of ...
  • Laboratoire de l'informatique du parallélisme; Courant, Judicael (1996-10)
    (eng) Several proof-assistants rely on the very formal basis of Pure Type Systems. However, some practical issues raised by the development of large proofs lead to add other features to actual implementations for handling ...
  • Laboratoire de mécanique et d'acoustique; Latil, Jean-Claude; Raous, Michel (LMA, 1991-06)
    Le module GYPTIS permet de résoudre des problèmes de con- tact unilatéral avec frottement de Coulomb entre une structure et un obstacle fixe ou entre différents solides déformables. Le problème est ici posé et résolu pour ...
  • Bolze, Raphaël; Caron, Eddy; Desprez, Frédéric; Hoesch, Georg; Pontvieux, Cyril (LIP, 2006-04)
    (eng) Monitoring grid platforms has recently gained a wide interest. This kind of platform highly distributed across different domains leads to several design and implementation problems. We have designed a new monitoring ...
  • Laboratoire de l'informatique du parallélisme; Peterschmitt, Jean-Yves; Tourancheau, Bernard; Xavier-Francois Vigouroux (1993-08)
    (eng) It is easy to find errors and inefficient parts of a sequential program, by using a standard debugger/profiler, but there is no such tool in a parallel environment. The only way to study the race conditions of a ...
  • Centre national de la recherche scientifique, Laboratoire d'analyse et de techniques économiques; Descamps, Christian (LATEC, 1993)
    (FRE) Les économistes post-keynésiens considèrent que l'offre de crédit est fondamentalement déterminée par les pressions de la demande. Cependant, deux visions de l'offre de monnaie endogène peuvent être distinguées : ...
  • Bailly, Jean-Luc; CNRS, Laboratoire d'analyse et de techniques économiques, Dijon, FRA; Université de Dijon, Laboratoire d'analyse et de techniques économiques, Dijon, FRA (1993)
    (FR) Dans le présent article nous vérifions qu'il ne peut y avoir d'intérêt purement monétaire au sens où on l'entend habituellement, c'est-à-dire portant sur une pure monnaie bancaire. La raison première en est que la ...
  • Laboratoire de l'informatique du parallélisme; Beuchat, Jean-Luc (2003-02)
    (eng) This brief paper describes an improvement of the FPGA implementation of the modulo $(2^n-1)$ adder investigated in a previous research report.
  • Laboratoire de l'informatique du parallélisme; Desprez, Frédéric; Domas, Stéphane; Dongarra, Jack; Petitet, Antoine; Randriamaro, Cyril; Robert, Yves (1998-03)
    (eng) This article is devoted to the run-time redistribution of one-dimensional arrays that are distributed in a block-cyclic fashion over a processor grid. In a previous paper, we have reported how to derive optimal ...
  • Laboratoire de l'informatique du parallélisme; Revol, Nathalie; Rouillier, Fabrice (2002-07)
    (eng) This paper explains why an arbitrary precision interval arithmetic is needed: to provide accurate results, an interval computation requires small input intervals; this explains why bisection is so often employed in ...
  • Laboratoire de l'informatique du parallélisme; Aumage, Olivier; Mercier, Guillaume; Namyst, Raymond (2000-10)
    (eng) This report introduces a version of MPICH handling efficiently different networks simultaneously. The core of the implementation relies on a device called ch_mad which is based on a generic multiprotocol communication ...
  • Benoit, Anne; Rehn-Sonigo, Veronika; Robert, Yves; Laboratoire de l'informatique du parallélisme (LIP, 2007-06)
    (ENG) Mapping workflow applications onto parallel platforms is a challenging problem, even for simple application patterns such as pipeline graphs. Several antagonist criteria should be optimized, such as throughput ...
  • Amestoy, Patrick R.; Duff, I.S.; L'Excellent, Jean-Yves; Koster, J.; Laboratoire de l'informatique du parallélisme (LIP, 2002-12)
    (eng) This document describes the Fortran 90 and C user interface to MUMPS Version 4.2 beta, a software package for the solution of sparse systems of linear equations. We describe in detail the data structures, parameters, ...
  • Laboratoire de l'informatique du parallélisme; Detrey, Jérémie; de Dinechin, Florent (2001-11)
    (eng) This paper presents a core generator for arbitrary numeric functions on Xilinx Virtex FPGAs. The cores use the state-of-the-art multipartite table method, which allows input and output precisions in the range of 8 ...
  • Laboratoire de l'informatique du parallélisme; Grimmer, Markus; Petras, Knut; Revol, Nathalie (2003-06)
    (eng) We give a survey on packages for multiple precision interval arithmetic, with the main focus on three specific packages. One is within a Maple environment, intpakX, and two are C/C++ libraries, GMP-XSC and MPFI. We ...
  • Centre national de la recherche scientifique, Institut de mathématiques économiques; Marchal, J.; Poulon, F. (IME, 1977-12)
    La théorie du multiplicateur est étroitement liée à l'analyse de circuit (et de ce fait à l'analyse macroéconomique). Le multiplicateur est défini à partir de la comparaison de deux situations d'équilibre de long terme ...
  • Laboratoire de l'informatique du parallélisme; Beuchat, Jean-Luc; Muller, Jean-Michel (2005-02)
    (eng) The RN-codings are particular cases of signed-digit representations, for which rounding to the nearest is always identical to truncation. In radix $2$, Booth recoding is an RN-coding. In this paper, we suggest several ...
  • Laboratoire de l'informatique du parallélisme; Lefevre, Vincent (1999-01)
    (eng) We present an algorithm allowing to perform integer multiplications by constants. This algorithm is compared to existing algorithms. Such algorithms are useful, as they occur in several problems, such as the ...
  • Centre national de la recherche scientifique, Laboratoire d'analyse et de techniques économiques; Baumont, Catherine; Bourdon, Françoise; Guillain, Rachel (LATEC, 2003-09)
    (FRE) L'objectif de cette recherche est d'étudier les mutations existant au sein de la configuration urbaine de la Communauté de l'Agglomération Dijonnaise, à travers notamment les nouvelles logiques de localisation des ...
Bookmark and Share