Výsledky vyhľadávania - General and reference Cross-computing tools and techniques Reliability~

SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink Autor Chowdhury, Shafiul Azam, Shrestha, Sohil Lal, Johnson, Taylor T., Csallner, Christoph

“… To provide EMI-based mutation for differential testing of cyber-physical system (CPS) development tools, this paper develops several novel mutation techniques…”
Získať plný text

MemSeer: Leverage Memory Failure Distinctions and Multi-Grained Prediction in Ultra-Scale Heterogeneous X86/ARM Clusters Autor Gu, Yunfei, Liu, Yixuan, Wu, Xinyuan, Shao, Bo, Wu, Chentao, Li, Shiyi, Zhao, Jieru, Li, Jie, Guo, Minyi, Yang, Kunlin, Zhang, Wengui, Lin, Feilong

“… However, DRAM failures, a primary cause of server downtimes, present significant challenges to reliability, availability, and serviceability…”
Získať plný text

Analyzing and Improving Resilience and Robustness of Autonomous Systems (Invited Paper) Autor Wan, Zishen, Swaminathan, Karthik, Chen, Pin-Yu, Chandramoorthy, Nandhini, Raychowdhury, Arijit

“… Application-aware resilience metrics, holistic fault analysis frameworks, and lightweight fault mitigation techniques are being proposed for accurate and effective resilience and robustness assessment and improvement…”
Získať plný text

Collaborative reliability prediction of service-oriented systems Autor Zheng, Zibin, Lyu, Michael R.

“… Reliability of the service-oriented systems heavily depends on the remote Web services as well as the unpredictable Internet…”
Získať plný text

GraphFI: An Efficient Fault Injection Framework for Graph Processing on GPGPUs Autor Jiang, Nan, Yue, Hengshan, Tan, Jingweijia, Zhou, Mengting, Wang, Xiaonan, Wang, Yuchun, Wei, Wenda, Qiu, Meikang, Wei, Xiaohui

“…) reliability analysis methods typically incur inaccurate system error resilience characterization, making it challenging to provide helpful guidance for efficient and reliable graph processing paradigm design…”
Získať plný text

Early prediction of software component reliability Autor Cheung, L., Roshandel, R., Medvidovic, N., Golubchik, L.

“… In general, this assumption is unreasonable, making component reliability prediction an important missing ingredient in the current literature…”
Získať plný text

Intermittent Systems at Small Scale: Execution Model and Design Guidelines Autor Kim, Youngbin, Lim, Yoojin

“… In designing such techniques, software designers rely on execution models that abstract hardware-level operations…”
Získať plný text

BEC: Bit-Level Static Analysis for Reliability against Soft Errors Autor Ko, Yousun, Burgstaller, Bernd

“… and expose confidential data. We propose a bit-level error coalescing (BEC) static program analysis and its two use cases to understand and improve program reliability against soft errors…”
Získať plný text

FIXME: Enhance Software Reliability with Hybrid Approaches in Cloud Autor Hwang, Jinho, Shwartz, Larisa, Wang, Qing, Batta, Raghav, Kumar, Harshit, Nidd, Michael

“…With the promise of reliability in cloud, more enterprises are migrating to cloud…”
Získať plný text

DeployFix: Dynamic Repair of Software Deployment Failures via Constraint Solving Autor Liao, Haoyu, Guo, Jianmei, Huang, Bo, Han, Yujie, Yang, Dingyu, Shi, Kai, Ding, Jonathan, Xu, Guoyao, Yang, Guodong, Zhang, Liping

“…Software deployment misconfiguration often happens and has been one of the major causes of deployment failures that give rise to service interruptions…”
Získať plný text

Run-time efficient probabilistic model checking Autor Filieri, Antonio, Ghezzi, Carlo, Tamburrelli, Giordano

“… However, traditional model checking techniques and tools may not be simply applied as they are at run time, since they hardly meet the constraints imposed by on-the-fly analysis, in terms…”
Získať plný text

How are Contracts Used in Android Mobile Applications? Autor Ferreira, David R., Mendes, Alexandra, Ferreira, Joao F.

“…Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. However, the…”
Získať plný text

Towards Robust ML-enabled Software Systems: Detecting Out-of-Distribution data using Gini Coefficients Autor Abdelkader, Hala, Schneider, Jean-Guy, Abdelrazek, Mohamed, Rani, Priya, Vasa, Rajesh

“… The robustness of these ML models is crucial for maintaining the software systems performance and reliability…”
Získať plný text

Automatic Algorithm-Based Fault Tolerance (AABFT) of Stencil Computations Autor Narmour, Louis, Derrien, Steven, Rajopadhye, Sanjay

“…In this work, we study fault tolerance of transient errors, such as those occurring due to cosmic radiation or hardware component aging and degradation, using…”
Získať plný text

Precise memory leak detection for java software using container profiling Autor Guoqing Xu, Rountev, A.

“… We introduce a novel container-based heap-tracking technique, based on the observation that many memory leaks in Java programs occur due to containers that keep references to unused data entries…”
Získať plný text

Interval Change-Point Detection for Runtime Probabilistic Model Checking Autor Zhao, Xingyu, Calinescu, Radu, Gerasimou, Simos, Robu, Valentin, Flynn, David

“…Recent probabilistic model checking techniques can verify reliability and performance properties of software systems affected by parametric uncertainty…”
Získať plný text

The secret life of bugs: Going past the errors and omissions in software repositories Autor Aranda, Jorge, Venolia, Gina

“…Every bug has a story behind it. The people that discover and resolve it need to coordinate, to get information from documents, tools, or other people…”
Získať plný text

Lightweight fault-localization using multiple coverage types Autor Santelices, Raul, Jones, James A., Yanbing Yu, Harrold, Mary Jean

“…Lightweight fault-localization techniques use program coverage to isolate the parts of the code that are most suspicious of being faulty…”
Získať plný text

Predicting accurate and actionable static analysis warnings: an experimental approach Autor Ruthruff, Joseph R, Penix, John, Morgenthaler, J David, Elbaum, Sebastian, Rothermel, Gregg

“…Static analysis tools report software defects that may or may not be detected by other verification methods…”
Získať plný text

Predicting build failures using social network analysis on developer communication Autor Wolf, Timo, Schroter, Adrian, Damian, Daniela, Nguyen, Thanh

“…A critical factor in work group coordination, communication has been studied extensively. Yet, we are missing objective evidence of the relationship between…”
Získať plný text