- A model-driven development approach to mapping UML state diagrams to synthesizable VHDL
[作者:Wood, SK; Akehurst, DH; Uzenkov, O; Howells, WGJ; McDonald-Maier, KD,期刊:IEEE Transactions on Computers, 页码:1357-1371 , 文章类型: Article,,卷期:2008年57-10]
- With the continuing rise in the complexity of embedded systems, there is an emerging need for a higher level modeling environment that facilitates efficient handling of this complexity. The aim here is to produce such a ...
- Cache noise prediction
[作者:Pujara, P; Aggarwal, A,期刊:IEEE Transactions on Computers, 页码:1372-1385 , 文章类型: Article,,卷期:2008年57-10]
- Caches are underutilized because not all of the excess data brought into the cache, to exploit spatial locality, is used. We define cache utilization as the percentage of data brought into the cache that is actually used...
- Implementing synchronous models on loosely time triggered architectures
[作者:Tripakis, S; Pinello, C; Benveniste, A; Sangiovanni-Vincentelli, A; Caspi, P; Di Natale, M,期刊:IEEE Transactions on Computers, 页码:1300-1314 , 文章类型: Article,,卷期:2008年57-10]
- Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models and then implementing the specifications ...
|