Publicaciones en colaboración con investigadores/as de Universidad Carlos III de Madrid (33)

2019

  1. Very localized temperature measurements and applications using optical fiber pyrometers

    International Conference on Transparent Optical Networks

2017

  1. A multi-agent system architecture for statistics managing and soccer forecasting

    2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017

2014

  1. Modelling and Analyzing Parallel Applications in Highly Distributed Systems

    INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SOFTWARE ENGINEERING (AISE 2014)

2013

  1. E-mc2: A formal framework for energy modelling in cloud computing

    Simulation Modelling Practice and Theory, Vol. 39, pp. 56-75

2012

  1. An adaptive, scalable, and portable technique for speeding up MPI-based applications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Dimensioning scientific computing systems to improve performance of Map-Reduce based applications

    Procedia Computer Science

  3. Dynamic-CoMPI: Dynamic optimization techniques for MPI parallel applications

    Journal of Supercomputing, Vol. 59, Núm. 1, pp. 361-391

  4. ICanCloud: A Flexible and Scalable Cloud Infrastructure Simulator

    Journal of Grid Computing, Vol. 10, Núm. 1, pp. 185-209

  5. SIMCAN: A flexible, scalable and expandable simulation platform for modelling and simulating distributed architectures and applications

    Simulation Modelling Practice and Theory, Vol. 20, Núm. 1, pp. 12-32

  6. iCanCloud: A brief architecture overview

    Proceedings of the 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012

2011

  1. A power-aware based storage architecture for high performance computing

    Proc.- 2011 IEEE International Conference on HPCC 2011 - 2011 IEEE International Workshop on FTDCS 2011 -Workshops of the 2011 Int. Conf. on UIC 2011- Workshops of the 2011 Int. Conf. ATC 2011

  2. Design of a flexible and scalable hypervisor module for simulating cloud computing environments

    Proceedings of the 2011 International Symposium on Performance Evaluation of Computer and Telecommunication Systems, SPECTS 2011

  3. Design of a new cloud computing simulation platform

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Optimizing distributed architectures to improve performance on checkpointing applications

    Proc.- 2011 IEEE International Conference on HPCC 2011 - 2011 IEEE International Workshop on FTDCS 2011 -Workshops of the 2011 Int. Conf. on UIC 2011- Workshops of the 2011 Int. Conf. ATC 2011

2010

  1. A formal nethod (a networked formal method)

    Innovations in Systems and Software Engineering, Vol. 6, Núm. 4, pp. 255-268

  2. New contributions for simulating large distributed systems

    Proceedings - IEEE International Symposium on Distributed Simulation and Real-Time Applications, DS-RT

  3. New techniques for simulating high performance MPI applications on large storage networks

    Journal of Supercomputing

  4. Open source verification under a cloud

    Electronic Communications of the EASST

2009

  1. Using architectural simulation models to aid the design of data intensive application

    3rd International Conference on Advanced Engineering Computing and Applications in Sciences, ADVCOMP 2009

2008

  1. Approximate verification in an open source world

    Innovations in Systems and Software Engineering