Author :
Loulergue, Frederic ; Tesson, Julien
Author_Institution :
INSA Centre Val de Loire, Univ. Orleans, Orleans, France
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;
Conference_Titel :
High Performance Computing & Simulation (HPCS), 2014 International Conference on
Conference_Location :
Bologna
Print_ISBN :
978-1-4799-5312-7
DOI :
10.1109/HPCSim.2014.6903655
