FR

EN

Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies



Bibliography

Publications of the year

Doctoral Dissertations and Habilitation Theses

  • 1V. Garcia Pinto.

    Performance Analysis Strategies for Task-based Applications on Hybrid Platforms, Universidade Federal do Rio Grande do Sul - UFRGS ; UGA - Université Grenoble Alpes, October 2018.

    https://tel.archives-ouvertes.fr/tel-01962333
  • 2R. Keller Tesser.

    A Simulation Workflow to Evaluate the Performance of Dynamic Load Balancing with Over-decomposition for Iterative Parallel Applications, Universidade Federal Do Rio Grande Do Sul, April 2018.

    https://tel.archives-ouvertes.fr/tel-01962082
  • 3B. Vinot.

    Design of a distributed information system for the control of flexibilities in a power distribution network: modelling, simulation and implementation, UGA - Université Grenoble Alpes ; MSTII, June 2018.

    https://tel.archives-ouvertes.fr/tel-01875320

Articles in International Peer-Reviewed Journals

  • 4A. Benegiamo, P. Loiseau, G. Neglia.

    Dissecting demand response mechanisms: The role of consumption forecasts and personalized offers, in: Sustainable Energy, Grids and Networks, December 2018, vol. 16, pp. 156-166. [ DOI : 10.1016/j.segan.2018.07.005 ]

    https://hal.archives-ouvertes.fr/hal-01955356
  • 5S. Durand, F. Garin, B. Gaujal.

    Distributed best response dynamics with high playing rates in potential games, in: Performance Evaluation, October 2018, vol. 129, pp. 40-59. [ DOI : 10.1016/j.peva.2018.09.007 ]

    https://hal.inria.fr/hal-01940128
  • 6V. Garcia Pinto, L. M. Schnorr, L. Stanisic, A. Legrand, S. Thibault, V. Danjean.

    A Visual Performance Analysis Framework for Task-based Parallel Applications running on Hybrid Clusters, in: Concurrency and Computation: Practice and Experience, April 2018, vol. 30, no 18, pp. 1-31. [ DOI : 10.1002/cpe.4472 ]

    https://hal.inria.fr/hal-01616632
  • 7N. Gast, L. Bortolussi, M. Tribastone.

    Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis, in: Performance Evaluation, 2018, pp. 1-15.

    https://hal.inria.fr/hal-01891632
  • 8N. Gast, D. Latella, M. Massink.

    A refined mean field approximation of synchronous discrete-time population models, in: Performance Evaluation, July 2018, pp. 1-27, https://arxiv.org/abs/1807.08585. [ DOI : 10.1016/j.peva.2018.05.002 ]

    https://hal.inria.fr/hal-01845235
  • 9R. Keller Tesser, L. Mello Schnorr, A. Legrand, C. Heinrich, F. Dupros, P. O. Alexandre Navaux.

    Performance Modeling of a Geophysics Application to Accelerate the Tuning of Over-decomposition Parameters through Simulation, in: Concurrency and Computation: Practice and Experience, 2018, pp. 1-21. [ DOI : 10.1002/cpe.5012 ]

    https://hal.inria.fr/hal-01891416
  • 10P. Mertikopoulos, W. H. Sandholm.

    Riemannian game dynamics, in: Journal of Economic Theory, September 2018, vol. 177, pp. 315-364. [ DOI : 10.1016/j.jet.2018.06.002 ]

    https://hal.archives-ouvertes.fr/hal-01382281
  • 11P. Mertikopoulos, M. Staudigl.

    On the convergence of gradient-like flows with noisy gradient input, in: SIAM Journal on Optimization, January 2018, vol. 28, no 1, pp. 163-197.

    https://hal.inria.fr/hal-01404586
  • 12P. Mertikopoulos, M. Staudigl.

    Stochastic mirror descent dynamics and their convergence in monotone variational inequalities, in: Journal of Optimization Theory and Applications, 2018, vol. 179, no 3, pp. 838-867. [ DOI : 10.1007/s10957-018-1346-x ]

    https://hal.archives-ouvertes.fr/hal-01643343

