CEOL拓扑工作综述
一般拓扑
2007-05-23 v1
摘要
我们概述了效率导向语言中心(CEOL)正在进行的科研工作，重点关注其拓扑方面。CEOL的研究人员致力于设计一种新的实时语言以改善软件时序。该中心广泛聚焦于语义与复杂性之间的桥梁，并集结了在编程语言语义、实时语言、编译器设计与基于图的算法方面具有专长的研究者。CEOL旨在缩小实时语言的最坏情况执行时间分析与平均情况执行时间分析之间的差距，其长远目标是开发ACETT，一个平均情况执行时间工具。鉴于实时软件广泛用于化工厂、卫星通信、航天工业、电话交换机、医疗设备、汽车工业等多种应用，该科研工作对工业界至关重要。CEOL的拓扑工作聚焦于定量域、半赋值、偏度量及其应用的探索。我们概述了CEOL在该领域已取得的先前结果，以及当前关于算法平衡性概念与运行时间之关系的研究，还有对半赋值与算法运行时间关系的探索。
引用
@article{arxiv.math/0412556,
title = {A survey of topological work at CEOL},
author = {Homeira Pajoohesh and M. P. Schellekens},
journal= {arXiv preprint arXiv:math/0412556},
year = {2007}
}
备注
7 pages