机译:一种基于测试的方法,可确保共享资源并发系统的安全
Testing; concurrency; automated; model-based; property-based; black box; shared resources; Java; Erlang; QuickCheck;
机译:一种基于测试的方法,可确保共享资源并发系统的安全
机译:确保异构分布式数据库系统中全局事务并发控制的一种方法
机译:研究生医学教育的未来:确保患者安全的基于系统的方法
机译:基于测试的方法,以确保共享资源并发系统的安全性
机译:用于并行计算的共享数据空间方法:Swarm编程模型,符号和逻辑。
机译:使用产品生命周期管理方法的共享资源实验室中的操作变更:案例研究
机译:使用共享资源建模并发系统
机译:资源受限系统能效的乐观并发控制的读写验证方法。