Valentin Cristea
IdRefMots clés
FR |
EN
Vérification formelle
Langages modernes modélisation
Systèmes asynchrones
Meta-modelisation
LOTOS NT
BPEL
Applications data-intensive
MapReduce
Plate-formes distribuées à grande échelle
Grilles informatiques
Cloud computing
Gestion des données intermédiaires
Hadoop
HDFS
BlobSeer
Haut débit
Accès hautement concurrents
Informatique dans les nuages
Calcul intensif (informatique)
Stockage en ligne (informatique)