Narrow Search
Vialle, Stéphane
27
Fressengeas, Nicolas
13
Frezza-Buet, Hervé
13
Gustedt, Jens
13
Boumba Sitou, d'Havh
11
Contassot-Vivier, Sylvain
8
Jost, Thomas
8
Fix, Jérémy
7
Cudennec, Loïc
6
Goubier, Thierry
6
Kirschenmann, Wilfried
6
Plagne, Laurent
6
Deng, Yuxin
4
Grumbach, Stéphane
4
Merz, Stephan
4
Monin, Jean-François
4
Quinson, Martin
4
Raynal, Michel
4
Rosa, Cristian
4
Stainer, Julien
4
Abdelkafi, Omar
3
Antoniu, Gabriel
3
Cece, Gérard
3
Cohen, Albert
3
Do, Xuan Khanh
3
Doré, Philippe
3
Dubrulle, Paul
3
Fraigniaud, Pierre
3
Idoumghar, Lhassane
3
Korman, Amos
3
see all ...
Parallel
[INFO.INFO-DC]Computer Science [cs]/Distributed
67
and Cluster Computing [cs.DC]
67
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
16
fine grained parallel models
13
interactivity
13
rapid prototyping
13
[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
9
[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET]
7
[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing
7
[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]
7
[INFO.INFO-NE]Computer Science [cs]/Neural and Evolutionary Computing [cs.NE]
7
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
7
distributed systems
6
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.4: Model checking
4
ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.7: Simulation Support Systems
4
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
4
model checking
4
partial-order reduction
4
simulation
4
Asynchronism
3
Chemical programming
3
GPGPU
3
GPU
3
Parallelism
3
Performances
3
SSE
3
Scientific computing
3
Vectorization
3
[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
3
see all ...
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
20
Université de Lorraine: HAL
7
Université de Nantes: HAL-UNIV-NANTES
7
Supélec (Ecole supérieure d'électricité): Publications scientifiques (HAL)
6
Université de Franche-Comté (UFC): HAL
6
Archives ouvertes de Paris-Saclay
4
École Centrale Paris: HAL-ECP
3
HAL-CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
2
IFIP Open Digital Library (International Federation for Information Processing)
2
INSA Rennes HAL (Institut National des Sciences Appliquées)
2
Université de Rennes 1: Publications scientifiques (HAL)
2
CIRAD: HAL (Agricultural Research for Development)
1
Portail HAL-ANR (Agence Nationale de la Recherche)
1
Université Grenoble Alpes: HAL
1
Université de Lille 3 - Sciences Humaines et Sociales: HAL
1
Université de Paris: Portail HAL
1
Unknown
1
see all ...