嵌入式系统设计自动化,第18卷
第18卷,编号1-2,2014年3月
泰富·格兹金 , 英戈·斯蒂兰德 , 斯特凡·亨克勒 , 阿奇姆·雷特伯格 :
分布式实时系统的基于状态的调度分析-通过组合方法处理大型状态空间。 1-18 小奥古斯托·桑托斯 , 乔治·利马 , 康斯坦蒂诺斯·布莱特斯 :
具有紧急例程的实时嵌入式系统的高效可调度性测试。 19-38 大卫·杰明 , 马塞洛·戈茨 , 卡洛斯·爱德华多·佩雷拉 :
可动态重新配置的硬件/软件移动代理。 39-60 马丁·拉德茨基 , 阿克塞尔·扬奇 :
编辑简介-嵌入式系统的语言、模型和基于模型的设计专刊。 61-62 延斯·勃兰特 , 迈克·杰蒙德 , 克劳斯·施耐德 , Sandeep K.Shukla公司 , Jean-Pierre Talpin女士 :
通过时钟保护动作表示同步、异步和多同步组件。 63-97 马明宇(Mingyu Ma) , 拉尔斯·赫德里奇 , 克里斯蒂安·斯波雷 :
ASDeX:模拟电路的正式规范,可实现全自动设计验证。 99-118
第18卷,第3-4期,2014年9月
大卫·贝尔托齐 , 乔戈斯·迪米特拉科普洛斯 , 索伦·桑塔格 :
编辑。 119-120 Junghee Lee(李正熙) , 尼科普洛斯Chrysostomos Nicopoulos , Hyung Gyu Lee(李显奎) , Jongman Kim先生 :
半人马座:利用微网络融合的混合网络对芯片架构。 121-139 加迪·奥克斯曼 , 什洛莫·韦斯 :
RIDER:带缓冲器的环形偏转路由器。 141-155 亚历山德罗·西拉多 , 埃多尔多·富塞拉 , 卢卡·加洛 , 安东尼诺·马佐奥 , 尼古拉·马佐卡 :
基于FPGA的异构互连的自动化设计空间探索。 157-170 博格丹·普里萨卡里 , 格尔曼·罗德里格斯 , 安娜·约卡诺维奇 , 赛里尔·明肯伯格 :
随机化任务放置和路线选择不会随机化流量(足够了)。 171-182 尼古拉斯·克里索斯 , 弗雷迪·尼瑟 , 米切尔·古萨特 , 罗尔夫·克劳伯格 , 赛里尔·明肯伯格 , 克劳德·巴索 , 肯尼思·瓦尔克 :
串联队列加权公平平滑调度。 183-197 马可·瓦格纳 , 安斯加·梅洛斯 , 迪特尔·泽贝尔 :
开发自适应汽车系统-将面向服务集成到汽车开发过程中。 199-221 TiongHoo Lim公司 , 伊恩·贝特 , 乔纳森·蒂米斯 :
一种适用于可靠无线传感器网络的自适应容错系统。 223-250 托西恩·阿德吉亚 , 安·戈登·罗斯 , 阿尔斯兰·穆尼尔 :
相位距离映射:一种用于嵌入式系统的基于相位的缓存调整方法。 251-278 纳伊姆·阿巴斯 , 哲玛 :
MPSoC平台上用于资源优化的运行时并行切换。 279-293 赛义德·M·A·H·贾弗里 , 斯坦尼斯劳·彼得拉克 , 艾哈迈德·赫马尼 , 科林·保罗 , 朱哈·普洛西拉 , 汉努·腾胡宁 :
用于CGRA中高效容错的专用可靠性环境。 295-327