马甲

VEST——一个用于构建和分析基于组件的嵌入式系统的工具集嵌入式系统正以惊人的速度激增。为了获得成功,这些系统必须进行定制,以满足许多成本、上市时间、性能和可靠性约束。使用领域特定的组件构建和裁剪嵌入式系统是有希望的。然而,在组成组件时,最困难的问题是确保满足诸如实时性能和可靠性之类的非功能特性。VEST工具包旨在提供一组基于方面的丰富的依赖性检查,以支持通过组件进行嵌入式系统开发


zbMATH中的参考文献(参考文献26条,1标准件)

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 陈金超;杜承烈;谢飞;杨振坤:多核实时系统中非抢占严格周期任务的可调度性分析(2016)
  2. 奥斯特伦,卡尔J。;Kumar,P.R.:控制:一个视角(2014)
  3. 乡绅,J。;伯比,J。;Qin,H.:\texttvest:抽象向量演算简化(2014)
  4. 巴基斯,哈希恩。;Goryainov,A.V.:用骨架算法求解(L)-最优实验设计问题(2010)
  5. Galyaev,A.A.:威胁环境中物体运动的探测功能(2010)
  6. 伊斯兰教,分享;尼拉吉苏里;巴洛赫,安德鲁斯;塞尔坦,吉尔吉;基于嵌入式系统的可靠性优化(2009年,基于Patarile的嵌入式系统优化)ioport公司
  7. Polischuk,A.S.:易损材料的微变形理论(2009)
  8. 比尼,恩里科;迪纳塔莱,马可;Buttazzo,Giorgio:固定优先级实时系统的灵敏度分析(2008)
  9. 德劳奈,帕斯卡;朱克斯,安托万:又一次对马甲的攻击(2008年)
  10. 阿尼鲁达,戈哈勒;巴拉苏布拉曼尼亚,克里希纳库马尔;克里希纳,阿文。;巴拉苏布拉曼尼,雅加尼什;爱德华兹,乔治;邓、甘;土耳其,埃姆雷;帕森斯,杰弗里;Schmidt,Douglas C.:模型驱动中间件:开发分布式实时和嵌入式系统的新范式(2008)
  11. 荣格,尤诺克;伦哈特,苏珊娜;弗拉基米尔普罗波佩斯库;Babbs,Charles:最佳控制应用于胸腹式心肺复苏模型(2008)
  12. 卡赛,加博;尼玛,桑德普;大卫夏普:《嵌入式软件的模型驱动体系结构:概要与实例》(2008)
  13. 巴拉苏布拉曼尼亚,克里希纳库马尔;巴拉苏布拉曼尼,雅加尼什;帕森斯,杰夫;阿尼鲁达,戈哈勒;Schmidt,Douglas C:分布式实时和嵌入式系统的独立于平台的组件建模语言(2007)
  14. 朱克斯,安托万;雷因哈德,让·雷内:超车背心(2007)
  15. 马哈德万、尚卡尔;维克,卡什夫;Madsen,Jan:ARTS:一个基于systemc的多处理器系统片上建模框架(2007)ioport公司
  16. Röttger,西蒙尼;Zschaler,Steffen:非功能规范细化的工具支持(2007)ioport公司
  17. 瓦卢埃斯库,伊利:完全相关作用中的平稳过程。(2007年)
  18. 亚苏吉,马里科;森喜朗,高冈;Tsujii,Yoshiki:有效一致性序列及其作为可计算分析方法的极限(2007)
  19. Juratoni,Adina:函数代数的一些绝对连续表示(2006)
  20. 马德尔,加博;谢里夫,阿布德尔瓦赫德;Schmidt,Douglas C.:通过图转换和模型检查验证嵌入式系统的分布式实时特性(2006)

更多出版物请访问:http://www.cs.virginia.edu/wsn/publications.html