进程阻塞相关论文
基于时钟的自适应检查点策略是一种简单有效的协同检查点策略.现有的基于时钟计时器的检查点策略采用阻塞进程消息发送或两段自适......
模型检验技术是开发高可信软硬件系统的重要途径。目前已经有许多成熟的模型检验工具,SMV就是其中一种常用的工具,可以进行同步或异......