×

国际象棋

swMATH标识: 23089
软件作者: Musuvathi M,qadeers S,球T
说明: 国际象棋:并行软件的系统测试工具。并发性是系统软件的一个基本属性。异步计算是操作系统、数据库和web服务器等重要软件组件的规范。随着多核架构逐渐进入主流桌面计算机,我们很可能会看到多线程在应用软件中的应用越来越多。不幸的是,并发程序的设计是一个非常具有挑战性的任务。这项任务的主要智力困难在于推理并发执行线程之间的交互。不确定性的线程调度使得从程序的一次运行到另一次运行的过程中重现行为变得极其困难。结果,调试并发软件的过程变得单调乏味,导致程序员的生产率急剧下降。由于并发性既重要又难以解决,因此我们必须开发技术和工具来自动检测和定位并发程序中的错误。
主页: https://link.springer.com/chapter/10.1007/978-3-540-71410-1_2
相关软件: veriSoft公司;橡皮擦;阿维奥;拉塞克斯;CIL公司;拜德;克隆;猎鹰;快车道;bzip2smp公司;CTrigger公司;前缀span;金发姑娘;爪哇格兰德;栅栏;单轨;CBMC公司;赛车场;雾化器;Java探路者
参考文献: 5种出版物

在1个字段中引用

5 计算机科学(68-XX)

按年份引用出版物