𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Kaohsiung, Taiwan (2008.08.25-2008.08.27)] 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Verification of COMDES-II Systems Using UPPAAL with Model Transformation

✍ Scribed by Ke, Xu; Pettersson, Paul; Sierszecki, Krzysztof; Angelov, Christo

Book ID: 118031998
Publisher: IEEE
Year: 2008
Tongue: English
Weight: 314 KB
Volume: 0
Category: Article
ISBN: 0769533493
DOI: 10.1109/rtcsa.2008.32

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 12th IEEE International Conference

[IEEE 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06) - Sydney, Australia ()] 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06) - Application-Driven Low-Power Techniques Using Dynamic Voltage Scaling

✍ Taewhan Kim, 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 185 KB

[IEEE 13th IEEE International Conference

[IEEE 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007) - Daegu, Korea (2007.08.21-2007.08.24)] 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007) - Critical-Path based Low-Energy Scheduling Algorithms for Body Area Network Systems

✍ Liu, Yanhong; Veeravalli, Bharadwaj; Viswanathan, Sivakumar 📂 Article 📅 2007 🏛 IEEE ⚖ 239 KB

[IEEE 2011 IEEE 17th International Confe

[IEEE 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Toyama, Japan (2011.08.28-2011.08.31)] 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications - Real-Time Intrusion Detection and Tracking in Indoor Environment through Distributed RSSI Processing

✍ Kaltiokallio, Ossi; Bocca, Maurizio 📂 Article 📅 2011 🏛 IEEE ⚖ 931 KB

[IEEE 2012 IEEE 18th International Confe

[IEEE 2012 IEEE 18th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2012) - Seoul, Korea (South) (2012.08.19-2012.08.22)] 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Optimizing Data Allocation for Loops on Embedded Systems with Scratch-Pad Memory

✍ Zhang, Jun; Deng, Tan; Gao, Qiuyan; Zhuge, Qingfeng; Sha, Edwin H.-M. 📂 Article 📅 2012 🏛 IEEE ⚖ 277 KB

[IEEE 2010 IEEE 16th International Confe

[IEEE 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Macau, China (2010.08.23-2010.08.25)] 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications - Optimizing the Processing Performance of a Smart DMA Controller for LTE Terminals

✍ Szczesny, David; Hessel, Sebastian; Traboulsi, Shadi; Bilgic, Attila 📂 Article 📅 2010 🏛 IEEE ⚖ 614 KB

[IEEE 11th IEEE International Conference

[IEEE 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Hong Kong, China (17-19 Aug. 2005)] 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05) - Run-Time Power Consumption Modeling for Embedded Multimedia Systems

✍ Yu Hu, ; Qing Li, ; Kuo, C.-C.J. 📂 Article 📅 2005 🏛 IEEE ⚖ 168 KB