• DocumentCode
    244446
  • Title

    Tutorials

  • Author

    Loulergue, Frederic ; Tesson, Julien

  • Author_Institution
    INSA Centre Val de Loire, Univ. Orleans, Orleans, France
  • fYear
    2014
  • fDate
    21-25 July 2014
  • Firstpage
    1
  • Lastpage
    19
  • Abstract
    The following tutorials discuss the following: certified parallel program calculation in Coq; Intel Xeon phi programming; HPC and cloud access; Monte Carlo methods and high-performance computing; parallel discrete event simulation; reversible computing; and high performance computing and Big Data analytics in bioinformatics.
  • Keywords
    Big Data; Monte Carlo methods; bioinformatics; cloud computing; data analysis; discrete event simulation; multiprocessing systems; parallel processing; Big Data analytics; Coq; HPC access; Intel Xeon phi programming; Monte Carlo methods; bioinformatics; cloud access; high-performance computing; parallel discrete event simulation; parallel program calculation; reversible computing; Computational modeling; Coprocessors; Libraries; Microwave integrated circuits; Parallel programming; Tutorials;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    High Performance Computing & Simulation (HPCS), 2014 International Conference on
  • Conference_Location
    Bologna
  • Print_ISBN
    978-1-4799-5312-7
  • Type

    conf

  • DOI
    10.1109/HPCSim.2014.6903655
  • Filename
    6903655