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

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