马甲

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


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

显示第1到第20个结果,共26个。
按年份排序(引用)
  1. 陈金超;杜承烈;谢飞;杨振坤:多核实时系统中非抢占严格周期任务的可调度性分析(2016)
  2. íström,Karl J.;Kumar,P.R.:控制:一种视角(2014)
  3. Squire,J.;Burby,J.;Qin,H.:\texttvest:抽象向量演算简化(2014)
  4. Bakhshiyan,B.Ts.;Goryainov,A.V.:用骨架算法求解(L)-最优实验设计(2010)
  5. Galyaev,A.A.:威胁环境中物体运动的探测功能(2010)
  6. Islam,Shariful;Suri,Neeraj;Balogh,András;Csertán,György;Pataricza,András:集成可靠实时嵌入式系统的基于优化的设计(2009)ioport公司
  7. Polischuk,A.S.:易损材料的微变形理论(2009)
  8. Bini,Enrico;Di Natale,Marco;Buttazzo,Giorgio:固定优先级实时系统的灵敏度分析(2008)
  9. 又一次袭击事件:阿诺·帕斯·朱卡(2008年)
  10. Gokhale,Aniruddha;Balasburamanian,Krishnakumar;Krishna,Arvind S.;Balasburamanian,Jaiganesh;Edwards,George;Deng,Gan;Turkay,Emre;Parsons,Jeffrey;Schmidt,Douglas C.:模型驱动中间件:开发分布式实时和嵌入式系统的新范式(2008)
  11. Jung,Eunok;Lenhart,Suzanne;Protopopescu,Vladimir;Babbs,Charles:胸腹式心肺复苏模型的最佳控制(2008)
  12. Karsai,Gabor;Neema,Sandeep;Sharp,David:《嵌入式软件的模型驱动体系结构:概要与实例》(2008)
  13. Krishnakumar Balasubramanian,Jaiganesh;Parsons,Jeff;Gokhale,Aniruddha;Schmidt,Douglas C.:分布式实时和嵌入式系统的独立于平台的组件建模语言(2007)
  14. 朱克斯,安托万;莱因哈德,让·雷内:《超车背心》(2007)
  15. Mahadevan,Shankar;Virk,Kashif;Madsen,Jan:ARTS:基于systemc的芯片上多处理器系统建模框架(2007)ioport公司
  16. Röttger,Simone;Zschaler,Steffen:非功能规范细化的工具支持(2007)ioport公司
  17. 瓦卢埃斯库,伊利:完全相关作用中的平稳过程。(2007年)
  18. Yasugi,Mariko;Mori,Takakazu;Tsujii,Yoshiki:作为可计算分析方法论的有效一致性序列及其极限(2007)
  19. Juratoni,Adina:函数代数的一些绝对连续表示(2006)
  20. Madl,Gabor;Abdelwahed,Sherif;Schmidt,Douglas C.:通过图转换和模型检查验证嵌入式系统的分布式实时特性(2006)

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