首页> 外文OA文献 >Asserting and checking determinism for multithreaded programs

【2h】

Asserting and checking determinism for multithreaded programs

机译：声明和检查多线程程序的确定性

页面导航

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

著录项

作者
Jacob Burnim; Koushik Sen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Asserting and Checking Determinism for Multithreaded Programs [J] . Jacob Burnim, Koushik Sen Communications of the ACM . 2010,第6期

机译：声明和检查多线程程序的确定性
2. Specifying and Checking Semantic Atomicity for Multithreaded Programs [J] . Jacob Burnim, George Necula, Koushik Sen Computer architecture news . 2011,第1期

机译：指定和检查多线程程序的语义原子性
3. Specifying and Checking Semantic Atomicity for Multithreaded Programs [J] . Burnim Jacob, Necula G, Sen K ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2011,第3期

机译：指定和检查多线程程序的语义原子性
4. Asserting and checking determinism for multithreaded programs [C] . Jacob Burnim, Koushik Sen Joint meeting of the European software engineering conference;ACM SIGSOFT symposium on The foundations of software engineering . 2009

机译：声明和检查多线程程序的确定性
5. Towards High Performance Determinism for Multithreaded Programs [D] . Merrifield, Timothy. 2018

机译：迈向多线程程序的高性能确定性
6. selscan: An Efficient Multithreaded Program to Perform EHH-Based Scans for Positive Selection [O] . Zachary A. Szpiech, Ryan D. Hernandez -1

机译：selscan：高效的多线程程序可以执行基于EHH的扫描以进行肯定选择
7. Singletrack: A dynamic determinism checker for multithreaded programs [O] . Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan 2012

机译：singletrack：多线程程序的动态确定性检查器

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号