首页> 外文OA文献 >A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems

【2h】

A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems

机译：用于查找涉及多个变量的并发错误的方法和工具，其应用于现代分布式系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Zhuo Sun;
展开▼
作者单位

展开▼
年度 -1
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. DCatch: Automatically Detecting Distributed Concurrency Bugs in Cloud Systems [J] . Haopeng Liu, Guangpu Li, Jeffrey F. Lukman, Computer architecture news . 2017,第1期

机译：DCatch：自动检测云系统中的分布式并发错误
2. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems [J] . Tanakorn Leesatapornwongsa, Shan Lu, Jeffrey F. Lukman, Computer architecture news . 2016,第2期

机译：TaxDC：数据中心分布式系统中非确定性并发错误的分类法
3. TaxDC: A Taxonomy of Non-Deterministic Concurrency Bugs in Datacenter Distributed Systems [J] . Leesatapornwongsa Tanakorn, Lukman Jeffrey F., Lu Shan, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2016,第4期

机译：TaxDC：数据中心分布式系统中非确定性并发错误的分类法
4. Comparison of Static Analysis Tools for Finding Concurrency Bugs [C] . Manzoor Numan, Munir Hussan, Moayyed Misagh 23rd IEEE International Symposium on Software Reliability Engineering Workshops. . 2012

机译：查找并发错误的静态分析工具的比较
5. Unearthing Concurrency and Scalability Bugs in Cloud-Scale Distributed Systems [D] . Leesatapornwongsa, Tanakorn. 2017

机译：云规模分布式系统中发现的并发性和可伸缩性错误
6. ParBiBit: Parallel tool for binary biclustering on modern distributed-memory systems [O] . Jorge González-Domínguez, Roberto R. Expósito -1

机译：ParBiBit：用于现代分布式内存系统上的二进制双群集的并行工具
7. Finding complex concurrency bugs in large multi-threaded applications [O] . Fonseca P., Li C., Rodrigues R. 2011

机译：在大型多线程应用程序中查找复杂的并发错误

A Method and Tool for Finding Concurrency Bugs Involving Multiple Variables with Application to Modern Distributed Systems

著录项

引文网络

相似文献

相关主题

期刊订阅