Invited Conferences

  • 13B. Vinot, F. Cadoux, N. Gast.

    Congestion Avoidance in Low-Voltage Networks by using the Advanced Metering Infrastructure, in: ePerf 2018 - IFIP WG PERFORMANCE - 36th International Symposium on Computer Performance, Modeling, Measurements and Evalution, Toulouse, France, December 2018, pp. 1-3.

    https://hal.inria.fr/hal-01953386

International Conferences with Proceedings

  • 14A. Andreou, M. Silva, F. Benevenuto, O. Goga, P. Loiseau, A. Mislove.

    Measuring the Facebook Advertising Ecosystem, in: NDSS 2019 - Proceedings of the Network and Distributed System Security Symposium, San Diego, United States, February 2019. [ DOI : 10.14722/ndss.2019.23280 ]

    https://hal.archives-ouvertes.fr/hal-01959145
  • 15A. Andreou, G. Venkatadri, O. Goga, K. P. Gummadi, P. Loiseau, A. Mislove.

    Investigating Ad Transparency Mechanisms in Social Media: A Case Study of Facebook's Explanations, in: NDSS 2018 - Network and Distributed System Security Symposium, San Diego, United States, February 2018, pp. 1-15. [ DOI : 10.14722/ndss.2018.23204 ]

    https://hal.archives-ouvertes.fr/hal-01955309
  • 16R. Borrell, J. C. Cajas, L. M. Schnorr, A. Legrand, G. Houzeaux.

    SFC based multi-partitioning for accurate load balancing of CFD simulations, in: Tenth International Conference on Computational Fluid Dynamics (ICCFD10), Barcelona, Spain, July 2018.

    https://hal.inria.fr/hal-01896947
  • 17R. Bot, P. Mertikopoulos, M. Staudigl, P. T. Vuong.

    On the convergence of stochastic forward-backward-forward algorithms with variance reduction in pseudo-monotone variational inequalities, in: NIPS 2018 - Workshop on Smooth Games, Optimization and Machine Learning, Montréal, Canada, December 2018, pp. 1-5.

    https://hal.inria.fr/hal-01949361
  • 18M. Bravo, D. S. Leslie, P. Mertikopoulos.

    Bandit learning in concave N-person games, in: NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, December 2018, pp. 1-24.

    https://hal.inria.fr/hal-01891523
  • 19H. Casanova, A. Legrand, M. Quinson, F. Suter.

    SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation, in: EduHPC-18 - Workshop on Education for High-Performance Computing, Dallas, United States, November 2018, pp. 1-10.

    https://hal.inria.fr/hal-01891513
  • 20B. Donassolo, I. Fajjari, A. Legrand, P. Mertikopoulos.

    Fog Based Framework for IoT Service Provisioning, in: IEEE Consumer Communications & Networking Conference, Las Vegas, United States, January 2019.

    https://hal.inria.fr/hal-01859695
  • 21S. Durand, F. Garin, B. Gaujal.

    Distributed Best Response Algorithms for Potential Games, in: ECC 2018 - 16th European Control Conference, Limassol, Cyprus, June 2018, pp. 1-6.

    https://hal.inria.fr/hal-01726836
  • 22S. Durand, F. Garin, B. Gaujal.

    Efficiency of Best Response Dynamics with High Playing Rates in Potential Games, in: IFIP WG 7.3 Performance 2018 - 36th International Symposium on Computer Performance, Modeling, Measurements and Evaluation, Toulouse, France, December 2018, pp. 1-2.

    https://hal.inria.fr/hal-01940150
  • 23N. Gast, L. Bortolussi, M. Tribastone.

    Size Expansions of Mean Field Approximation: Transient and Steady-State Analysis, in: 2018 - 36th International Symposium on Computer Performance, Modeling, Measurements and Evaluation, Toulouse, France, December 2018, pp. 1-2.

    https://hal.inria.fr/hal-01891636
  • 25N. Gast, D. Latella, M. Massink.

    A Refined Mean Field Approximation for Synchronous Population Processes, in: MAMA 2018Workshop on MAthematical performance Modeling and Analysis, Irvine, United States, June 2018, pp. 1-3.

    https://hal.inria.fr/hal-01891629
  • 26M. Leconte, G. Paschos, P. Mertikopoulos, U. Kozat.

    A resource allocation framework for network slicing, in: INFOCOM 2018 - IEEE International Conference on Computer Communications, Honolulu, United States, April 2018, pp. 1-9.

    https://hal.archives-ouvertes.fr/hal-01643349
  • 27P. Mertikopoulos, C. H. Papadimitriou, G. Piliouras.

    Cycles in adversarial regularized learning, in: SODA '18 - Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, New Orleans, United States, January 2018, pp. 2703-2717.

    https://hal.archives-ouvertes.fr/hal-01643338
  • 28M. Minaei, M. Mondal, P. Loiseau, K. P. Gummadi, A. Kate.

    Forgetting the Forgotten with Lethe: Conceal Content Deletion from Persistent Observers, in: PETS 2019 - 19th Privacy Enhancing Technologies Symposium, Stockholm, Sweden, July 2019, pp. 1-21.

    https://hal.archives-ouvertes.fr/hal-01959119
  • 29U. Ozeer, X. Etchevers, L. Letondeur, F.-G. Ottogalli, G. Salaün, J.-M. Vincent.

    Resilience of Stateful IoT Applications in a Dynamic Fog Environment, in: EAI International Conference on Mobile and Ubiquitous Systems: Networking and Services (MobiQuitous '18), New York, United States, November 2018, pp. 1-10. [ DOI : 10.1145/3286978.3287007 ]

    https://hal.archives-ouvertes.fr/hal-01927286
  • 31G. Venkatadri, A. Andreou, Y. Liu, A. Mislove, K. P. Gummadi, P. Loiseau, O. Goga.

    Potential for Discrimination in Online Targeted Advertising, in: FAT 2018 - Conference on Fairness, Accountability, and Transparency, New-York, United States, February 2018, vol. 81, pp. 1-15.

    https://hal.archives-ouvertes.fr/hal-01955327
  • 32D. Q. Vu, P. Loiseau, A. Silva.

    Efficient Computation of Approximate Equilibria in Discrete Colonel Blotto Games, in: IJCAI-ECAI 2018 - 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, Stockholm, Sweden, July 2018, pp. 1-8. [ DOI : 10.24963/ijcai.2018/72 ]

    https://hal.archives-ouvertes.fr/hal-01955448
  • 33A. Ward, Z. Zhou, P. Mertikopoulos, N. Bambos.

    Power Control with Random Delays: Robust Feedback Averaging, in: CDC 2018 - 57th IEEE Conference on Decision and Control, Miami Beach, United States, December 2018, pp. 1-6.

    https://hal.inria.fr/hal-01891528
  • 34Z. Zhou, P. Mertikopoulos, S. Athey, N. Bambos, P. Glynn, Y. Ye.

    Learning in Games with Lossy Feedback, in: NIPS 2018 - Thirty-second Conference on Neural Information Processing Systems, Montreal, Canada, December 2018, pp. 1-11.

    https://hal.inria.fr/hal-01904461
  • 35Z. Zhou, P. Mertikopoulos, N. Bambos, P. W. Glynn, Y. Ye, L.-J. Li, F.-F. Li.

    Distributed Asynchronous Optimization with Unbounded Delays: How Slow Can You Go?, in: ICML 2018 - 35th International Conference on Machine Learning, Stockholm, Sweden, July 2018, pp. 1-10.

    https://hal.inria.fr/hal-01891449

National Conferences with Proceedings

  • 36V. G. Pinto, L. Mello Schnorr, A. Legrand, S. Thibault, L. Stanisic, V. Danjean.

    Detecção de Anomalias de Desempenho em Aplicações de Alto Desempenho baseadas em Tarefas em Clusters Híbridos, in: WPerformance 2018 - 17º Workshop em Desempenho de Sistemas Computacionais e de Comunicação, Natal, Brazil, July 2018, pp. 1-14.

    https://hal.inria.fr/hal-01842038

Conferences without Proceedings

  • 37U. Ozeer, L. Letondeur, F.-G. Ottogalli, G. Salaün, J.-M. Vincent.

    Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case, in: 22nd Conference on Innovation in Clouds, Internet and Networks, Paris, France, February 2019.

    https://hal.archives-ouvertes.fr/hal-01979686

Internal Reports

  • 38A. Legrand, D. Trystram, S. Zrigui.

    Adapting Batch Scheduling to Workload Characteristics: What can we expect From Online Learning?, Grenoble 1 UGA - Université Grenoble Alpe, October 2018, no RR-9212, pp. 1-23.

    https://hal.inria.fr/hal-01896121

Other Publications

References in notes
  • 47R. M. Badia, J. Labarta, J. Giménez, F. Escalé.

    Dimemas: Predicting MPI Applications Behaviour in Grid Environments, in: Proc. of the Workshop on Grid Applications and Programming Tools, June 2003.
  • 48C. Baier, B. Haverkort, H. Hermanns, J.-P. Katoen.

    Model-checking algorithms for continuous-time Markov chains, in: Software Engineering, IEEE Transactions on, 2003, vol. 29, no 6.

    http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1205180
  • 49A. Basu, S. Fleming, J. Stanier, S. Naicken, I. Wakeman, V. K. Gurbani.

    The State of Peer-to-peer Network Simulators, in: ACM Computing Survey., August 2013, vol. 45, no 4.
  • 50D. Becker, F. Wolf, W. Frings, M. Geimer, B. Wylie, B. Mohr.

    Automatic Trace-Based Performance Analysis of Metacomputing Applications, in: Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International, March 2007.

    http://dx.doi.org/10.1109/IPDPS.2007.370238
  • 51P. Bedaride, A. Degomme, S. Genaud, A. Legrand, G. Markomanolis, M. Quinson, M. L. Stillwell, F. Suter, B. Videau.

    Toward Better Simulation of MPI Applications on Ethernet/TCP Networks, in: PMBS13 - 4th International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Denver, United States, November 2013.

    https://hal.inria.fr/hal-00919507
  • 52G. Bianchi.

    Performance analysis of the IEEE 802.11 distributed coordination function, in: Selected Areas in Communications, IEEE Journal on, 2000, vol. 18, no 3.
  • 53L. Bobelin, A. Legrand, M. A. G. David, P. Navarro, M. Quinson, F. Suter, C. Thiery.

    Scalable Multi-Purpose Network Representation for Large Scale Distributed System Simulation, in: CCGrid 2012 – The 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Ottawa, Canada, May 2012, 19 p.

    https://hal.inria.fr/hal-00650233
  • 54L. Bortolussi, J. Hillston.

    Model checking single agent behaviours by fluid approximation, in: Information and Computation, 2015, vol. 242.

    http://dx.doi.org/10.1016/j.ic.2015.03.002
  • 55L. Bortolussi, R. Lanciani.

    Model Checking Markov Population Models by Central Limit Approximation, in: Quantitative Evaluation of Systems, Lecture Notes in Computer Science, Springer Berlin Heidelberg, 2013, no 8054.
  • 56L. Bortolussi, R. Lanciani.

    Fluid Model Checking of Timed Properties, in: Formal Modeling and Analysis of Timed Systems, Springer International Publishing, 2015.
  • 57H. Brunst, D. Hackenberg, G. Juckeland, H. Rohling.

    Comprehensive Performance Tracking with Vampir 7, in: Tools for High Performance Computing 2009, M. S. Müller, M. M. Resch, A. Schulz, W. E. Nagel (editors), Springer Berlin Heidelberg, 2010.

    http://dx.doi.org/10.1007/978-3-642-11261-4_2
  • 58A. Busic, B. Gaujal, G. Gorgo, J.-M. Vincent.

    PSI2 : Envelope Perfect Sampling of Non Monotone Systems, in: QEST 2010 - International Conference on Quantitative Evaluation of Systems, Williamsburg, VA, United States, IEEE, September 2010, pp. 83-84.

    https://hal.inria.fr/hal-00788884
  • 59A. Busic, B. Gaujal, F. Perronnin.

    Perfect Sampling of Networks with Finite and Infinite Capacity Queues, in: 19th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA) 2012, Grenoble, France, K. Al-Begain, D. Fiems, J.-M. Vincent (editors), Lecture Notes in Computer Science, Springer, 2012, vol. 7314, pp. 136-149. [ DOI : 10.1007/978-3-642-30782-9_10 ]

    https://hal.inria.fr/hal-00788003
  • 60S. Böhm, C. Engelmann.

    xSim: The Extreme-Scale Simulator, in: Proceedings of the International Conference on High Performance Computing and Simulation (HPCS) 2011, Istanbul, Turkey, IEEE Computer Society, Los Alamitos, CA, USA, July 2011.
  • 61H. Casanova, A. Giersch, A. Legrand, M. Quinson, F. Suter.

    Versatile, Scalable, and Accurate Simulation of Distributed Applications and Platforms, in: Journal of Parallel and Distributed Computing, June 2014, vol. 74, no 10, pp. 2899-2917. [ DOI : 10.1016/j.jpdc.2014.06.008 ]

    https://hal.inria.fr/hal-01017319
  • 62A. Chaintreau, J.-Y. Le Boudec, N. Ristanovic.

    The Age of Gossip: Spatial Mean Field Regime, in: SIGMETRICS Perform. Eval. Rev., June 2009, vol. 37, no 1.

    http://doi.acm.org/10.1145/2492101.1555363
  • 63K. Coulomb, M. Faverge, J. Jazeix, O. Lagrasse, J. Marcoueille, P. Noisette, A. Redondy, C. Vuchener.

    Visual trace explorer (ViTE), October, 2009.
  • 64J. Doncel, N. Gast, B. Gaujal.

    Mean-Field Games with Explicit Interactions, February 2016.

    https://hal.inria.fr/hal-01277098
  • 65S. Durand, B. Gaujal, F. Perronnin, J.-M. Vincent.

    A perfect sampling algorithm of random walks with forbidden arcs, in: QEST 2014 - 11th International Conference on Quantitative Evaluation of Systems, Florence, Italy, Springer, September 2014, vol. 8657, pp. 178-193. [ DOI : 10.1007/978-3-319-10696-0_15 ]

    https://hal.inria.fr/hal-01069975
  • 66C. Fricker, N. Gast.

    Incentives and redistribution in homogeneous bike-sharing systems with stations of finite capacity, in: EURO Journal on Transportation and Logistics, June 2014, 31 p. [ DOI : 10.1007/s13676-014-0053-5 ]

    https://hal.inria.fr/hal-01086009
  • 67C. Fricker, N. Gast, H. Mohamed.

    Mean field analysis for inhomogeneous bike sharing systems, in: AofA, Montreal, Canada, July 2012.

    https://hal.inria.fr/hal-01086055
  • 68D. Fudenberg, D. K. Levine.

    The Theory of Learning in Games, Economic learning and social evolution, MIT Press, Cambridge, MA, 1998, vol. 2.
  • 69R. M. Fujimoto.

    Parallel Discrete Event Simulation, in: Commun. ACM, October 1990, vol. 33, no 10.

    http://doi.acm.org/10.1145/84537.84545
  • 70N. Gast, B. Gaujal.

    Markov chains with discontinuous drifts have differential inclusion limits, in: Performance Evaluation, 2012, vol. 69, no 12, pp. 623-642. [ DOI : 10.1016/j.peva.2012.07.003 ]

    https://hal.inria.fr/hal-00787999
  • 71N. Gast, B. Gaujal, J.-Y. Le Boudec.

    Mean field for Markov Decision Processes: from Discrete to Continuous Optimization, in: IEEE Transactions on Automatic Control, 2012, vol. 57, no 9, pp. 2266 - 2280. [ DOI : 10.1109/TAC.2012.2186176 ]

    https://hal.inria.fr/hal-00787996
  • 72N. Gast, J.-Y. Le Boudec, D.-C. Tomozei.

    Impact of Demand-Response on the Efficiency and Prices in Real-Time Electricity Markets, in: ACM e-Energy 2014, Cambridge, United Kingdom, June 2014. [ DOI : 10.1145/2602044.2602052 ]

    https://hal.inria.fr/hal-01086036
  • 73N. Gast, B. Van Houdt.

    Transient and Steady-state Regime of a Family of List-based Cache Replacement Algorithms, in: ACM SIGMETRICS 2015, Portland, United States, June 2015. [ DOI : 10.1145/2745844.2745850 ]

    https://hal.inria.fr/hal-01143838
  • 74J. González, J. Giménez, J. Labarta.

    Automatic detection of parallel applications computation phases, in: Parallel and Distributed Processing Symposium, International, 2009, vol. 0.

    http://doi.ieeecomputersociety.org/10.1109/IPDPS.2009.5161027
  • 75M. Heath, J. Etheridge.

    Visualizing the performance of parallel programs, in: IEEE software, 1991, vol. 8, no 5.
  • 76T. Hoefler, T. Schneider, A. Lumsdaine.

    LogGOPSim - Simulating Large-Scale Applications in the LogGOPS Model, in: Proc. of the ACM Workshop on Large-Scale System and Application Performance, June 2010.
  • 77L. Hu, J.-Y. Le Boudec, M. Vojnović.

    Optimal channel choice for collaborative ad-hoc dissemination, in: INFOCOM, 2010 Proceedings IEEE, IEEE, 2010.
  • 78L. V. Kalé, G. Zheng, C. W. Lee, S. Kumar.

    Scaling applications to massively parallel machines using Projections performance analysis tool, in: Future Generation Comp. Syst., 2006, vol. 22, no 3.
  • 79T. G. Kurtz.

    Approximation of population processes, SIAM, 1981, vol. 36.
  • 80Y.-B. Lin, E. D. Lazowska.

    A Time-division Algorithm for Parallel Simulation, in: ACM Trans. Model. Comput. Simul., January 1991, vol. 1, no 1.

    http://doi.acm.org/10.1145/102810.214307
  • 81G. Llort, J. González, H. Servat, J. Giménez, J. Labarta.

    On-line Detection of Large-scale Parallel Application's Structure, in: 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS’2010), 2010.
  • 82L. Mello Schnorr, A. Legrand.

    Visualizing More Performance Data Than What Fits on Your Screen, in: Tools for High Performance Computing 2012, A. Cheptsov, S. Brinkmann, J. Gracia, M. M. Resch, W. E. Nagel (editors), Springer Berlin Heidelberg, 2013, pp. 149-162. [ DOI : 10.1007/978-3-642-37349-7_10 ]

    https://hal.inria.fr/hal-00842761
  • 83S. Meyn, P. Barooah, A. Busic, J. Ehren.

    Ancillary service to the grid from deferrable loads: the case for intelligent pool pumps in Florida, in: Decision and Control (CDC), 2013 IEEE 52nd Annual Conference on, IEEE, 2013.
  • 84M. Mitzenmacher.

    The power of two choices in randomized load balancing, in: Parallel and Distributed Systems, IEEE Transactions on, 2001, vol. 12, no 10.
  • 85K. Mohror, K. Karavanic, A. Snavely.

    Scalable Event Trace Visualization, in: Euro-Par 2009 – Parallel Processing Workshops, H.-X. Lin, M. Alexander, M. Forsell, A. Knüpfer, R. Prodan, L. Sousa, A. Streit (editors), Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010, vol. 6043.

    http://dx.doi.org/10.1007/978-3-642-14122-5_27
  • 86W. Nagel, A. Arnold, M. Weber, H. Hoppe, K. Solchenbach.

    VAMPIR: Visualization and Analysis of MPI Resources, in: Supercomputer, 1996, vol. 12, no 1.
  • 87V. Pillet, J. Labarta, T. Cortes, S. Girona.

    PARAVER: A tool to visualise and analyze parallel code, in: Proceedings of Transputer and occam Developments, WOTUG-18., Transputer and Occam Engineering, IOS Press, 1995, vol. 44.
  • 88J. Propp, D. Wilson.

    Coupling from the past: a user's guide, in: DIMACS Series on Discrete Mathematics and Theoretical Computer Science, 1998, vol. 41, Microsurveys in discrete probability.
  • 89M. L. Puterman.

    Markov decision processes: discrete stochastic dynamic programming, John Wiley & Sons, 2014.
  • 90D. Reed, P. Roth, R. Aydt, K. Shields, L. Tavera, R. Noe, B. Schwartz.

    Scalable performance analysis: the Pablo performance analysis environment, in: Scalable Parallel Libraries Conference, 1993., Proceedings of the, 1993.
  • 91W. H. Sandholm.

    Population Games and Evolutionary Dynamics, Economic learning and social evolution, MIT Press, Cambridge, MA, 2010.
  • 92W. H. Sandholm, M. Staudigl.

    A Sample Path Large Deviation Principle for a Class of Population Processes, in: arXiv preprint arXiv:1511.07897, 2015.
  • 93H. Servat, G. Llort, J. Giménez, K. Huck, J. Labarta.

    Folding: detailed analysis with coarse sampling, in: Tools for High Performance Computing 2011, Springer Berlin Heidelberg, 2012.
  • 94H. Servat, G. Llort, J. Gonzalez, J. Gimenez, J. Labarta.

    Identifying code phases using piece-wise linear regressions, in: Parallel and Distributed Processing Symposium, 2014 IEEE 28th International, IEEE, 2014.
  • 95B. Shneiderman.

    The eyes have it: A task by data type taxonomy for information visualizations, in: Visual Languages, 1996. Proceedings., IEEE Symposium on, IEEE, 1996.
  • 96M. Tikir, M. Laurenzano, L. Carrington, A. Snavely.

    PSINS: An Open Source Event Tracer and Execution Simulator for MPI Applications, in: Proc. of the 15th International Euro-Par Conference on Parallel Processing, LNCS, Springer, August 2009, no 5704.
  • 97B. Van Houdt.

    A Mean Field Model for a Class of Garbage Collection Algorithms in Flash-based Solid State Drives, in: Proceedings of the ACM SIGMETRICS, New York, NY, USA, SIGMETRICS '13, ACM, 2013.

    http://doi.acm.org/10.1145/2465529.2465543
  • 98P. Velho, L. Schnorr, H. Casanova, A. Legrand.

    On the Validity of Flow-level TCP Network Models for Grid and Cloud Simulations, in: ACM Transactions on Modeling and Computer Simulation, October 2013, vol. 23, no 4.

    https://hal.inria.fr/hal-00872476
  • 99J. J. Wilke, K. Sargsyan, J. P. Kenny, B. Debusschere, H. N. Najm, G. Hendry.

    Validation and Uncertainty Assessment of Extreme-Scale HPC Simulation through Bayesian Inference, in: Euro-Par 2013 Parallel Processing: 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013.
  • 100F. Wolf, B. Mohr.

    Automatic performance analysis of hybrid MPI/OpenMP applications, in: Journal of Systems Architecture, 2003, vol. 49, no 10-11.
  • 101T. Yang, P. G. Mehta, S. P. Meyn.

    A mean-field control-oriented approach to particle filtering, in: American Control Conference (ACC), 2011, IEEE, 2011.
  • 102L. Ying.

    On the Rate of Convergence of Mean-Field Models: Stein's Method Meets the Perturbation Theory, in: arXiv preprint arXiv:1510.00761, 2015.
  • 103O. Zaki, E. Lusk, W. Gropp, D. Swider.

    Toward Scalable Performance Visualization with Jumpshot, in: International Journal of High Performance Computing Applications, 1999, vol. 13, no 3.

    http://dx.doi.org/10.1177/109434209901300310
  • 104G. Zheng, G. Kakulapati, L. Kalé.

    BigSim: A Parallel Simulator for Performance Prediction of Extremely Large Parallel Machines, in: Proc. of the 18th International Parallel and Distributed Processing Symposium (IPDPS), April 2004.
  • 105J. C. de Kergommeaux, B. Stein, P. Bernard.

    Paje, an interactive visualization tool for tuning multi-threaded parallel applications, in: Parallel Computing, 2000, vol. 10, no 26, pp. 1253–1274.