2004年第一届ICESS：中国杭州
吴朝晖 , 陈淳（Chun Chen） , 郭敏义 , 加君布 以下为：
嵌入式软件和系统，第一届国际会议，ICESS 2004，中国杭州，2004年12月9日至10日，修订论文集。 计算机科学课堂讲稿 3605, 施普林格 2005 ，国际标准图书编号 3-540-28128-2
主题演讲和受邀演讲摘要（部分）
本贾尼·斯特劳斯特卢普 以下为：
抽象和C++机器模型。 1-13 亚历山大·斯特潘诺夫 以下为：
主题演讲：软件开发产业化。 14-14 杨天若 , 乔恩·穆齐奥 以下为：
嵌入式系统和片上系统的测试方法。 15-24 陈庆芳 以下为：
中国普天推广商用TD-SCDMA服务。 25-29 Makoto Amamiya公司 以下为：
面向代理的普适计算方法。 30-37 瓦利德·塔哈 以下为：
资源软件编程。 38-43 Naehyuck Chang先生 以下为：
低功耗嵌入式系统的内部工具。 44-58 洛伦佐·威尔多西亚 以下为：
CODACS项目：嵌入式系统原型开发工具。 59胜64负
分布式嵌入式计算
Young-Jun Seo先生 , 华扬贞 , 杨在松 以下为：
基于质量代理协商的Web服务选择方法研究：基于MAUT的方法。 65-73 王海丽（Haili Wang） , 济宁边 , 牛亚文 , 坤通 , 王云峰 以下为：
CA-Ex：嵌入式系统通信体系结构的调整增量方法。 74-80 华尼尔·钟 , 孙杨公园 , Hae-Young Bae公司 以下为：
无共享数据库集群系统中高效的并行空间连接处理方法。 81-87 Sam Jin Jeong先生 以下为：
使用两个并行区域划分方法最大化非均匀依赖循环的并行性。 88-93 钟国强 , 佐佐希·阿马米亚 , 高桥贤一 , Makoto Amamiya公司 以下为：
KODAMA方法：基于代理的分布式方法。 94-102
嵌入式系统
顾红英 , 岳廷庄 , 潘云和 , 陈波（Bo Chen） 以下为：
一种新的嵌入式系统虹膜识别方法。 103-109 董晓明 , 吉光湾 , 刘瑞芳 , 知湖滩 以下为：
RAID控制器：基于Intel IOP321的软件、硬件和嵌入式平台。 110-117 魏钦通（Weiqin Tong） , 罗清辉 , 尹志杰 , 小李志 , 宗玉伟 以下为：
面向频率调节家电控制系统的基于组件的集成。 118-123 科金宝 , 张焕泉 , 郝申图 以下为：
远程电压谐波监测系统的设计与实现。 124-129 李善斌 , 王志 , 孙有仙 以下为：
网络控制系统的保证成本控制：一种LMI方法。 130-136 董华金（Dong Hwa Kim） 以下为：
基于细菌觅食优化的感应电机嵌入式智能PID控制器的鲁棒整定。 137-142 张开龙 , 周兴社 , 柯亮 , 李建军 以下为：
系列智能缝纫设备的可定制嵌入式系统。 143-149
嵌入式硬件和架构
吴强 , 纪年边 , 洪喜雪 以下为：
异构多处理器片上系统设计的分布式体系结构模型。 150-157 赖明哲 , 奎代 , 李深 , 王志英 以下为：
嵌入式微处理器程序代码压缩新技术。 158-164 杨晓军 , 李丽·郭 , 张培恒 , 孙宁辉 以下为：
基于Intel IOP310的系统域网络接口卡设计。 165-171 孙彩霞 , 张敏萱 以下为：
双堆栈返回地址预测器。 172-179 王庆（音） , 四川岳 , 赵荣春 , 大卫·达甘·冯 以下为：
电子阅读笔：一种基于DSP的便携式离线OCR和双语翻译设备。 180-187 金玉战 , 南桑 , 熊光泽 以下为：
基于有色Petri网的SoC设计形式化协同验证。 188-195 路易莎·德·马塞多·穆雷利 
, 纳迪娅·内贾赫 以下为：
适用于智能卡的模块化指数硬件。 196-202 朱云（Yun Zhu） , 西丽 , 余昌宫 , 王志刚 以下为：
基于PN的ASIP体系结构形式化建模与验证。 203-209 刘广辉 , 费霞 , 杨学军 , 周海芳 , Heng Zhao先生 , 于登 以下为：
嵌入式并行多处理系统的设计与性能分析。 210-215 熊志辉 , 李思坤 , 陈继华 , 张茂军 以下为：
使用两种元启发式的动态组合来进行双向分区。 216至221
嵌入式计算中间件
陈天洲 , 伊莲 , 黄江伟 以下为：
嵌入式数据库中可预测硬实时事务处理的一种新方法。 222-228 袁廖 , 李明淑 以下为：
一种支持QoS的基于组件的普适计算中间件。 229-235 陈文智 , 周江 , 吴朝晖 以下为：
AnyCom:普适计算的组件框架优化。 236-242 Ho-Sook Kim先生 , 黄圣勇 以下为：
移动环境中基于关联的预取算法。 243-250个 李贤昌 以下为：
实时嵌入式系统中的集成策略。 251-257 华扬贞 , Young-Jae Song先生 以下为：
中间件系统中基于Prism-WM的连接器交互。 258-265 吴朝晖 , 青武 , 孙杰（音译） , 高志刚 , 吴斌（Bin Wu） , 赵明德 以下为：
ScudWare：用于智能车辆空间的上下文软件和轻量级中间件。 266-273
移动系统
岳高 , Bin Zhang（张斌） , 西昌钟 , 刘营区 以下为：
协同嵌入式技术在网络计算机媒体播放器中的应用。 274-279 李云（Yun Li） , 雷洛（Lei Luo） 以下为：
基于移动终端资源可用性的QoS自适应算法。 280-286 程进 , 加君布 , 陈淳（Chun Chen） , 宋明丽 , 你明宇 以下为：
使用实时无线技术的半视频会议系统。 287-293 华成科 , 张海翔 , 陈淳（Chun Chen） 以下为：
便携式设备上在线游戏的智能客户端技术。 294-299年 顾银堂 , 西昌钟 以下为：
Hopen系统中移动IP的实现。 300-305
传感器网络
张喜煌 , 徐文波 以下为：
嵌入式Web服务器中设计的一种新的CGI排队模型。 306-311 周康渠 , 文革余 以下为：
一种基于蓝牙散射网和PMCN的新型嵌入式无线微传感器网络。 312-317 李霞 , 席晨 , 关晓红 以下为：
无线传感器网络中一种新的基于梯度的路由协议。 318-325 罗晓华 , 郑库根 , 潘云和 , 吴朝晖 以下为：
一种基于TDMA的传感器媒体访问控制协议。 326-332 王永才 , 韩殿飞 , 赵千川 , 关晓红 , 郑大中 以下为：
无线传感器网络中目标跟踪的簇划分和传感器配置。 333-338 殷红霞 , 王志 , 孙有仙 以下为：
增强的WFQ算法( m、 k个 )-公司担保。 339-346 马赫迪·贾利利·哈拉约 , 穆罕默德·萨德里 , Farzad Habibipour Roudsari公司 以下为：
区分服务网络中的模糊实时队列管理。 347-354 黎志刚博士 , 周兴社 , 李世宁 , 刘刚（Gang Liu） , 杜克军 以下为：
无线传感器网络管理问题。 355-361 贾志平 , 辛莉（Xin Li） 以下为：
基于OPC的嵌入式Web服务器体系结构。 362-367 邱燕飞 , 李方敏 , 李公学 以下为：
实时嵌入式光纤传感器网络中的同步数据采集。 368-373 张彦军（Yanjun Zhang） , 滕晓云 , 余洪一 , 胡汉英 以下为：
集群无线传感器网络体系结构的能量成本模型。 374-380 李大英 , 桑和云裴 以下为：
基于BP的VCN千兆以太网流量控制方案。 381-387
嵌入式操作系统
克里斯托·安吉洛夫 , 杰斯珀停泊 以下为：
硬实时系统的无抖动内核。 388-394 吴刚 , 志强汤 , 石梁图 以下为：
一种新的嵌入式系统死锁避免方法。 395-399 任雪萍 , 建万 , 胡光环 以下为：
一种新的异构系统任务调度方法。 400-405 Bo Ma公司 , 张毅（音） , 兴国石 以下为：
基于组件的元服务在普适计算液态操作系统中的应用。 406-411 李海燕 , 李新明 以下为：
嵌入式操作系统设计：解决的智能守护进程方法。 412-417 Yingxi余 , 朱明元 , 陈硕英 以下为：
设备驱动程序开发的新方法-Devil+语言。 418-422 腾启明（Qiming Teng） , 陈向群 , 夏照 以下为：
将中断处理推广到内核组件的灵活绑定模型。 423-429 陈向群 , 夏照 , 腾启明（Qiming Teng） 以下为：
嵌入式操作系统的研究方向。 430-436 赵明德 , 吴朝晖 , 杨国庆 , 王磊（Lei Wang） , 魏晨 以下为：
SmartOSEK：汽车电子的实时操作系统。 437-442
功率感知计算
贾晨 , 王胜元（Shengyuan Wang） , 袁栋（音） , 戴桂兰 , 杨扬 以下为：
嵌入式RISC处理器基于功能的指令级软件功耗估算模型。 443-448 李敏（音） , 吴晓波 , 赵梦莲 , 李萍 , 小浪燕 以下为：
时变系统的鲁棒自适应动态功率管理。 449-455 朔康 , 王华勇 , 于晨 , 王晓歌 , 伊奇戴 以下为：
Skyeye：具有能量意识的指令模拟器。 456-461 黄江伟 , 陈天洲 , 叶敏娇 , 伊莲 以下为：
嵌入式系统动态电源管理建模。 462-467 齐武 , 熊光泽 以下为：
为什么简单的超时策略在实践中非常有效？ 468-473
实时系统
陈洪洲 , 顾国昌 , 郭一尊 以下为：
实时嵌入式系统应用的自适应容错方案。 474-480 于强县 , 张宁（Ning Zhang） , 熊光泽 以下为：
用于实时目的的标准JVM中的并发垃圾收集实现。 481-487 奥列格·基塞利约夫 , 瓦利德·塔哈 以下为：
关联FFTW和分裂基数。 488-493 邓清旭 , 吕明松 , 葛瑜 以下为：
为嵌入式实时监控系统选择调度策略。 494-501 拉维·沙阿 , 李彦恒 , 大英·金 以下为：
在强分区实时系统中共享I/O。 502-507 优慧园 , 拉梅燕 , 郭庆平 以下为：
分布式实时嵌入式系统中的高效QoS控制。 508-513
嵌入式系统验证和测试
建丰安 , 范小雅 , 张胜兵 , 王当辉 以下为：
一种基于虚拟机的微处理器有效验证方法。 514-521 宋霞浩 , 西昌钟 , 王云（Yun Wang） 以下为：
基于EFSM的嵌入式操作系统API测试策略。 第522页至第527页 沈海华 , 陈云吉（Yunji Chen） , Jing Huang（黄晶） 以下为：
EmGen：一种用于嵌入式IP核的自动测试程序生成工具。 528-535 陆燕 以下为：
通用硬件组件的形式验证。 536-541 朱铭（Ming Zhu） , 纪年边 , 吴伟民 以下为：
分类属性验证平台中的模型优化技术。 542-548 张友慧 , 王东生 , 王静蕾 , 郑伟民 以下为：
使用基于模型的测试程序生成器进行仿真验证。 549-556
嵌入式系统软件工具
吴国伟 , 林瑶 以下为：
基于指令缓存和预取组合模型的WCET估计新算法。 557-562 陈文志 , 程燮 , Jiaoying Shi公司 以下为：
一种基于组件的嵌入式软件模型集成框架。 563-569 陈章龙 , 刘伟（音译） , 石梁图 , 魏都 以下为：
将Jini的协作Web框架集成到基于OSGi的开放家庭网关中。 570-575 蔡佳美 , 陈铁铭 , 朱丽英 以下为：
一种多任务嵌入式软件设计的结构建模方法。 576-581 吴慧峰 , 景莹 , 陈娴 , 吴明辉 , 李长云 以下为：
基于混沌模型的嵌入式软件开发框架。 582-588 程燮 , 陈文志 , Jiaoying Shi公司 , 吕烨 以下为：
运行时模型的分层集成。 589-594 Boguslaw Cyganek公司 以下为：
面向对象的嵌入式和分布式系统软件加载与升级技术。 595-600 薄江 , 加君布 , 陈淳（Chun Chen） 以下为：
在分布式嵌入式协同编辑系统中保持一致性。 601至606
