CEOL的拓扑研究调查
摘要：在以效率为导向的语言（CEOL）中心进行的工作综述，重点关注拓扑学方面。CEOL的研究人员致力于设计一种新的实时语言，以改善软件的时序。该中心广泛关注语义和复杂性的桥梁，并集合了在编程语言语义、实时语言、编译器设计和基于图的算法方面具有专业知识的研究人员。CEOL的目标是缩小实时语言中最坏情况执行时间分析和平均情况执行时间分析之间的差距，并且其长期目标是开发平均情况执行时间工具ACETT。鉴于实时软件广泛应用于化工厂、卫星通信、航天工业、电话交换、医疗设备、汽车工业等各种应用领域，这项研究工作对于工业界具有重要的意义。CEOL在拓扑学方面的工作着重于探索量化域、半估值、偏度指标及其应用。我们概述了CEOL在该领域取得的先前结果以及与算法的平衡概念与运行时间相关性的当前研究工作以及与算法运行时间相关的半估值探索。
作者：Homeira Pajoohesh, M. P. Schellekens
论文ID：math/0412556
分类：General Topology
分类简称：math.GN
提交时间：2007-05-23