2017
Theses
- titre
- Analysis of synchronisation patterns in active objects based on behavioural types
- auteur
- Vicenzo Mastandrea
- article
- Other [cs.OH]. COMUE Université Côte d’Azur (2015 – 2019), 2017. English. ⟨NNT : 2017AZUR4113⟩
- Accès au texte intégral et bibtex
2016
Theses
- titre
- A framework for rigorous development of distributed components : formalisation and tools
- auteur
- Oleksandra Kulankhina
- article
- Other [cs.OH]. COMUE Université Côte d’Azur (2015 – 2019), 2016. English. ⟨NNT : 2016AZUR4077⟩
- Accès au texte intégral et bibtex
- titre
- Execution support for multi-threaded active objects : design and implementation
- auteur
- Justine Rochas
- article
- Other [cs.OH]. COMUE Université Côte d’Azur (2015 – 2019), 2016. English. ⟨NNT : 2016AZUR4062⟩
- Accès au texte intégral et bibtex
2015
Journal articles
- titre
- A generic API for load balancing in distributed systems for big data management
- auteur
- Maeva Antoine, Laurent Pellegrino, Fabrice Huet, Françoise Baude
- article
- Concurrency and Computation: Practice and Experience, 2015, ⟨10.1002/cpe.3646⟩
- Accès au bibtex
- titre
- Improving data-intensive EDA performance with annotation-driven laziness
- auteur
- Quirino Zagarese, Gerardo Canfora, Eugenio Zimeo, Iyad Alshabani, Laurent Pellegrino, Amjad Alshabani, Françoise Baude
- article
- Science of Computer Programming, 2015, 97 (Special Issue on Service-Oriented Architecture and Programming (SOAP)), pp.266-279. ⟨10.1016/j.scico.2014.03.007⟩
- Accès au bibtex
- titre
- Management of service composition based on self-controlled components
- auteur
- Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni
- article
- Journal of Internet Services and Applications, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩
- Accès au texte intégral et bibtex
- titre
- An Investigation on Software-Defined Networks’ Reactive Routing against BitTorrent
- auteur
- Damián Vicino, Chung-Horng Lung, Gabriel Wainer, Olivier Dalle
- article
- IET Networks, 2015, 4 (5), pp.249-254. ⟨10.1049/iet-net.2014.0105⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations
- auteur
- Vincent Kherbache, Eric Madelaine, Fabien Hermenier
- article
- 8th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2015, Limassol, Cyprus. ⟨10.13140/RG.2.1.1626.8563⟩
- Accès au texte intégral et bibtex
- titre
- An energy aware application controller for optimizing renewable energy consumption in Cloud computing
- auteur
- Corentin Dupont, Mehdi Sheikhalishahi, Fabien Hermenier, Federico Facca
- article
- 8th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2015, Limassol, Cyprus
- Accès au bibtex
- titre
- Multi-objective job placement in clusters
- auteur
- Sergey Blagodurov, Alexandra Fedorova, Evgeny Vinnik, Dwyer Tyler, Fabien Hermenier
- article
- International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2015, Austin, United States. ⟨10.1145/2807591.2807636⟩
- Accès au bibtex
- titre
- Using Finite Forkable DEVS for Decision-Making Based on Time Measured with Uncertainty
- auteur
- Damián Vicino, Olivier Dalle, Gabriel Wainer
- article
- Eighth EAI International Conference on Simulation Tools and Techniques (SIMUTOOLS 2015), Aug 2015, Athènes, Greece. ⟨10.4108/eai.24-8-2015.2261152⟩
- Accès au texte intégral et bibtex
- titre
- Ordonnancement contrôlé de migrations à chaud
- auteur
- Vincent Kherbache, Eric Madelaine, Fabien Hermenier
- article
- Compas’15, Jul 2015, Lille, France. ⟨10.13140/RG.2.1.5100.2649⟩
- Accès au texte intégral et bibtex
- titre
- Painless Support for Static and Runtime Verification of Component-Based Applications
- auteur
- Nuno Gaspar, Ludovic Henrio, Eric Madelaine
- article
- 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
- Accès au texte intégral et bibtex
- titre
- Solutions for Processing K Nearest Neighbor Joins for Massive Data on MapReduce
- auteur
- Ge Song, Justine Rochas, Fabrice Huet, Frédéric Magoulès
- article
- 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing, Mar 2015, Turku, Finland
- Accès au texte intégral et bibtex
- titre
- Sequential PDEVS Architecture
- auteur
- Damián Vicino, Daniella Niyonkuru, Gabriel Wainer, Olivier Dalle
- article
- Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium , 2015, Alexandria, Virginia, United States
- Accès au texte intégral et bibtex
- titre
- pNets: an Expressive Model for Parameterised Networks of Processes
- auteur
- Ludovic Henrio, Eric Madelaine, Min Zhang
- article
- Formal Approaches to Parallel and Distributed Systems (4PAD)-Special Session of Parallel, Distributed and network-based Processing (PDP), 2015, Turku, Finland
- Accès au texte intégral et bibtex
Book sections
- titre
- Dynamic Packing with Side Constraints for Datacenter Resource Management
- auteur
- Sophie Demassey, Fabien Hermenier, Vincent Kherbache
- article
- Giorgio Fasano, János D. Pintér. Optimized Packings with Applications, 105, Springer International Publishing, pp.19-35, 2015, Springer Optimization and Its Applications, 978-3-319-18899-7. ⟨10.1007/978-3-319-18899-7_2⟩
- Accès au bibtex
Master thesis
- titre
- A viewer tool for multi-active object
- auteur
- Pavlo Khvorostov
- article
- Computation and Language [cs.CL]. 2015
- Accès au texte intégral et bibtex
Poster communications
- titre
- The assessment of BitTorrent’s performance using SDN in a Mesh topology
- auteur
- Mandeep Kaur Guraya, Rupinder Singh Bajwa, Damian Vicino, Chung-Horng Lung
- article
- The 6th International Conference On Network of the Future, Sep 2015, Montreal, QC, Canada. , 2015, ⟨10.1109/NOF.2015.7333294⟩
- Accès au texte intégral et bibtex
- titre
- Memory and Network Aware Scheduling of Virtual Machine Migrations
- auteur
- Vincent Kherbache, Eric Madelaine, Fabien Hermenier
- article
- EuroSys’15, Apr 2015, Bordeaux, France. 2015, ⟨10.13140/RG.2.1.2740.9681⟩
- Accès au texte intégral et bibtex
Reports
- titre
- Integrated environment for verifying and running distributed components -Extended version
- auteur
- Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
- article
- [Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24
- Accès au texte intégral et bibtex
- titre
- Livrable D1.2.2 – Modèle avancé QoS-aware
- auteur
- Tatiana Aubonnet, Ludovic Henrio, Frédéric Lemoine, Eric Madelaine, Noëmie Simoni
- article
- [Research Report] Conservatoire national des arts et métiers – CNAM. 2015
- Accès au texte intégral et bibtex
Theses
- titre
- Improved time representation in discrete-event simulation
- auteur
- Damián Alberto Vicino
- article
- Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4078⟩
- Accès au texte intégral et bibtex
- titre
- Improving skewed data dissemination in structured overlays
- auteur
- Maeva Antoine
- article
- Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4054⟩
- Accès au texte intégral et bibtex
- titre
- American option pricing and computation of the portfolio Value at risk on heterogeneous GPU-CPU cluster
- auteur
- Michaël Benguigui
- article
- Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. ⟨NNT : 2015NICE4053⟩
- Accès au texte intégral et bibtex
2014
Journal articles
- titre
- Timed-pNets: a communication behavioural semantic model for distributed systems
- auteur
- Yanwen Chen, Yixiang Chen, Eric Madelaine
- article
- Frontiers of Computer Science, 2014, 8, pp.24. ⟨10.1007/s11704-014-4096-4⟩
- Accès au texte intégral et bibtex
- titre
- Plug4Green: A flexible energy-aware VM manager to fit data centre particularities
- auteur
- Corentin Dupont, Fabien Hermenier, Thomas Schulze, Robert Basmadjian, Andrey Somov, Giovanni Giuliani
- article
- Ad Hoc Networks, 2014, pp.1–16. ⟨10.1016/j.adhoc.2014.11.003⟩
- Accès au bibtex
- titre
- Programming distributed and adaptable autonomous components–the GCM/ProActive framework
- auteur
- Françoise Baude, Ludovic Henrio, Cristian Ruz
- article
- Software: Practice and Experience, 2014
- Accès au texte intégral et bibtex
Conference papers
- titre
- Dealing with Skewed Data in Structured Overlays using Variable Hash Functions
- auteur
- Maeva Antoine, Fabrice Huet
- article
- The 15th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), The University of Hong Kong, Dec 2014, Hong Kong, Hong Kong SAR China. pp.42-48, ⟨10.1109/PDCAT.2014.15⟩
- Accès au texte intégral et bibtex
- titre
- Investigation on Time Properties of Timed-pNets
- auteur
- Yanwen Chen, Yixiang Chen, Eric Madelaine
- article
- National Software Application Conference, Nov 2014, Guilin, China
- Accès au texte intégral et bibtex
- titre
- BtrPlace: Flexible VM Management in Data Centers
- auteur
- Fabien Hermenier, Sophie Demassey
- article
- PGMO-COPI’14 Conference on Optimization & Practices in Industry, Oct 2014, Paris, France
- Accès au bibtex
- titre
- A Generic API for Load Balancing in Structured P2P Systems
- auteur
- Maeva Antoine, Laurent Pellegrino, Fabrice Huet, Françoise Baude
- article
- 26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France. pp.138 – 143, ⟨10.1109/SBAC-PADW.2014.17⟩
- Accès au texte intégral et bibtex
- titre
- Verifying the correct composition of distributed components: Formalisation and Tool
- auteur
- Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
- article
- FOCLASA, Sep 2014, Rome, Italy
- Accès au texte intégral et bibtex
- titre
- Planning Live-Migrations to Prepare Servers for Maintenance
- auteur
- Vincent Kherbache, Eric Madelaine, Fabien Hermenier
- article
- Euro-Par 2014: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.498 – 507, ⟨10.1007/978-3-319-14313-2_42⟩
- Accès au texte intégral et bibtex
- titre
- Empirical Study on Overlapping Community Detection in Question and Answer Sites
- auteur
- Zide Meng, Fabien Gandon, Catherine Faron Zucker, Ge Song
- article
- Advances in Social Networks Analysis and Mining (ASONAM), 2014 IEEE/ACM International Conference on, Aug 2014, Beijing, China. ⟨10.1109/ASONAM.2014.6921608⟩
- Accès au texte intégral et bibtex
- titre
- Evaluating the impact of Software-Defined Networks’ Reactive Routing on BitTorrent performance
- auteur
- Damian Vicino, Chung-Horng Lung, Gabriel Wainer, Olivier Dalle
- article
- FNC – 9th International Conference on Future Networks and Communications, Aug 2014, Niagara Falls, Canada
- Accès au bibtex
- titre
- Distributed Snapshot algorithm for multi-active object-based applications
- auteur
- Michel J de Souza, Françoise Baude
- article
- XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos XV (SBRC 2014) Workshop de Testes e Tolerância a Falhas (WTF 2014), May 2014, Florianópolis, Brasil, France
- Accès au texte intégral et bibtex
- titre
- Fast American Basket Option Pricing on a multi-GPU Cluster
- auteur
- Michael Benguigui, Françoise Baude
- article
- 22nd High Performance Computing Symposium, Apr 2014, Tampa, FL, United States. pp.1-8
- Accès au texte intégral et bibtex
- titre
- Declarative Scheduling for Active Objects
- auteur
- Ludovic Henrio, Justine Rochas
- article
- SAC 2014 – 29th Symposium On Applied Computing, ACM Special Interest Group on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1-6
- Accès au texte intégral et bibtex
- titre
- A data type for discretized time representation in DEVS
- auteur
- Damian Vicino, Olivier Dalle, Gabriel Wainer
- article
- SIMUTOOLS – 7th International Conference on Simulation Tools and Techniques, ICST, Mar 2014, Lisbon, Portugal
- Accès au texte intégral et bibtex
- titre
- Self-Configuration and Self-Optimization Autonomic Skeletons using Events
- auteur
- Gustavo Pabon, Ludovic Henrio
- article
- Programming Models and Applications for Multicores and Manycores, Feb 2014, Orlando, United States. ⟨10.1145/2560683.2560699⟩
- Accès au texte intégral et bibtex
- titre
- How functional economy would be an environmental economy? Mode of endogenization of environmental issues in functional economy
- auteur
- Justine Bisiaux, Thierry Gidel, Fabrice Huet, Dominique Millet
- article
- Engineering, Technology and Innovation (ICE), 2014 International ICE Conference on, 2014, Unknown, Unknown Region. pp.1–10
- Accès au bibtex
Book sections
- titre
- Reuse-centric simulation software architectures
- auteur
- Olivier Dalle
- article
- Daniele Gianni; Andrea D’Ambrogio; Andreas Tolk. Modeling and Simulation-Based Systems Engineering Handbook, CRC Press, pp.263-292, 2014, 978-1-4665-7145-7. ⟨10.1201/b17902-12⟩
- Accès au bibtex
Patents
- titre
- BtrPlace
- auteur
- Fabien Hermenier
- article
- France, N° de brevet: IDDN.FR.001.330025.000.S.C.2014.000.31235. 2014
- Accès au bibtex
Reports
- titre
- pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)
- auteur
- Ludovic Henrio, Eric Madelaine, Min Zhang
- article
- [Research Report] RR-8579, INRIA. 2014, pp.23
- Accès au texte intégral et bibtex
- titre
- A ProActive Backend for ABS: from Modelling to Deployment
- auteur
- Justine Rochas, Ludovic Henrio
- article
- [Research Report] RR-8596, INRIA. 2014
- Accès au texte intégral et bibtex
- titre
- Towards a Generic API for Data Load Balancing in Structured P2P Systems
- auteur
- Maeva Antoine, Laurent Pellegrino, Fabrice Huet, Françoise Baude
- article
- [Research Report] RR-8564, INRIA. 2014, pp.18
- Accès au texte intégral et bibtex
- titre
- Timed-pNets: A Communication Behavioural Semantic Model for Distributed Systems (extended version)
- auteur
- Yanwen Chen, Yixiang Chen, Eric Madelaine
- article
- [Research Report] RR-8526, INRIA. 2014, pp.35
- Accès au texte intégral et bibtex
Theses
- titre
- Mechanized support for the formal specification, verification and deployment of component-based applications
- auteur
- Nuno Gaspar
- article
- Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4127⟩
- Accès au texte intégral et bibtex
- titre
- A timed communication behaviour model for distributed systems
- auteur
- Yanwen Chen
- article
- Other [cs.OH]. Université Nice Sophia Antipolis; East China normal university (Shanghai), 2014. English. ⟨NNT : 2014NICE4090⟩
- Accès au texte intégral et bibtex
- titre
- Pushing dynamic and ubiquitous event-based interactions in the Internet of services : a middleware for event clouds
- auteur
- Laurent Pellegrino
- article
- Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4013⟩
- Accès au texte intégral et bibtex