23 Hits in 4.7 sec

An investigation on mutation strategies for fault injection into RDD-100 models

Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
2004 Safety Science  
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool 2 to support the dependability analysis of computer systems early in the  ...  Starting from the RDD-100 model built by the system designers, two techniques are discussed for the mutation of this model to analyze its behavior under faulty conditions: a) insertion of saboteurs into  ...  This work was carried out at the Laboratory for Dependability Engineering (LIS).  ... 
doi:10.1016/j.ssci.2003.09.007 fatcat:4ldjknu77nahlj5vcngjyi4j7a

An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models [chapter]

Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
2001 Lecture Notes in Computer Science  
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool 2 to support the dependability analysis of computer systems early in the  ...  Starting from the RDD-100 model built by the system designers, two techniques are discussed for the mutation of this model to analyze its behavior under faulty conditions: a) insertion of saboteurs into  ...  This work was carried out at the Laboratory for Dependability Engineering (LIS).  ... 
doi:10.1007/3-540-45416-0_14 fatcat:kciju23uk5enjhoqex3fwdyjli

Genetic Programming over Spark for Higgs Boson Classification [chapter]

Hmida Hmida, Sana Ben Hamida, Amel Borgi, Marta Rukoz
2019 Lecture Notes in Business Information Processing  
Genetic Programming (GP) has been proven as an efficient algorithm in particular for classification problems.  ...  This paper, presents how an existing GP implementation (DEAP) can be adapted by distributing evaluations on a Spark cluster. Then, an additional sampling step is applied to fit tiny clusters.  ...  First, training set is transformed into an RDD (TrainingRDD) from a file stored on HDFS and is cached (Figure 3 , line 3).  ... 
doi:10.1007/978-3-030-20485-3_23 fatcat:7evchowzlfcptb2wgle22aenmy

Execution Repair for Spark Programs by Active Maintenance of Partition Dependency

Xiupei Mei, Imran Ashraf, Xiaoxue Ma, Hao Zhang, Zhengyuan Wei, Haipeng Wang, W. K. Chan
2021 IEEE Access  
will have a dependency relation with a later one underlying the computation of that action.  ...  FAR monitors the partition instance lifecycle activities at all levels, and determines from the execution plan of the current Spark action in the current program execution on whether a partition instance  ...  Xu et al. proposed a fault-tolerance mechanism for Apache Flink [21] . Their technique injects checkpointing into each iteration and enables checkpoint to be written along with computing RDD values.  ... 
doi:10.1109/access.2021.3097823 fatcat:meerp46dvnec7mi6vx3itwad6m

Cell-based therapeutic strategies for replacement and preservation in retinal degenerative diseases

Melissa K. Jones, Bin Lu, Sergey Girman, Shaomei Wang
2017 Progress in retinal and eye research  
This review will summarize the current status of cell-based preclinical and clinical studies with a focus on replacement and preservation strategies and the obstacles that remain regarding these types  ...  Though treatments exist for some patients with neovascular AMD, a majority of retinal degenerative patients have no effective therapeutics, thus indicating a need for universal therapies to target diverse  ...  Cell-based therapeutic strategies for RDDs Animal modeling of RDDs For a number of diseases, animal models do not depict a direct manifestation of what occurs in human patients.  ... 
doi:10.1016/j.preteyeres.2017.01.004 pmid:28111323 pmcid:PMC5441967 fatcat:f5lnsgzgdzflrkxu3i7qftwe4a

Big Data Testing Techniques: Taxonomy, Challenges and Future Trends [article]

Iram Arshad, Saeed Hamood Alsamhi, Wasif Afzal
2022 arXiv   pre-print
In addition, the combinatorial testing technique is one of the most applied techniques in combination with other techniques (i.e., random testing, mutation testing, input space partitioning and equivalence  ...  testing) to solve various functional faults challenges faced during Big Data testing.  ...  Moreover, monitoring and controlling each system component and according to their status injecting faults.  ... 
arXiv:2111.02853v2 fatcat:4qwogpgxjvhwlpzbesr6x6uape

The Family of MapReduce and Large Scale Data Processing Systems [article]

Sherif Sakr, Anna Liu, Ayman G. Fayoumi
2013 arXiv   pre-print
It isolates the application from the details of running a distributed program such as issues on data distribution, scheduling and fault tolerance.  ...  In the last two decades, the continuous increase of computational power has produced an overwhelming flow of data which has called for a paradigm shift in the computing architecture and large scale data  ...  Related with the issue of the power of expressiveness of the programming model, we feel that this is an area that requires more investigation.  ... 
arXiv:1302.2966v1 fatcat:ttpqmigyurhepfa2wi2slicelm

MED12 exerts an emerging role in actin-mediated cytokinesis via LIMK2/cofilin pathway in NSCLC

