时间 swMATH ID: 1403 软件作者: H.Carli、L.G.S.Duarte、L.A.C.P.da Mota 描述: TIMES–嵌入式系统建模和实现工具TIMES是一种用于嵌入式实时系统的建模和可调度性分析工具,于2001年由乌普萨拉大学开发。它适用于可以被描述为一组抢先或非抢先任务的系统,这些任务由时间或外部事件周期性或偶发地触发。它提供了用于编辑和模拟的图形界面,以及用于可调度性分析的引擎。 主页: http://cpc.cs.qub.ac.uk/summaries/AERW_v1_0.html 关键词: 建模;嵌入式系统 相关软件: Uppaal公司;林MapTS;枫树;克罗诺斯;自旋蛋白;TISEAN公司;模仿者;伊斯兰解放军;Matlab公司;MCGP公司;XTL公司;LNT2LOTOS公司;数据链路连接器;联合;Exp.未结;Reo公司;CADP公司;LOTOS公司;M-树;BISIMULATOR(双模拟) 引用于: 24文件 标准条款 1出版物描述软件,包括1出版物在zbMATH中 年份 用于改进全球地图预测的Maple软件包。 Zbl 1360.62012年H·卡利。;杜阿尔特,L.G.S。;达莫塔,L.A.C.P。 2014 全部的 前5名45位作者引用 6 Yi,王 5 保罗·里卡多·L·阿尔维斯。 5 达莫塔,路易斯·安东尼奥·坎皮尼奥·佩雷拉 5 杜阿尔特,L.G.S。 5 埃琳娜·费斯曼 4 保罗·佩特森 2 帕维尔·克查尔 2 列奥尼德·莫克鲁辛 1 托拜厄斯·阿姆内尔 1 马钦·安德里科维奇 1 托马斯·博格霍姆 1 布雷克林(Aske Wiid Brekling) 1 蔡晓娟 1 H·卡利。 1 下士,亨克 1 马丁·德·沃尔夫 1 劳伦特·多恩 1 斯特凡·齐姆博夫斯基 1 埃夫拉德,雨果 1 伊曼纽·弗拉格尼埃 1 多米尼克·杰尼特 1 斯特凡·格鲁纳 1 迈克尔·赖赫哈特·汉森 1 熊宝安 1 黄金凤 1 卡纳拉,罗马 1 弗雷德里克·朗 1 加勒·拉盖托 1 李因苏普 1 莱思,孤独 1 李国强 1 林尚伟 1 卡斯珀·瑟·勒科夫 1 简·马德森 1 丹尼尔·马林诺夫斯基 1 尼古拉斯·马基 1 尤卡斯·马祖雷克 1 Nxumalo,马达达 1 安娜·菲利普 1 Jean-François拉斯金 1 奥列格·索科尔斯基 1 本特·汤姆森 1 Timm,零 1 Jeroen P.M.Voeten。 1 袁,Shoji 全部的 前5名10篇连载文章中引用 三 计算机物理通信 2 混沌、孤子和分形 2 理论计算机科学 2 逻辑与代数程序设计杂志 1 模拟中的数学和计算机 1 信息与计算 1 实时系统 1 国际计算机科学基础杂志 1 北欧计算机杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 20 计算机科学(68-XX) 4 动力系统和遍历理论(37至XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文