CRI

Results: 2263



#Item
981Parallel computing / GPGPU / Graphics hardware / Video cards / Programming language implementation / OpenMP / CUDA / OpenCL / Automatic parallelization / Computing / Software / Computer programming

Par4All: From Convex Array Regions to Heterogeneous Computing Mehdi Amini1,2 Béatrice Creusillet2 Stéphanie Even2 Ronan Keryell2

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2012-02-02 05:11:34
982Information science / Library science / Knowledge / Semantic Web / Thesaurus / Languages of the European Union / Law / European Union / Comparative law / Knowledge representation / Science / Information

Legivoc – connecting laws in a changing world Hughes-Jehan Vibert*, Pierre Jouvelot◦, Benoît Pin◦ * Doctor of Law, ITC Project Manager, Ministry of Justice1, France ◦ Researcher Scientist, MINES ParisTech2, Fran

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-01-28 11:04:57
983Compiler construction / Compilers / GNU Compiler Collection / Static single assignment form / Graphite / Open64 / Aliasing / Compiler / Software / Programming language implementation / Computing

GRAPHITE: Polyhedral Analyses and Optimizations for GCC Sebastian Pop 1 , Albert Cohen 2 , C´edric Bastoul 2, Sylvain Girbal 2 , Georges-Andr´e Silber 1 , Nicolas Vasilache

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2006-07-31 09:58:22
984IRCAM / Folklore / Music / Culture / Audio programming languages / FAUST / Mephisto

Verifying Faust in Coq - Progress report

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2015-01-22 05:59:27
985

HTTP : HyperText Transfer Protocol ˆ ´ • protocole client-serveur (requetes-r eponses)

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: French - Date: 2007-02-08 11:49:16
    986Software / Software synthesizers / Programming paradigms / Electronic music / Visual programming languages / Synchronous programming language / Domain-specific language / SuperCollider / Programming language / Computing / Software engineering / Audio programming languages

    A Synchronous Programming in Audio Processing: A Lookup Table Oscillator Case Study KARIM BARKATI and PIERRE JOUVELOT, CRI, Mathématiques et systèmes, MINES ParisTech, France

    Add to Reading List

    Source URL: www.cri.ensmp.fr

    Language: English - Date: 2014-01-31 05:29:15
    987Central processing unit / Computing / CPU cache / Cache-oblivious algorithm / Cache pollution / Cache / Computer hardware / Computer memory

    1 The Hopping_Matrix function Quantum chromodynamics (QCD) [1] is the theory of the strong nuclear force, which is responsible for attracting quarks together to form the nucleons. QCD can be numerically simulated using

    Add to Reading List

    Source URL: www.cri.ensmp.fr

    Language: English - Date: 2012-08-13 08:39:04
    988

    Fabien Coelho Introduction au langage SQL Fabien Coelho

    Add to Reading List

    Source URL: www.cri.ensmp.fr

    Language: French - Date: 2015-03-20 10:25:52
      989

      Fabien Coelho SQL bien avance´ Fabien Coelho

      Add to Reading List

      Source URL: www.cri.ensmp.fr

      Language: French - Date: 2015-02-19 11:02:54
        990Computer programming / Parallel computing / Compiler construction / Application programming interfaces / Loop optimization / Dependence analysis / Static single assignment form / Data dependency / Automatic parallelization / Computing / Compiler optimizations / Software engineering

        Workshop on Intermediate Representations Chamonix, 2011 Advances in Parallel-Stage Decoupled Software Pipelining Leveraging Loop Distribution, Stream-Computing and the SSA Form

        Add to Reading List

        Source URL: www.cri.ensmp.fr

        Language: English - Date: 2011-04-13 05:10:35
        UPDATE