...
机译:通过控制工程消除并发错误
Hewlett-Packard Laboratories;
Control engineering; Discrete control theory; Multicore processors; Multithreaded software; Parallel programming; Software engineering;
机译:消除多线程软件中的并发错误:一种基于离散事件控制的新方法
机译:并行检测融合的CPU-GPU架构上的多个并发错误的硬件支持
机译:准确性错误:利用算法噪声容限的新型并发错误
机译:消除多线程软件中的并发错误:一种基于Petri网控制的方法
机译:云规模分布式系统中发现的并发性和可伸缩性错误
机译:HACMS程序:使用正式方法消除可利用的错误
机译:消除多线程软件中的并发错误:一种基于离散事件控制的新方法