Výsledky vyhledávání - 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat 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ískat plný text

Artifact for Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques Autor Kucuk, Yigit, Henderson, Tim A. D., Podgurski, Andy

“…This work presents an overview of the artifact for the paper titled "Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques…”
Získat 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ískat 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ískat 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ískat plný text