背心 swMATH ID: 1405 软件作者: Stankovic A、Wang H、Humphrey M、Zhu R、Poornalingam R、Lu C 描述: VEST–用于构建和分析基于组件的嵌入式系统的工具集嵌入式系统正在以惊人的速度激增。为了取得成功,这些系统必须进行定制,以满足许多成本、上市时间、性能和可靠性约束。通过使用领域特定组件构建和裁剪嵌入式系统是有前途的。然而,在组成组件时,最困难的问题是确保满足实时性能和可靠性等非功能特性。VEST工具包旨在基于方面提供一组丰富的依赖性检查,以通过组件支持嵌入式系统开发 主页: 网址:http://www.cs.virginia.edu/~control/vest.html 相关软件: 托勒密;CPLEX公司;Uppaal公司;方面C++;T连续力学;数学GR;ORTHOVEC公司;背心;Tensorial公司;通用矢量分析;数学张量;x行动;x张量;xPerm(xPerm);数学软件;枫叶;因瓦;Cadabra公司;倍频程;AUTOSAR汽车 引用于: 23文件 更多出版物: http://www.cs.virginia.edu/wsn/publications.html 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 VEST–用于构建和分析基于组件的嵌入式系统的工具集。 Zbl 1050.68512号约翰·斯坦科维奇。 2001 全部的 前5名51位作者引用 三 道格拉斯·施密特。 2 贾加内什Balasubramanian 2 Krishnakumar Balasubramanian 2 阿尼鲁达·戈哈勒 2 Joux,安托万 1 Abdelwahed,警长 1 迈赫迪·阿米里约 1 奥斯特罗姆,卡尔·约翰 1 查尔斯·巴布斯。 1 巴赫希扬,B.Ts。 1 恩里科·比尼 1 约书亚·W·伯比。 1 乔治·布塔佐(Giorgio C.Buttazzo)。 1 陈金超 1 莫妮卡·乔巴努 1 帕斯卡·德劳奈 1 邓、甘 1 马尔科·迪纳塔莱 1 杜成烈 1 乔治·爱德华兹 1 安德烈·加列耶夫(Andre Galyaev,Alekseevich) 1 A.V.戈里亚诺夫。 1 约根·汉森 1 尤诺克·荣格 1 阿迪纳·尤拉托尼 1 加博尔·卡赛 1 阿文德·克里希纳。 1 Panganamala R.库马尔。 1 苏珊娜·伦哈特(Suzanne M.Lenhart)。 1 罗志泉 1 加博·马德尔 1 森喜朗(Mori,Takakazu) 1 妮玛、桑德普 1 杰夫·帕森斯 1 杰弗里·帕森斯 1 亚历山大·波里什丘克。 1 弗拉基米尔·普罗托波佩斯库。 1 Jean-RenéReinhard 1 瓦伦丁·阿纳托尔·埃维奇·斯科沃尔佐夫 1 约翰·M·斯奎尔。 1 约翰·斯坦科维奇。 1 Jos F.斯特姆。 1 阿列克桑德拉·特萨诺维奇 1 特洛伊茨基,叶夫根尼,瓦迪莫维奇 1 吉木津井 1 埃姆雷·图尔盖 1 伊利·瓦卢塞斯库 1 谢,费 1 杨振坤 1 Mariko Yasugi 1 张树忠 全部的 前5名15连载 三 实时系统 2 计算机程序设计科学 2 自动化和远程控制 1 计算机物理通信 1 日本科学哲学协会年鉴 1 Automatica公司 1 计算机与系统科学杂志 1 实际分析交换 1 Prikladnaya Mekhanika公司 1 SIAM优化杂志 1 数学科学杂志(纽约) 1 蒂米·奥拉的阿奈勒大学。Seria Matematic??信息 1 数学医学与生物学 1 Monografii Matematice(Timișoara) 1 数学调查及其应用 全部的 前5名18个领域被引用 10 计算机科学(68至XX) 三 系统论;控制(93至XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 功能分析(46倍X倍) 2 算子理论(47-XX) 2 运筹学、数学编程(90-XX) 2 信息与通信理论、电路(94-XX) 1 数学逻辑和基础(03-XX) 1 复变量的函数(30-XX) 1 欧氏空间的调和分析(42至XX) 1 积分变换,运算微积分(44-XX) 1 变分法与最优控制;最优化(49-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 粒子和系统力学(70-XX) 1 可变形固体力学(74-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文