Changes between Version 1 and Version 2 of JINO-1


Ignore:
Timestamp:
Jun 4, 2012, 3:14:42 PM (6 years ago)
Author:
frederic.loulergue@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • JINO-1

    v1 v2  
    99== Programme == 
    1010 
    11 * A Resource Prediction Model for Virtualization Servers[[BR]] 
    12 Gaétan Hains et Sayante Mallick 
    13  
    14 * Requêtes relationnelles et informatique dans les nuages [[BR]] 
    15 Abdeljallil Abajjane et Mostafa Bamha 
    16  
    17 * [[BR]] 
    18 Nicolas Dugué et Frédéric Moal 
    19  
    20 * Vers des environnements infonuagiques vérifiés [[BR]] 
    21 Frédéric Loulergue, Frédéric Gava, Nikolay Kosmatov et Matthieu Lemerre 
    22  
    23 * HoneyCloud [[BR]] 
    24 Patrice Clemente 
     11* '''A Resource Prediction Model for Virtualization Servers''' [[BR]] ''Sayanta Mallick, Gaetan Hains, Cheikh Sadibou Deme'' [[BR]] Monitoring and predicting resource consumption is a fundamental need when running a virtualized system. Predicting resources is necessary because cloud infrastructures use virtual resources on demand. Current monitoring tools are insufficient to predict resource usage of virtualized systems so, without proper monitoring, virtualized systems can suffer down time, which can directly affect cloud infrastructure.We propose a new modeling approach to the problem of resource prediction. Models are based on historical data to forecast short-term resource usages. We present here in detail three of our prediction models to forecast and monitor resources. We also show experimental results by using real-life data and an overall evaluation of this approach.  
     12* '''Requêtes relationnelles et informatique dans les nuages''' [[BR]] ''Abdeljallil Abajjane, Mostafa Bamha'' 
     13* '''Titre à venir''' [[BR]] ''Nicolas Dugué, Frédéric Moal'' 
     14* '''Vers des environnements infonuagiques vérifiés''' [[BR]] ''Frédéric Loulergue, Frédéric Gava, Nikolay Kosmatov, Matthieu Lemerre'' [[BR]] As the usage of the cloud becomes pervasive in our lives, it is needed to ensure the reliability, safety and security of cloud environments. In this paper we study a usual software stack of a cloud environment from the perspective of formal verification. This software stack ranges from applications to the hypervisor.  We argue that most of the layers could be practically formally verified, even if the work to verify all levels is huge. 
     15* '''Honeycloud''' [[BR]] ''Patrice Clemente''