首页> 外文学位 >Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis.

【24h】

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis.

机译：通过混合和分布式分析提高并发Java代码的定向模型检查的可伸缩性。

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Milewicz, Reed Morgan.;
展开▼
作者单位

The University of Alabama at Birmingham.;

展开▼
授予单位 The University of Alabama at Birmingham.;
学科 Computer science.
学位 Ph.D.
年度 2016
页码 196 p.
总页数 196
原文格式 PDF
正文语种 eng
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. A Framework for Model Checking Concurrent Java Components [J] . Brad Long Journal of software . 2009,第8期

机译：用于检查并发Java组件的模型的框架
2. The Scalable Modeling System: directive-based code parallelization for distributed and shared memory computers [J] . M. Govett, L. Hart, T. Henderson, Parallel Computing . 2003,第8期

机译：可伸缩建模系统：分布式和共享内存计算机的基于指令的代码并行化
3. Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis [J] . Corina S. Pasareanu, Willem Visser, David Bushnell, Automated software engineering . 2013,第3期

机译：Symbolic PathFinder：将符号执行与模型检查集成在一起，以进行Java字节码分析
4. An Improved Higher-order SFR Model of Large-scale Distributed Hybrid Power System [C] . YiFeng Fan, Jianbo Yi, Fengxun Tian, Asia Conference on Power and Electrical Engineering . 2020

机译：大型分布式混合动力系统的改进高阶SFR模型
5. Identification and Annotation of Concurrency Design Patterns in Java Source Code using Static Analysis. [D] . Mwebesa, Martin. 2011

机译：使用静态分析来识别和注释Java源代码中的并发设计模式。
6. A Cortical Sparse Distributed Coding Model Linking Mini- and Macrocolumn-Scale Functionality [O] . Gerard J. Rinkus 2010

机译：链接小型和大型列规模功能的皮质稀疏分布式编码模型
7. Probabilistic Model Checking of non-Markovian Models with Concurrent Generally Distributed Timers [O] . András Horváth, Marco Paolieri, Lorenzo Ridi, 2012

机译：具有并发通用分布计时器的非马尔可夫模型的概率模型检验

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis.

著录项

相似文献

相关主题

期刊订阅