A mean-field model for multiple TCP connections through a buffer implementing RED, Performance Evaluation, vol.49, issue.1-4, pp.77-97, 2002. ,
DOI : 10.1016/S0166-5316(02)00136-0
URL : https://hal.archives-ouvertes.fr/inria-00072139
OverSim: A Flexible Overlay Network Simulation Framework, 2007 IEEE Global Internet Symposium, pp.79-84, 2007. ,
DOI : 10.1109/GI.2007.4301435
Optorsim: A Grid Simulator for Studying Dynamic Data Replication Strategies, The International Journal of High Performance Computing Applications, vol.17, issue.4, 2003. ,
DOI : 10.1155/2000/481921
Performance analysis of the IEEE 802.11 distributed coordination function . Selected Areas in Communications, IEEE Journal on, vol.18, issue.3, pp.535-547, 2000. ,
Symbolic Model Checking without BDDs, Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS '99, pp.193-207, 1999. ,
DOI : 10.21236/ada360973
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1426&context=compsci
The power of QDDs (extended abstract), Proceedings of the 4th International Symposium on Static Analysis, SAS '97, pp.172-186, 1997. ,
DOI : 10.1007/BFb0032741
Grid'5000 : A large scale and highly reconfigurable experimental grid testbed, International Journal of High Performance Computing Applications, vol.20, issue.4, pp.481-494, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00684943
Reachability analysis of pushdown automata: Application to model-checking, Lecture Notes in Computer Science, vol.1243, pp.135-150, 1997. ,
DOI : 10.1007/3-540-63141-0_10
A Generic Mean Field Convergence Result for Systems of Interacting Objects, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), pp.3-18, 2007. ,
DOI : 10.1109/QEST.2007.8
Symbolic model checking: 1020 States and beyond, Information and Computation, vol.98, issue.2, pp.142-170, 1992. ,
DOI : 10.1016/0890-5401(92)90017-A
URL : https://doi.org/10.1016/0890-5401(92)90017-a
GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing, Concurrency and Computation: Practice and Experience, vol.14, issue.13-15, pp.13-15, 2002. ,
DOI : 10.1002/cpe.690
CloudSim : A Toolkit for Modeling and Simulation of Cloud Computing Environments and Evaluation of Resource Provisioning Algorithms. So?ware : Practice and Experience, pp.23-50, 2011. ,
SimGrid: A Generic Framework for Large-Scale Distributed Experiments, Tenth International Conference on Computer Modeling and Simulation (uksim 2008), 2008. ,
DOI : 10.1109/UKSIM.2008.28
URL : https://hal.archives-ouvertes.fr/inria-00260697
Space-time and simulation, Proceedings of the SCS Multiconference on Distributed Simulation, pp.53-57, 1989. ,
Counterexample-guided abstraction refinement for symbolic model checking, Journal of the ACM, vol.50, issue.5, pp.752-794, 2003. ,
DOI : 10.1145/876638.876643
A BDD-Based Model Checker for Recursive Programs, Computer Aided Verification, pp.324-336, 2001. ,
DOI : 10.1007/3-540-44585-4_30
Parallel and Distributed Simulation of Discrete Event Systems, 1995. ,
Dynamic partial-order reduction for model checking software, ACM SIGPLAN Notices, vol.40, issue.1, pp.110-121, 2005. ,
DOI : 10.1145/1047659.1040315
Traffic phase effects in packet-switched gateways, ACM SIGCOMM Computer Communication Review, vol.21, issue.2, pp.26-42, 1991. ,
DOI : 10.1145/122419.122421
Parallel discrete event simulation, Communications of the ACM - Special issue on simulation, vol.33, issue.10, pp.30-53, 1990. ,
Elements of Distributed Computing, 2002. ,
Using partial orders to improve automatic verification methods, Proceedings of the 2nd International Workshop on Computer Aided Verification, CAV '90, pp.176-185, 1991. ,
Partial-Order Methods for the Verification of Concurrent Systems : An Approa? to the State-Explosion Problem, 1996. ,
DOI : 10.1007/3-540-60761-7
Model checking for programming languages using VeriSo?, Proc. 24th ACM SIGPLAN-SIGACT Symp. Principles of programming languages, pp.174-186, 1997. ,
Group Operation Assembly Language - A Flexible Way to Express Collective Communication, 2009 International Conference on Parallel Processing, pp.574-581, 2009. ,
DOI : 10.1109/ICPP.2009.70
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997. ,
DOI : 10.1109/32.588521
Exploiting heap symmetries in explicit-state model checking of so?ware, Proc. 16th IEEE Intl. Conf. Automated so?ware engineering, pp.254-261, 2001. ,
Time-parallel simulation with approximative state matching, Proceedings of the 18th Workshop on Parallel and Distributed Simulation, pp.195-202, 2004. ,
Life, death, and the critical transition : finding liveness bugs in systems code, Proceedings of the 4th USENIX Conference on Networked Systems Design & implementation, NSDI'07, pp.18-18, 2007. ,
Mace : language support for building distributed systems, Proc. ACM SIGPLAN Conf. Programming language design and implementation, pp.179-188, 2007. ,
Mace, ACM SIGPLAN Notices, vol.42, issue.6, pp.179-188, 2007. ,
DOI : 10.1145/1273442.1250755
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Specifying Systems, 2002. ,
Simulation Modelling and Analysis, 2000. ,
Addressing dynamic issues of program model checking, Proceedings of the 8th international SPIN workshop on Model ?e?ing of so?ware, SPIN '01, pp.80-102, 2001. ,
DOI : 10.1007/3-540-45139-0_6
A study of networks simulation efficiency: fluid simulation vs. packet-level simulation, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213), pp.1244-1253, 2001. ,
DOI : 10.1109/INFCOM.2001.916619
The macroscopic behavior of the TCP congestion avoidance algorithm, ACM SIGCOMM Computer Communication Review, vol.27, issue.3, pp.67-82, 1997. ,
DOI : 10.1145/263932.264023
?e Network Simulator (ns2) ,
Structure-driven optimization for amorphous dataparallel programs, PPoPP '10 : Proceedings of the 15th ACM SIGPLAN symposium on Principles and practice of parallel programming, 2010. ,
The power of two choices in randomized load balancing, IEEE Transactions on Parallel and Distributed Systems, vol.12, issue.10, pp.1094-1104, 2001. ,
DOI : 10.1109/71.963420
CMC : A pragmatic approach to model checking real code, Proc. Fi?h Symp. Operating Systems Design and Implementation, 2002. ,
Fair stateless model checking, Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation , PLDI '08, pp.362-371, 2008. ,
Chess : A systematic testing tool for concurrent so?ware, 2007. ,
Window Size Behavior in TCP/IP with Constant Loss Probabillity, 4th IEEE Workshop on High-Performance Communication Systems, 1997. ,
Modeling TCP throughput : a simple model and its empirical validation, Proceedings of the ACM SIGCOMM '98 conference on Applications, te?nologies, ar?itectures, and protocols for computer communication , SIGCOMM '98, pp.303-314, 1998. ,
Semantics driven dynamic partialorder reduction of MPI-based parallel programs, Proc. ACM Wsh. Parallel and distributed systems : testing and debugging, pp.43-53, 2007. ,
Combining partial order reductions with on-the-fly model-checking, Proceedings of the 6th International Conference on Computer Aided Verification, CAV '94, pp.377-390, 1994. ,
?e tao of parallelism in algorithms, SIGPLAN Not, vol.46, pp.12-25, 2011. ,
An extensible simulation tool for overlay networks and services, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, pp.2072-2076, 2009. ,
DOI : 10.1145/1529282.1529740
Context-Bounded Model Checking of Concurrent So?ware, TACAS'05, pp.93-107, 2005. ,
Context-sensitive synchronization-sensitive analysis is undecidable, ACM Transactions on Programming Languages and Systems, vol.22, issue.2, pp.416-430, 2000. ,
DOI : 10.1145/349214.349241
Decoupling computation and data scheduling in distributed data-intensive applications, Proceedings 11th IEEE International Symposium on High Performance Distributed Computing, p.352, 2002. ,
DOI : 10.1109/HPDC.2002.1029935
Large-scale network simulations with GTNetS, Proceedings of the 2003 International Conference on Machine Learning and Cybernetics (IEEE Cat. No.03EX693), 2003. ,
DOI : 10.1109/WSC.2003.1261483
URL : http://users.ece.gatech.edu/~riley/ece6110/handouts/wsc03.pdf
A definition of peer-to-peer networking for the classification of peer-to-peer architectures and applications, Proceedings First International Conference on Peer-to-Peer Computing, p.101, 2001. ,
DOI : 10.1109/P2P.2001.990434
Chord: a scalable peer-to-peer lookup protocol for internet applications, IEEE/ACM Transactions on Networking, vol.11, issue.1, pp.17-32, 2003. ,
DOI : 10.1109/TNET.2002.808407
Japan Reclaims Top Ranking on Latest TOP500 List of World's Supercomputers . http://www.top500.org/lists, 2011. ,
TechPack -cloud computing, 2010. ,
?e Open Group Base Specifications Issue 6 ? IEEE Std 1003, Edition, vol.1, 2004. ,
Reduced Execution Semantics of MPI : From ?eory to Practice, Proceedings of the 2nd World Congress on Formal Methods, FM '09, pp.724-740, 2009. ,
A stubborn a?ack on state explosion, Proceedings of the 2nd International Workshop on Computer Aided Verification, CAV '90, pp.156-165, 1991. ,
Omnet++ community site ,
Accuracy study and improvement of network simulation in the SimGrid framework, Proceedings of the Second International ICST Conference on Simulation Tools and Techniques, pp.1-10, 2009. ,
DOI : 10.4108/ICST.SIMUTOOLS2009.5592
URL : https://hal.archives-ouvertes.fr/inria-00361031
Model checking programs, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, pp.3-12, 2000. ,
DOI : 10.1109/ASE.2000.873645
URL : http://www.cs.cmu.edu/~flerda/publications/visser03model.pdf
A Scalable and Distributed Dynamic Formal Verifier for MPI Programs, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis, pp.1-10, 2010. ,
DOI : 10.1109/SC.2010.7
Formal verification of practical MPI programs, ACM SIGPLAN Notices, vol.44, issue.4, pp.261-270, 2009. ,
DOI : 10.1145/1594835.1504214
Partial-order methods for temporal verification, Proceedings of the 4th International Conference on Concurrency ?eory, CONCUR '93, pp.233-246, 1993. ,
DOI : 10.1007/3-540-57208-2_17
CrystalBall : Predicting and preventing inconsistencies in deployed distributed systems, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, pp.229-244, 2009. ,
Parallel discrete event simulation : A survey, 1999. ,