MPI: The Complete Reference (2 volumes), 1998. ,
Collective caching: application-aware client-side file caching, HPDC-14. Proceedings. 14th IEEE International Symposium on High Performance Distributed Computing, 2005., 2005. ,
DOI : 10.1109/HPDC.2005.1520940
A practically constanttime MPI broadcast algorithm for large-scale InfiniBand clusters with multicast, Proc. IPDPS. IEEE, pp.1-8, 2007. ,
A high-performance MPI implementation on a shared-memory vector supercomputer, Parallel Computing, vol.22, issue.11, pp.1512-1526, 1997. ,
DOI : 10.1016/S0167-8191(96)00062-2
An ultrahigh performance MPI implementation on SGI R ccNUMA Altix R systems SKaMPI: A detailed, accurate MPI benchmark, Proc. 5th European PVM/MPI Users Group Meeting, ser. LNCS, pp.67-70, 1998. ,
The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation , and Modeling, 1991. ,
On the accuracy of MANET simulators, Proceedings of the second ACM international workshop on Principles of mobile computing , POMC '02, pp.38-43, 2002. ,
DOI : 10.1145/584490.584499
Simulating large networks: How big is big enough, Proc. First International Conference on Grand Challenges for Modeling and Simulation, 2002. ,
Effects of detail in wireless network simulation, Proc. SCS Multiconference on Distributed Simulation, pp.3-11, 2001. ,
LOTOS ? a formal description technique based on the temporal ordering of observational behaviour, ISO, International Standard, vol.8807, 1989. ,
CADP??2006: A Toolbox for the Construction and Analysis of Distributed Processes, Proc. CAV, ser, pp.158-163, 2007. ,
DOI : 10.1007/978-3-540-73368-3_18
URL : https://hal.archives-ouvertes.fr/inria-00189021
On Combining Functional Verification and Performance Evaluation Using CADP, Proc. FME, ser, pp.410-429, 2002. ,
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096
Interactive Markov Chains and the Quest for Quantified Quality, ser, LNCS, vol.2428, 2002. ,
Modelling with Generalized Stochastic Petri Nets, ACM SIGMETRICS Performance Evaluation Review, vol.26, issue.2, 1995. ,
DOI : 10.1145/288197.581193
A low-overhead coherence solution multiprocessor with private cache memories, Proc. 11th Annual International Symposium on Computer Architecture, pp.348-354, 1984. ,
Efficient on-the-fly model-checking for regular alternation-free mu-calculus, Science of Computer Programming, vol.46, issue.3, pp.255-281, 2003. ,
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/inria-00072755
A Set of Performance and Dependability Analysis Components for CADP, Proc. TACAS, ser, pp.425-430, 2003. ,
DOI : 10.1007/3-540-36577-X_30