Abstract is missing.
- Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate ModelMouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond. 3-10 [doi]
- Efficient Model-Checking for Real-Time Task NetworksHenning Dierks, Alexander Metzner, Ingo Stierand. 11-18 [doi]
- A Formal Model for Component-Based Embedded Software DevelopmentChangde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu. 19-23 [doi]
- RAM-Based Reconfigurable Implementation of the MD6 Hash FunctionXianwei Gao, Jianxin Wang, Haiwen Ou, Xiuying Li. 27-31 [doi]
- A Parallel Reconfigurable Architecture for Real-Time Stereo VisionLei Chen, Yunde Jia. 32-39 [doi]
- Automatic Code Generation for Synchronous Reactive CommunicationGuoqiang Wang, Marco Di Natale, Pieter J. Mosterman, Alberto L. Sangiovanni-Vincentelli. 40-47 [doi]
- A Scheduling Algorithm for Hybrid Distributed Real-Time SystemsKe Liang, Xingshe Zhou, Ruiqing Sheng, Kailong Zhang. 51-56 [doi]
- Earliest Deadline Scheduling for Continuous Queries over Data StreamsXin Li, Zhiping Jia, Li Ma, Ruihua Zhang, Haiyang Wang. 57-64 [doi]
- A Survey of WCET Analysis of Real-Time Operating SystemsMingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang. 65-72 [doi]
- A Case Study on Controller Synthesis for Data-Intensive Embedded SystemsAbdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten. 75-82 [doi]
- Abstract Simulation: A Static Analysis of Simulink ModelsAlexandre Chapoutot, Matthieu Martel. 83-92 [doi]
- Deterministic Data Flow Communication in AADLMohamed Yassin Chkouri, Marius Bozga. 93-100 [doi]
- A Global Replacement Based on Actual Set AssociationPeixiang Yan, Xianju Yang, Minxuan Zhang. 103-108 [doi]
- Statistical Estimation for Total Communication Load in Application-Specific Network-on-ChipNaifeng Jing, Zhigang Mao, Yongxin Zhu. 109-114 [doi]
- In Pursuit of Real AnswersAngela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek. 115-122 [doi]
- An Embedded High Performance Ultrasonic Signal Processing SubsystemHui Li, Dong C. Liu. 125-130 [doi]
- OSEK/VDX-Based Dynamic Network Management on Automotive NetworkChengjiong Wei, Min Yao, Pan Lu, Qi Hu, Nenggan Zheng. 131-137 [doi]
- An Approach to Optimize Intra-ECU Communication Based on Mapping of AUTOSAR Runnable EntitiesRongshen Long, Hong Li, Wei Peng, Yi Zhang, Minde Zhao. 138-143 [doi]
- Think: View-Based Support of Non-functional Properties in Embedded SystemsMatthieu Anne, Ruan He, Tahar Jarboui, Marc Lacoste, Olivier Lobry, Guirec Lorant, Maxime Louvel, Juan F. Navas , Vincent Olive, Juraj Polakovic, Marc Poulhiès, Jacques Pulou, Stéphane Seyvoz, Julien Tous, Thomas Watteyne. 147-156 [doi]
- Component-Based Design of Software for Embedded Control Systems: The Medical Ventilator Case StudyFeng Zhou, Wei Guan, Krzysztof Sierszecki, Christo Angelov. 157-163 [doi]
- SmartSAR: A Component-Based Hierarchy Software Platform for Automotive ElectronicsHong Li, Pan Lu, Min Yao, Nan Li. 164-170 [doi]
- The Hardware Thread Interface Design and Adaptation on Dynamically Reconfigurable SoCYing Wang, Weinan Chen, Xiao-Wei Wang, Hong-Jun You, Chenglian Peng. 173-178 [doi]
- The Design and Implementation of Hardware Task Configuration Management Unit on Dynamically Reconfigurable SoCXiao-Wei Wang, Weinan Chen, Ying Wang, Hong-Jun You, Chenglian Peng. 179-184 [doi]
- Implementation and Optimization of DSP Suspend Resume on Dual-Core SOCMing-Wei Chang, Shau-Yin Tseng, Homn Lin, Ching-Lung Su. 185-190 [doi]
- A Mixed Timing System-Level Embedded Software Modelling and Simulation ApproachKe Yu, Neil C. Audsley. 193-200 [doi]
- A Genetic Algorithm Based Approach for Event Synchronization Analysis in Real-Time Embedded SystemsYan Chen, Yann-Hang Lee, Xiaofeng Xu, W. Eric Wong, Donghui Guo. 201-208 [doi]
- Component-Based Design in Multiprocessor Real-Time SystemsSanjoy K. Baruah, Nathan Fisher. 209-214 [doi]
- Privacy-Protection in Real-Time Video CommunicationJie Shen. 217-220 [doi]
- Mode Change Protocols for Predictable Contract-Based Resource Management in Embedded Multimedia SystemsMarisol García-Valls, Alejandro Alonso, Juan Antonio de la Puente. 221-230 [doi]
- Memory Analysis of Low Power MPEG-4 Decoder ArchitectureAndreas Dahlin, Johan Ersfolk, Haitham Habli, Johan Lilius. 231-237 [doi]
- Uncertainty Problem in Dynamic Slicing of Concurrent ProgramsJingde Cheng. 241-248 [doi]
- A Bidirectional Generation Method of SmartC Models and CodesLiping Zhang, Minde Zhao, Chao Wang, Ruyi Wu, Hong Li, Dongdong Wang, Renfa Li. 249-255 [doi]
- A Lightweight Dynamic Performance Monitoring Framework for Embedded SystemsYao Guo, Ziwen Chen, Xiangqun Chen. 256-262 [doi]
- Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS SystemsTetsuo Yokoyama, Gang Zeng, Hiroyuki Tomiyama, Hiroaki Takada. 265-272 [doi]
- On-Line and Off-Line DVS for Fixed Priority with Preemption Threshold SchedulingLiu Yang, Man Lin. 273-280 [doi]
- Energy Consumption Optimization of Real-Time Embedded SystemsXuefeng Piao, Heeheon Kim, Yookun Cho, Moonju Park, Sangchul Han, Minkyu Park, Seongje Cho. 281-287 [doi]
- Analysis and Evaluation of the Scheduling Algorithms in Virtual EnvironmentXindong You, Xianghua Xu, Jian Wan, Congfeng Jiang. 291-296 [doi]
- Ontology-Based Smart Home Solution and Service CompositionJingjing Xu, Yann-Hang Lee, Wei-Tek Tsai, Wu Li, Young-Sung Son, Jun-Hee Park, Kyung-Duk Moon. 297-304 [doi]
- Performance Analysis of p-Persistent Aloha for Multi-hop Underwater Acoustic Sensor NetworksYang Xiao, Yanping Zhang, John H. Gibson, Geoffrey G. Xie. 305-311 [doi]
- Checkpoint Interval and System's Overall Quality for Message Logging-Based Rollback and Recovery in Distributed and Embedded ComputingNianen Chen, Yue Yu, Shangping Ren. 315-322 [doi]
- The Web of Things: Interconnecting Devices with High Usability and PerformanceSimon Duquennoy, Gilles Grimaud, Jean-Jacques Vandewalle. 323-330 [doi]
- A Semantic Context Management Framework on Mobile DeviceDexter H. Hu, Fan Dong, Cho-Li Wang. 331-338 [doi]
- Drowning Detection Based on Background SubtractionLei Fei, Wang Xueli, Dongsheng Chen. 341-343 [doi]
- Hand Gesture Recognition Based on MEB-SVMYu Ren, Fengming Zhang. 344-349 [doi]
- Speedup the Multi-camera Video-Surveillance System for Elder Falling DetectionWann-Yun Shieh, Ju-Chin Huang. 350-355 [doi]
- Error Analysis of Scheduling Sleeping Nodes in Wireless Sensor NetworksMiao Peng, Yang Xiao. 359-366 [doi]
- A Channel Aware Contention Based Forwarding Scheme in Wireless Sensor NetworkXiao-Fang Zhou, Yugui Qu, Yusheng Ji. 367-371 [doi]
- The Improved Scheme of Prolong-Lifetime in Wireless Sensor NetworksRui-hua Zhang, Zhi-Ping Jia, He-you Cheng, Li Xin, Dong-xue Han. 372-378 [doi]
- An Automatic Compiler Optimizations Selection Framework for Embedded ApplicationsShih-Hao Hung, Chia-Heng Tu, Huang-Sen Lin, Chi-Meng Chen. 381-387 [doi]
- Designing an Effective Constraint Solver in Coverage Directed Test GenerationHaihua Shen, Pengyu Wang, Yunji Chen, Qi Guo, Heng Zhang. 388-395 [doi]
- Semiformal Verification of Embedded Software in Medical Devices Considering Stringent Hardware ConstraintsLucas Cordeiro, Bernd Fischer 0002, Huan Chen 0001, João Marques-Silva. 396-403 [doi]
- Tolerating Memory Latency Using a Hardware-Based Active-Pushing TechniqueLiwen Shi, Xiaoya Fan, Jie Chen, Xiaoping Huang, Hangpei Tian. 407-411 [doi]
- Research on Web Server Application on Multi-core Embedded SystemJianfeng Yang, Yinbo Xie, Tianzhou Chen. 412-416 [doi]
- Analysis of Embedded Linux Using Kernel Analysis SystemKiduk Kwon, Midori Sugaya, Tatsuo Nakajima. 417-422 [doi]
- Design and Implementation of an Embedded Quality Control SystemFutian Yao, Xiaozhu Chen, Yuntao Qian, Jiming Li. 423-428 [doi]
- A Real-Time Task Scheduling Algorithm Based on Dynamic PriorityHui Chen, Jiali Xia. 431-436 [doi]
- A Code Generation Framework for Time-Triggered Real-Time SystemsJohannes Pletzer, Josef Templ, Wolfgang Pree. 437-442 [doi]
- Software Agent Design with Real Time Scheduling for Embedded SystemsHu Jin, Liang-Yin Chen, Nian-Wei Chen, Yang Lei. 443-447 [doi]
- An Effective Reversible Debugger of Cross Platform Based on VirtualizationLiming Wang, Xiyang Liu, Ailong Song, Lin Xu, Tao Liu. 448-453 [doi]
- A Soft-Sensing Approach to On-Line Predicting Ammonia-Nitrogen Based on RBF Neural NetworksChanghui Deng, Deyan Kong, Yanhong Song, Li Zhou, Jun Gu. 454-458 [doi]
- Applications Adaptable Execution Path for Operating System Services on a Distributed Reconfigurable System on ChipSufyan Samara, Fahad Bin Tariq, Timo Kerstan, Katharina Stahl. 461-466 [doi]
- A Co-design Flow for Reconfigurable Embedded Computing System with RTOS SupportXiao-Wei Wang, Weinan Chen, Ying Wang, Chenglian Peng. 467-474 [doi]
- Model Driven High-Level Power Estimation of Embedded Operating Systems Communication ServicesSaadia Dhouib, Eric Senn, Jean-Philippe Diguet, Johann Laurent, Dominique Blouin. 475-481 [doi]
- Implementing Haptic Feedback Environments from High-Level DescriptionsAngela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell. 482-489 [doi]
- Design and Implementation of an Improved C Source-Code Level Program Energy ModelXiang Zhou, Bing Guo, Yan Shen, Qi Li. 490-495 [doi]
- Design Framework for Self-Stabilizing Real-Time Systems Based on Real-Time Objects and Prototype Implementation with AnalysisAlbert M. K. Cheng, Sushil S. Digewade. 499-504 [doi]
- An Enhanced Fault-Tolerant Routing Algorithm for Mesh Network-on-ChipArshin Rezazadeh, Mahmood Fathy, Gholamali Rahnavard. 505-510 [doi]
- Reliability Optimization of Reconfigurable FPGA Based on Second-Order Approximation Domain-PartitionMi Zhou, Lihong Shang, Yu Hu. 511-516 [doi]
- A Spanning Subtree Based Multi-channel Time Synchronization Algorithm for Sensor NetworksNuo Wei, Qiang Guo, Jia-liang Lv, Yuan-Yuan Yang. 519-523 [doi]
- An Improved Flooding Time Synchronization Protocol for Industrial Wireless NetworksNa Xu, Xiaotong Zhang, Qin Wang, Jing Liang, Guangrong Pan, Meng Zhang. 524-529 [doi]
- Complete Decentralized Mechanism Design for Online Machine SchedulingYuan Zhang, Chi-Hung Chi, Shengqing Zhang, Nan Zheng. 530-535 [doi]
- A Novel Reduction Algorithm Based on Expert KnowledgeJunpeng Yuan, Jie Su, Cheng Su. 536-540 [doi]
- An Automatic Moving Object Detection Algorithm for Video Surveillance ApplicationsXiaoshi Zheng, Yanling Zhao, Na Li, Huimin Wu. 541-543 [doi]
- Design and Implementation of a Cordless Power Supply System for Pervasive Medical DevicesZhiqiang Que, Yongxin Zhu, Tingting Mo, Bin Chen, Zhijun Li. 547-552 [doi]
- Research on LXI Trigger BusLi Zhi, FengLong Zhou, XueJuan Yao. 553-558 [doi]
- RBFNN Aided Extended Kalman Filter for MEMS AHRS/GPSLinlin Xia, Jianguo Wang, Gangui Yan. 559-564 [doi]
- Design of Real-Time and Multi-task Control System for Semi-active Suspension Based on PICOS18Yu-zhuang Zhao, Si-zhong Chen, Yang Lin. 565-571 [doi]
- On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAALXiao Wu, Heng Ling, Yunwei Dong. 572-577 [doi]
- Research of Networked Control System Based on P2P NetworkZhu Qiang, Chen Kai, Minrui Fei. 581-586 [doi]
- An Embedded Load Balancing System for High Speed OC192 NetworksJiandong Wang, Yingke Xie, Chao Zhu, Zili Zhao, Chengde Han. 587-592 [doi]
- A Statistical Analysis of Uplink Packet Latency in GPRS NetworkXiaohui Chen, Xiaowei Qin, Sheng Xu, Weidong Wang, Guo Wei. 593-597 [doi]
- A Replica Placement Algorithm in Mobile Grid EnvironmentsXiong Fu, Ruchuan Wang, Yang Wang, Song Deng. 601-606 [doi]
- Distributed Simulation of AADL Specifications in a Polychronous Model of ComputationYue Ma, Jean-Pierre Talpin, Sandeep K. Shukla, Thierry Gautier. 607-614 [doi]
- OSEK COM-Based Dynamic Priority Assignment Method on CANLvhong Zhang, Hong Li, Li Zhou, Minde Zhao, Zhigang Gao. 615-620 [doi]