13.EMSOFT 2013:加拿大魁北克省蒙特利尔
罗尔夫·恩斯特 , 奥列格·索科尔斯基 :
《嵌入式软件国际会议论文集》,EMSOFT 2013,蒙特利尔,QC,加拿大,2013年9月29日至10月4日。 电气与电子工程师协会 2013 ,国际标准图书编号 978-1-4799-1443-2 罗尔夫·恩斯特 , 奥列格·索科尔斯基 :
来自项目联合主席的信息。 纪尧姆·鲍达特 , 弗洛伦特·雅克马尔 , 路易斯·曼德尔 , 马克·普泽特 :
Antescofo的同步嵌入,这是一种用于交互式混合音乐的特定于域的语言。 1:1-1:12 大卫·布洛曼 , 克里斯托弗·布鲁克斯 , 列夫·格林伯格 , 爱德华·A·李 , 迈克尔·马辛 , 斯塔夫罗斯·特里帕基斯 , 迈克尔·韦特 :
确定用于联合仿真的FMU的组成。 2:1-2:12 瓦杰利斯·贝贝利斯 , 帕斯卡·弗雷德 , 阿兰·吉罗 , 布鲁诺·拉维古尔 :
BPDF:具有整数和布尔参数的静态分析数据流模型。 3:1-3:10 比斯瓦吉特·马祖姆德 , 杰森·奥·霍尔斯特罗姆 :
无线传感器网络重新编程的高效代码更新解决方案。 4:1-4:10 阿卜杜拉·阿勒纳耶姆 , Cheolgi Kim先生 , 伍丘尔康 , 吴伯良 , 吕沙 :
物理异步逻辑同步(PALS)系统的中间件设计。 5:1-5:10 Yeong-Jae Woo先生 , 金素金 :
使MLC NAND闪存的磨损指数多样化,以延长SSD的使用寿命。 6:1-6:10 Parasara Sridhar Duggirala公司 , 阿什什·蒂瓦里 :
线性系统的安全验证。 7:1-7:10 保拉·赫伯 , 罗伯特·赖歇特 , 帕特里克·比特纳 :
使用SMT求解对离散时间MATLAB/Simulink模型进行位精度形式验证。 8:1-8:10 梁邹 , 詹乃军(Naijun Zhan) , 王淑玲(Shuling Wang) , 马丁·弗伦泽 , 秦盛超 :
通过混合霍尔逻辑校准器验证Simulink图。 9:1-9:10 马格努斯·佩尔森 , 马丁·特伦格伦 , 阿桑·卡马尔 , 乔纳斯·韦斯特曼 , 马蒂亚斯·贝尔 , 斯塔夫罗斯·特里帕基斯 , 汉斯·旺格鲁 , 约阿希姆·丹尼尔 :
嵌入式和网络物理系统背景下集成多视图建模的特征。 10:1-10:10 伊桑·K·杰克逊 , 加博尔·辛科 , Janos Sztipanovits公司 :
不同枚举系统级架构。 11:1-11:10 Eleftherios Matsikoudis公司 , 克里斯托斯·斯特吉奥 , 爱德华·A·李 :
实时离散事件系统的可调度性。 12:1-12:15 哈雷尔 , 阿米尔·坎特 , 盖伊·卡茨 , 阿萨夫·马龙 , 利奥·米兹拉希 , 杰拉·韦斯 :
关于组成和证明反应行为的正确性。 13:1-13:10 塞尔吉奥·Mover , 亚历山德罗·西马蒂 , 阿什什·蒂瓦里 , 斯特凡诺·托内塔 :
混合系统的时间-软件关系抽象。 14:1-14:10 朱棣文公爵 , 佐克森·贾法尔 :
路径敏感资源分析符合断言。 15:1-15:10 扬·C·克莱因斯伯格 , 海科·福尔克 , 彼得·马韦德尔 :
一般控制流图上部分最坏情况执行路径的简单分析。 16:1-16:10 乔治亚州Giannopoulou , 尼古拉·斯托伊梅诺夫 , 黄鹏程 , 洛塔尔·蒂勒 :
资源共享多核系统上混合临界应用程序的调度。 17:1-17:15 安德烈亚·巴尔多文 , 恩里科·梅泽蒂 , 图利奥·瓦尔达内加 :
非依赖任务集的有限抢占式调度。 18:1-18:10 亨利·霍夫曼 , 马蒂娜·马吉奥 , 马可·桑坦布罗基奥 , 阿尔贝托·莱瓦 , 阿加瓦尔 :
用于准确高效地管理性能目标的通用软件框架。 19:1-19:10 戴娜布 , 爱德华·A·李 :
StreaMorph:一个使用高级抽象合成节能自适应程序的案例。 20:1-20:10 拉吉夫·尼什塔拉 , 丹尼尔·莫塞 , 维尼修斯·佩特鲁奇 :
异构多核处理器中的能量感知线程共存。 21:1-21:9 伊娃·达鲁洛娃 , 维克托·昆卡 , 鲁帕克·马朱姆达尔 , 因德拉尼尔·萨哈 :
定点程序的合成。 22:1-22:10 阿米尔·阿米尼法 , 佩特鲁·埃利斯 , 彭泽波 , 安东·塞尔文 :
嵌入式控制系统的稳定性分析和设计。 23:1-23:10 帕维特拉·普拉巴卡尔 , 刘军(Jun Liu) , 理查德·默里 :
关于混合系统输入的稳定性属性的推理的前置阶。 24:1-24:10 潘西·阿拉法 , 哈尼·卡西夫 , 塞巴斯蒂安·费奇梅斯特 :
DIME:使用基于速率的资源分配的时间-软件动态二进制指令插入。 25:1-25:10 Parasara Sridhar Duggirala公司 , 萨扬密特拉 , 马赫什·维斯瓦纳坦 :
从执行中验证带注释的模型。 26:1-26:10 Kwanghwan Kim(金光焕) , Hojung Cha公司 :
WakeScope:针对Android平台的运行时WakeLock异常管理方案。 27:1-27:10
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)