LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1

DICE

Title
Developing Data-Intensive Cloud Applications with Iterative Quality Enhancements
Funding
EC | H2020 | RIA
Call
H2020-ICT-2014-1
Contract (GA) number
644869
Start Date
2015/02/01
End Date
2018/01/31
Open Access mandate
yes
Data Pilot
yes
Organizations
FLEX, FLEXIOPS, ATC, UniZar, NETF, XLAB, Imperial, POLITECNICO DI MILANO, PRODEVELOP, IEAT
More information
Detailed project information (CORDIS)

 

  • Optimal Map Reduce Job Capacity Allocation in Cloud Systems

    Malekimajd, Marzieh; Ardagna, Danilo; Ciavotta, Michele; Rizzi, Alessandro Maria; Passacantando, Mauro (2015)
    Projects: EC | DICE (644869)

    Efficient large-scale trace checking using mapreduce

    Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; Pietro, Pierluigi San (2016)
    Projects: EC | DICE (644869)
    The problem of checking a logged event trace against a temporal logic specification arises in many practical cases. Unfortunately, known algorithms for an expressive logic like MTL (Metric Temporal Logic) do not scale with respect to two crucial dimensions: the length of the trace and the size of the time interval for which logged events must be buffered to check satisfaction of the specification. The former issue can be addressed by distributed and parallel trace checking algorithms that can...

    QD-AMVA: Evaluating systems with queue-dependent service requirements

    Casale, Giuliano; Pérez, Juan F.; Wang, Weikun (2015)
    Projects: EC | DICE (644869)

    Modelling multi-tier enterprise applications behaviour with design of experiments technique

    Ustinova, Tatiana; Jamshidi, Pooyan (2015)
    Projects: EC | DICE (644869)
    Queueing network models are commonly used for performance modelling. However, through application development stage analytical models might not be able to continuously reflect performance, for example due to performance bugs or minor changes in the application code that cannot be readily reflected in the queueing model. To cope with this problem, a measurement-based approach adopting Design of Experiments (DoE) technique is proposed. The applicability of the proposed method is demonstrated on...

    Maximum Likelihood Estimation of Closed Queueing Network Demands from Queue Length Data

    Wang, Weikun; Casale, Giuliano (2015)
    Projects: EC | DICE (644869)
    11.06.15 KB. OK to add accetped version to spiral, authors retain copyright We propose maximum likelihood (ML) estimators for service demands in closed queueing networks with load-independent and load-dependent stations. Our ML estimators are expressed in implicit form and require only to compute mean queue lengths and marginal queue length probabilities from an empirical dataset. Further, in the load-independent case, we provide an explicit approximate formula for the ML estimator togethe...

    A model-driven approach to survivability requirement assessment for critical systems

    Bernardi, Simona; Dranca, Lacramioara; Merseguer, José (2016)
    Projects: EC | DICE (644869)

    A model driven approach for assessing survivability requirements of critical infrastructures

    Gentile, Ugo; Bernardi, Simona; Marrone, Stefano; Merseguer, José; Vittorini, Valeria (2017)
    Projects: EC | DICE (644869)

    Modeling and Analysis of High Availability Techniques in a Virtualized System

    Chang, Xiaolin; Wang, Tianju; Rodríguez, Ricardo J.; Zhang, Zhenjiang (2017)
    Projects: EC | DICE (644869)

    Formal verification of storm topologies through D-VerT

    Marconi, Francesco; Bersani, Marcello M.; Rossi, Matteo (2017)
    Projects: EC | DICE (644869)
  • Pax: Partition-Aware Autoscaling For The Cassandra Nosql Database

    Salvatore Dipietro; Rajkumar Buyya; Giuliano Casale (2018)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    Apache Cassandra has emerged as one of the most widely adopted NoSQL databases. However, there is still a limited understanding on how to optimally operate Cassandra in the cloud using autoscaling methods, by which resources can be scaled up or down to reduce operational costs and meet service-level objectives (SLOs). To address this limitation, we present PAX, a partition-aware elastic resource management system for Apache Cassandra. PAX uses low-overhead query sampling and knowledge of ...

    On The Timed Analysis Of Big-Data Applications - Experimental Data

    Francesco Marconi; Giovanni Quattrocchi; Luciano Baresi; Marcello M. Bersani; Matteo Rossi (2018)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    This archive includes experimental data associated to the paper: On the Timed Analysis of Big-Data Applications. Accepted in Proceedings of Nasa Formal Methods (NFM 2018).  Marconi, F., Quattrocchi, G., Baresi, L., Bersani, M.M., Rossi, M.. 2018 Specifically, it includes detailed data regarding the verification tasks reported in Section 4 (Implementation and Validation of the Model). In reference to Table 1 of the paper, the archive is organized in the following way: t...

    Accelerating Performance Inference Over Closed Systems By Asymptotic Methods

    Giuliano Casale (2017)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    This archive includes the research data associated to the paper: Giuliano Casale. Accelerating Performance Inference over Closed Systems by Asymptotic Methods. Proc. ACM Meas. Anal. Comput. Syst., 1(1), 2017. The paper is accepted for presentation at ACM SIGMETRICS 2017. The research data requires MATLAB 2015a or later. Four datasets are included, each corresponding to a section of the paper: - sec5.3.1: Small and medium models without infinite server nodes (Section 5.3.1) - sec...

    Validation Of Atc Newsasset Performance Model

    José Ignacio Requeno Jarabo; José Merseguer; Simona Bernardi; Diego Perez-Palacin; Giorgos Giotis; Vasilis Papanikolaou (2017)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    This file corresponds to the validation results of the performance model used for studying the NewsAsset application, branded by ATC.

    Dice Geofencing Dataset

    Ismael Torres; Christophe Joubert (2018)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    This folder contains the data used to validate the DICE simulation tool in the Posidonia Operations demonstrator on geofencing carried out in the DICE Project (dice.h2020.eu).  

    Formal Verification Of Storm Topologies Through D-Vert

    Francesco Marconi; Marcello Maria Bersani; Matteo Rossi (2017)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    This archive includes the research data associated to the paper: Formal verification of storm topologies through D-VerT. In Proceedings of the Symposium on Applied Computing (SAC '17). Francesco Marconi, Marcello M. Bersani, and Matteo Rossi. 2017. ACM, New York, NY, USA, 1168-1174. DOI: https://doi.org/10.1145/3019612.3019769 Specifically it includes the UML models shown in the paper (Figures 7 and 8), the corresponding instances of the Temporal logic models automaticall...

    A Queueing Network Model For Performance Prediction Of Apache Cassandra

    Dipietro Salvatore; Casale Giuliano; Serazzi Giuseppe (2016)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    The dataset consists in several csv files containing Cassandra and ScyllaDB performance. The experiments are organized in folders. There are three main folders containing:  - Cassandra 4 nodes: the files related to the Cassandra experiments conducted on a cluster composed of four nodes.  - ScyllaDB 4 nodes: The files related to the ScyllaDB experiments conducted on a cluster composed of four nodes.   - Cassandra QUORUM variant: the simulation data where a different kind of QUORUM...

    An Uncertainty-Aware Approach To Optimal Configuration Of Stream Processing Systems

    Jamshidi, Pooyan; Casale, Giuliano (2016)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    The datasets in this release support the results presented in the paper P. Jamshidi, G. Casale, "An Uncertainty-Aware Approach to Optimal Configuration of Stream Processing Systems", accepted for presentation at MASCOTS 2016. An open access to the paper is available at https://arxiv.org/abs/1606.06543 Also open source code is available at https://github.com/dice-project/DICE-Configuration-BO4CO The archive contains 10 comma separated datasets representing perfo...

    Quality Assessment In Devops: Automated Analysis Of A Tax Fraud Detection System

    Perez-Palacin, Diego; Ridene, Youssef; Merseguer, Jose (2017)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    The dataset includes the results of the performance analysis of Big Blu case study under different workloads, number of available resources and execution demand of activities

    Accurate Modeling And Efficient Qos Analysis Of Scalable Adaptive Systems Under Bursty Workload

    Perez-Palacin, Diego; Mirandola, Raffaela; Merseguer, José (2017)
    Publisher: Zenodo
    Projects: EC | DICE (644869)
    The datasets include the traces used for the research and experiments on modelling and analyzing systems that execute under bursty workload: numReq10secondsfrom360000to660000-Paris contains a summary of the requests traces published in http://ita.ee.lbl.gov/html/contrib/WorldCup.html , by grouping into a single count the number of requests that servers in Paris region received every 10 seconds . mawi10seconds contains a summary of the traces published in&...
  • Scientific Results

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    PUBLICATIONS BY ACCESS MODE

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

    Publications in Repositories

    Chart is loading... It may take a bit of time. Please be patient and don't reload the page.

Share - Bookmark

App Box