𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - On composing and proving the correctness of reactive behavior

✍ Scribed by Harel, David; Kantor, Amir; Katz, Guy; Marron, Assaf; Mizrahi, Lior; Weiss, Gera

Book ID: 126721553
Publisher: IEEE
Year: 2013
Weight: 669 KB
Category: Article
ISBN: 1479914436
DOI: 10.1109/EMSOFT.2013.6658591

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2013 International Conference on E

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Diversely enumerating system-level architectures

✍ Jackson, Ethan K.; Simko, Gabor; Sztipanovits, Janos 📂 Article 📅 2013 🏛 IEEE ⚖ 608 KB

[IEEE 2013 International Conference on E

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - On the schedulability of real-time discrete-event systems

✍ Matsikoudis, Eleftherios; Stergiou, Christos; Lee, Edward A. 📂 Article 📅 2013 🏛 IEEE ⚖ 614 KB

[IEEE 2013 International Conference on E

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - WakeScope: Runtime WakeLock anomaly management scheme for Android platform

✍ Kim, Kwanghwan; Cha, Hojung 📂 Article 📅 2013 🏛 IEEE ⚖ 613 KB

[IEEE 2013 International Conference on E

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Simple analysis of partial worst-case execution paths on general control flow graphs

✍ Kleinsorge, Jan C. (author);Falk, Heiko (author);Marwedel, Peter (author) 📂 Article 📅 2013 🏛 IEEE Computer Society ⚖ 566 KB

[IEEE 2013 International Conference on E

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Simple analysis of partial worst-case execution paths on general control flow graphs

✍ Kleinsorge, Jan C. (author);Falk, Heiko (author);Marwedel, Peter (author) 📂 Article 📅 2013 🏛 IEEE Computer Society ⚖ 566 KB

[IEEE 2013 International Conference on H

[IEEE 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) - Embedded neuromorphic vision systems

✍ Irick, Kevin 📂 Article 📅 2013 🏛 IEEE ⚖ 483 KB