Meng Xu, Fang Wang, Guibo Li, Xiaokun Wang, Xiaona Fang, Haoxuan Jin, Zhen Chen, Jianye Zhang, Liwu Fu
2019 Molecular Cancer  
Mediator complex subunit 12 (MED12) is an essential hub for transcriptional regulation, in which mutations and overexpression were reported to be associated with several kinds of malignancies.  ...  Acknowledgments We thank Jinxin Bei for the excellent technical assistance.  ...  Availability of data and materials The authenticity of this article has been validated by uploading the key raw data onto the Research Data Deposit public platform ( cn), with the approval RDD  ... 
doi:10.1186/s12943-019-1020-4 pmid:31072327 pmcid:PMC6509838 fatcat:qqxsau4fxnfx5mix2skz3si46m

Robustness Evaluation of Software Systems through Fault Injection

Domenico Di Leo
This thesis focuses on robustness testing and software implemented fault injection, for both analyzes the �effect of workload on the experiment outcomes.  ...  Furthermore, the thesis suggests approaches to make the fault injection techniques more cost-effective by leveraging on the workload.  ...  Techniques that inject software faults can be dived into code mutation and in robustness testing. Code mutation performs fault injection on source code which is literally manipulated.  ... 
doi:10.6092/unina/fedoa/9257 fatcat:bbnktxjforeetii7c23yqgpedm

Hazards [chapter]

Damon P. Coppola
2015 Introduction to International Disaster Management  
Models for predicting climate change have been created, providing insight into what changes can be expected without intervention or behavioral change.  ...  One warring faction may control food aid, and withhold such aid as an offensive strategy. This occurred in Ethiopia in the 1980s and in Sudan in 1997.  ...  This website provides an analysis of incidents by country, incidents by type, trends in tactics, and more. The AWSD can be accessed at:,  ... 
doi:10.1016/b978-0-12-801477-6.00002-2 fatcat:accqmoa4irbflinm6k2ixfq5ce

Benchmarking dataflow systems for scalable machine learning

Christoph Boden, Technische Universität Berlin, Technische Universität Berlin, Volker Markl
Second, we propose methods and experiments to explore the trade-off space between the runtime for training a machine learning model and the model quality.  ...  generalizable insights into system performance.  ...  Both systems did not manage to train a model with 100 million dimensions even on a small data set.  ... 
doi:10.14279/depositonce-7532 fatcat:mwjd6bnzvjaknbjnfohjokkj4y

Investigating pathological features of a novel amytrophic lateral schlerosis mouse model

Winonah Ruby Riddell
This thesis aimed to characterise, for the first time, pathological features in the CRISPR- CCNFS621G mouse model, to evaluate its utility for ALS research.  ...  A mutation in the CCNF gene (CCNFS621G) was recently reported in a family with ALS and FTD, offering a new opportunity to model ALS/FTD, including development of pre-clinical animal models.  ...  and qPCR and for checking in on my wellbeing, and Hannah for giving me proteomics tips and being a friendly face I could go to for advice.  ... 
doi:10.25949/19438637 fatcat:psnzzirddvf3dawjuhytjdf7hy

Elastic Machine Learning Systems with Co-adaptation

Aurick Qiao
In recent years, the amount of computation being invested into machine learning (ML) and deep learning (DL) training has multiplied by several orders of magnitude.  ...  We present the design, implementation, and evaluation of three elastic systems for ML that improve DL training time in shared GPU clusters by 37-50%, enable elasticity for a diverse set of ML training  ...  We propose new strategies for checkpoint-based fault tolerance in distributed model training.  ... 
doi:10.1184/r1/16688761.v1 fatcat:vw6wzyq27bgb5fu2hvjg6x7nay


Gregory M Essertel
We look at the impact of compilation on short-running jobs and propose an on-stack-replacement mechanism for generative programming to decrease the overhead introduced by the compilation step.  ...  We present Flare, an accelerator for data-centric software, which provides performance comparable to the state of the art relational systems while keeping the expressiveness of high-level deferred APIs  ...  Named field references e.x are desugared into a numeric index assuming an injective global mapping fieldId.  ... 
doi:10.25394/pgs.11413206 fatcat:xffkofd4k5hgre6z3plml2abwm

Scheduling techniques for efficient execution of stream workflows in cloud environments

MSM Barika
Moreover, the majority of those works investigated one type of runtime change for the streaming graph operator, which is the fluctuation of data.  ...  of data for the whole operator graph and one end operator, while stream workflow has multiple input data sources and multiple output streams.  ...  Apache Spark uses the RDD data model and allows to perform stream computations on RDDs to define data processing.  ... 
doi:10.25959/100.00034812 fatcat:4wq3wizftffvjbo2jpp2dwpepi
« Previous Showing results 1 — 15 out of 23 results