mirage

Browsing Informatique / Computer science by Issue Date

DSpace/Manakin Repository

Browsing Informatique / Computer science by Issue Date

Sort by: Order: Results:

  • Centre national de la recherche scientifique, Centre d'études phytosociologiques et écologiques; Rimbault, Geneviève; Requirand, C. (Photographe) (CEPE, 1973-01-31)
    L'étude de l'information apportée par les quatre types de photographies aériennes : photographies panchromatique, infra-rouge, couleur et fausse-couleur a été abordée en milieu viticole en vue de la différenciation et de ...
  • Centre national de la recherche scientifique, Centre d'études phytosociologiques et écologiques; Debussche, Geneviève; Lacaze, Bernard (CEPE, 1976)
    Les auteurs décrivent et expérimentent la procédure "d'apprentissage dirigé" qui est l'une des méthodes d'analyse des données numériques issues des enregistrements du satellite LANDSAT 1. Caractérisée par l'introduction ...
  • Centre national de la recherche scientifique, Centre d'études phytosociologiques et écologiques; Le Floc'h, Edouard; Pontanier, Roger (CEPE, 1976-01)
    Le présent rapport se situe dans le prolongement des exposés de M. STA-M'RAD et G. LONG, de Mme G. DEBUSSCHE et de M. B. LACAZE présentés lors du séminaire de sensibilisation sur la télédétection des ressources terrestres, ...
  • Baron, Georges; Bounay, Michèle; Dautrey, Philippe; Guelfucci, Josée; Hebert, Danie; Muller, Pierre; Schwob, Monique; Tourtelier, Philippe; Institut national de recherche pédagogique (INRP, 1981)
    L'expérience française d'introduction de l'informatique dans l'enseignement secondaire, dite maintenant « expérience des 58 lycées », est née en 1970 de la prise de conscience d'un phénomène de société : « L'informatique ...
  • Institut national de recherche pédagogique; N'Gosso, Isidore; Robert, Frédérique (INRP, 1981)
    Les systèmes informatiques actuellement disponibles offrent peu de possibilités de mise en œuvre par des enfants et par toute personne non spécialisée dans l'informatique. Les travaux de recherche dans le domaine du ...
  • Organisation de coopération et de développement économiques; Bousquet, Martine; Lefèvre, Bruno (OCDE, 1990-09)
    Au cours des dernières années les ordinateurs - spécialement les mini- et les micro-ordinateurs - ont été de plus en plus utilisés pour diverses tâches dans la planification et la gestion des bâtiments scolaires. En juin ...
  • Haguenauer, Christiane; Coulais, Jean-Marc; Dreyer, Michel; Dupont, Jean-Yves; Depouy, Suzanne; Gros, Christian; Schmit, Jean-François; Thérrié, Bernard; Demounem, Régis (Préfacier); Institut national de recherche pédagogique (INRP, 1992)
    L'évolution du Savoir universitaire conditionne celle des contenus d'enseignement des Sciences de la Vie et de la Terre, au Collège et au Lycée. Or, les progrès dans les connaissances scientifiques sont étroitement liés ...
  • Laboratoire de l'informatique du parallélisme; Duprat, Jean; Fiallos-Aguilar, Mario (1992-03-30)
    (eng) In this paper we deal with a new high precision computation of the dot product. The key idea is to use hundreds of digit-serial arithmetic units that allow a massive digit-level pipelining. Parallel discrete-event ...
  • Laboratoire de l'informatique du parallélisme; Koiran, Pascal (1992-12-21)
    (eng) We study the computational capabilities of dynamical systems defined by iterated functions on [0,1]^n. The computations are performed with infinite precision on arbitrary real numbers, like in the model of analog ...
  • Laboratoire de l'informatique du parallélisme; Mounier, V.; Utard, Gil (1993)
    (eng) We give a Hoare-like proof system for the data-parallel language L, and we present an automatic tool to aid program correctness proof. After recalling L's operational semantics, we define an axiomatic semantics. We ...
  • Desprez, Frédéric; Fleury, Eric; Loi, Michel; Laboratoire de l'informatique du parallélisme (LIP, 1993-02)
    (eng) This document describes the INMOS IMS T9000, the latest member in the transputer family anf the IMS C104, a complete routing switch. This transputer combines a general purpose processor with a grouping of instructions, ...
  • Desprez, Frédéric; Gavoille, Cyrille; Jargot, Bruno; Pourzandi, Makan; Laboratoire de l'informatique du parallélisme (LIP, 1993-03)
    (eng) In this document we present the distributed memory computer ARCHIPEL VolVox IS-860 and different programming environments TROLLIUS 2.1, VOLCOM 1.0 and VOLCOM 2.0. We measure the performances for different levels of ...
  • Laboratoire de l'informatique du parallélisme; Mazenc, Christophe (1993-05-18)
    (eng) In this paper, a set of definitions describing general real number representation systems is presented. Our purpose is to find a sufficiently wide model definition including classical systems (signed-digit notation,linear ...
  • 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 ...
  • Laboratoire de l'informatique du parallélisme; Peterschmitt, Jean-Yves; Tourancheau, Bernard (1993-08-09)
    (eng) It is not easy to reach the best performances you can expect of a parallel computer. We therefore have to use monitoring programs to study the performances of parallel programs. We introduce here a way to generate ...
  • Laboratoire de l'informatique du parallélisme; Fiallos-Aguilar, Mario; Duprat, Jean (1993-09)
    (eng) We design a new radix 2 (i.e., serial, most significant digit first) floating-point divider which performs its arithmetic operation in mode both for the exponent and the mantissa. We have performed parallel discrete-event ...
  • Laboratoire de l'informatique du parallélisme; Matamala, Martin (1993-12-11)
    (eng) We present a strategy in order to build neural networks with long steady state periodic behavior. This strategy allows us to obtain 2^n non equivalent neural networks of size n, when the equivalence relation is the ...
  • Laboratoire de l'informatique du parallélisme; Fiallos-Aguilar, Mario; Duprat, Jean (1994-01-13)
    (eng) Here, we deal with a new fine grain parallel-pipelined architecture made up of heterogeneous N arithmetic units (AUs). We present some main issues of such an architecture, including the model of computation, its ...
  • Laboratoire de l'informatique du parallélisme; Adamo, Jean-Marc; Trejo, Luis (1994-01-17)
    (eng) Cole presented a parallel merge sort for the PRAM model that performs in log n parallel steps using n processors. He gave an algorithm for the CREW PRAM model for which the constant in the running time is small. He ...
  • Laboratoire de l'informatique du parallélisme; Utard, Gil (1994-04-01)
    (eng) This report focuses on the compilation of the ``while'' loops in data-parallel languages for MIMD Shared Memory architectures. An efficient compilation must decrease the number of ``global synchronizations'' due to ...

Search DSpace


Advanced Search

Browse

My Account

Bookmark and Share