机构名称：
¥ 1.0
感知：用于准备和部署街道视图感知调查（移动）Web应用程序的工具包。深：智能传感器软件，用于对象检测和通过边缘计算进行跟踪。自适应城市：实时城市和内建造传感器数据处理平台。CAMFORT：计算科学模型的自动软件演变和验证。Fortran-SRC：Haskell库，用于解析和分析历史和现代福特计划。梗犬：嵌入式ARM OS，结合了ATS语言，以提供高级类型的安全功能。ATS：具有线性和依赖类型的功能编程语言（前小组成员）。任务：具有基于虚拟化的沙盒功能（前小组成员）的实时操作系统。
马修·丹麦（Matthew Danish） -
主要关键词
相关文件推荐
