超稠密计算相关硕士博士期刊学术论文 - 搜论网

超稠密计算相关论文

高阶时段演算及其应用

该文的主要工作是研究如何用时段演算来刻画程序的实时行为.为了处理局部变量的声明,作者们必须引进关于程度变量的量词.而在实时......

学位

时段演算高阶逻辑实时系统超稠密计算完备性

高阶时段演算及其完备性

研究如何用时段演算来刻画程序的实时行为.　在实时程序设计里，程序变量被解释成时间的函数.　为了定义局部变量声明的语义，必须引进......

期刊

时段演算高阶逻辑实时程序超稠密计算完备性

看过本文同时还关注