物理时钟相关论文
随着计算机技术的不断发展,并行编程作为一种有效的提高程序运行效率的手段,已经越来越融入到日常的软件研发项目中了。并行编程虽......
为满足并行调试需要,时钟模型必须既能保证事件之间的逻辑顺序,又能为性能调试提供时间戳。现有的基于事件的物理时钟同步算法在时......
稠密时间自动机被广泛应用于实时系统自动验证．然而其在补操作下不封闭，因而导致多种线性实时性质不可验证．离散时间自动机虽不存在此......
该文讨论了几种逻辑时钟系统和并行及分布式监测系统MS-1中的物理时钟,并比较了它们的优缺点。......
