第34届RTSS 2013：加拿大不列颠哥伦比亚省温哥华
IEEE第34届实时系统研讨会论文集，RTSS 2013，加拿大不列颠哥伦比亚省温哥华，2013年12月3-6日。 IEEE计算机学会 2013 ，国际标准图书编号 978-1-4799-2006-8
第1部分： 多核平台
孟旭 , 林·T·X·潘 , 因苏普·李 , 奥列格·索科尔斯基 , 司素熙 , 晨阳路 , 克里斯托弗·D·吉尔 :
实时多核虚拟化平台的缓存软件组成分析。 1-10 李金圭 , Kang G.Shin先生 :
实时多核系统中模式转换的可调度性分析。 11-20
第2部分： 系统
宋继国 , 约翰·威特洛克 , 加布里埃尔·帕默 :
C^3中可预测、高效的系统级容错。 21-32 格伦·埃利奥特 , 布莱恩·C·沃德 , 詹姆斯·安德森 :
GPUSync：实时GPU管理框架。 33-44 亚历山大·维德 , 勃兰登堡 :
关于AUTOSAR中的自旋锁：FIFO、无序和优先级排序自旋锁的阻塞分析。 45-56 黄埔公爵 , 基尔霍·李 , Sangeun噢 , Insik胫骨 , Hyojiong Shin先生 , Honguk Woo公司 , 大运办 :
GreenBag：异构移动无线网络中用于实时流传输的节能带宽聚合。 57-67
第三部分： 混合临界系统
桑乔伊·巴鲁阿 , 郭志善 
:
变速处理器上的混合临界调度。 68-77 阿尔文德·伊斯瓦兰 :
基于需求的单处理器混合关键性零星任务调度。 78-87 莫里茨·纽基什内尔 , 菲利普·阿克瑟 , 托比亚斯·迈克尔斯 , 罗尔夫·恩斯特 :
监测混合临界系统的工作量到达函数。 88-96
第4部分： 网络物理系统，应用
李金圭 , 尤金·金 , Kang G.Shin先生 :
卫星电源系统的设计和管理。 97-106 潘大伟 , Dan Wang（王丹） , 曹建农 , 于鹏 , 西元彭 :
在动态电力市场中最小化建筑用电成本：算法和对节能的影响。 107-117
第5部分： 网络物理系统、技术
梁河 , 李鹏古 , 凌河港 , 于古 , 刘聪（音） , 天河 :
探索自适应重构以优化大型电池系统的能效。 118-127 李基冲（Lee Kee Chong） , 克莱门特·巴拉布里加 , Van-Truan Pham公司 , Sudipta Chattopadhyay公司 , 阿比克·罗伊乔杜里 :
应用程序和操作系统代码的集成时序分析。 128-139 易洪伟 , 全冷 , 宋汉 , 阿洛伊修斯·莫克 , 张文龙 , Masayoshi Tomizuka先生 :
RT-WiFi：无线网络物理控制应用的实时高速通信协议。 140-149 丹尼尔·丰塔内利 , 路易吉·帕洛波利 , 卢卡·阿贝尼 :
实时控制的连续流计算模型。 150-159
第6部分： 多处理器调度
桑乔伊·巴鲁阿 , 比约恩·勃兰登堡 :
具有特定处理器相关性的递归任务系统的多处理器可行性分析。 160-169 小奥古斯托·桑托斯 , 乔治·利马 , 康斯坦丁诺斯·布莱察斯 , 加藤信培 :
具有少量迁移任务的多处理器实时调度。 170-181 何塞·马里尼奥 , 文森特·奈利斯 , 斯特凡·M·彼得斯 , 马尔科·贝尔托尼亚 , 罗伯特·戴维斯 :
有限的抢占全局固定任务优先级。 182-191
第7部分： 无线传感器网络I
莫莎 , 拉哈夫·多尔 , 格雷戈里·哈克曼 , 晨阳路 , 金泰锡 , 塔林公园 :
无线传感器网络的自适应MAC层。 192-201 魏东 , 陈淳（Chun Chen） , 加君布 , 薛柳 , 刘云浩 :
D2：通过程序剖析和症状挖掘对网络化嵌入式系统中的异常进行检测和诊断。 202-211 董旺（Dong Wang） , 塔里克·F·阿卜杜勒扎尔 , 兰斯·卡普兰 , 拉胡·甘蒂 , 胡少汉 , 刘恒昌 :
利用物理约束实现可靠的社会感知。 212-223
第8部分： 实时调度
多林·马克西姆 , 莉莉亚娜·库库·格罗斯让 :
多概率参数固定优先级任务的响应时间分析。 224-235 文森佐·博尼法奇 , 阿尔贝托·马切蒂-帕卡米拉 , 妮可·梅戈 , 安德烈亚斯·维泽 :
谐波实时任务的多项式时间精确可调度性测试。 236-245 金俊成（Junsung Kim） , 比约恩·安德森 , 迪奥尼西奥·德尼兹 , 拉古纳桑·拉吉库马尔 :
自暂停实时任务的分段固定优先级调度。 246-257
第9部分： 无线传感器网络II
亚历山大·纳尔逊 , 杰克逊·施曼德 , 威廉姆·威尔金斯 , 詹姆斯·帕特里克·帕克森 , 尼兰詹·班纳吉 :
微型直升机驱动移动传感系统支持。 258-267 马克西姆·布埃维奇 , 尼兰吉尼·拉贾戈帕尔 , 安东尼·罗 :
实时传感器网络的硬件辅助时钟同步。 268-277 刘雪峰 , 曹建农 , 唐少杰 :
在WSN中实现快速可靠的网络范围事件触发唤醒。 278-287 马克西姆·布埃维奇 , 安妮·赖特 , 兰迪·萨金特 , 安东尼·罗 :
重生：分布式多分辨率时间序列数据存储。 288-297
第10部分： 设计和验证
阿米尔·阿米尼法尔 , 恩里科·比尼 , 佩特鲁·埃利斯 , 彭泽波 :
设计带宽高效的稳定控制服务器。 298-307 圣地亚哥·帕加尼 , 陈建嘉 :
基于单频近似方案的节能任务划分。 308-318 阿比吉特·班纳吉 , Sudipta Chattopadhyay公司 , 阿比克·罗伊乔杜里 :
静态分析驱动的缓存性能测试。 319-329 南关 , 王毅 :
金融实时演算：分布式嵌入式系统的高效性能分析。 330-339
第11部分： 计划和时间分析
马丁·斯蒂格 , 王毅 :
可行性分析的组合抽象细化。 340-349 陈建嘉 :
零星实时任务的成本最小化任务集合成。 350-359 列奥尼达斯·科斯米迪斯 , 杰姆·阿贝拉 , 爱德华多·奎诺内 , 弗朗西斯科·卡佐拉 :
用于概率时间分析实时系统的多级统一缓存。 360-371 郑培武 , 瑜伽克里斯 , 鲁道夫·佩利佐尼 :
多请求系统中DRAM延迟的最坏情况分析。 372-383
