𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Model Checking on Hybrid Automata

✍ Scribed by Casagrande, Alberto; Piazza, Carla

Book ID: 120336733
Publisher: IEEE
Year: 2012
Weight: 349 KB
Category: Article
ISBN: 1467324981
DOI: 10.1109/DSD.2012.87

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 15th Euromicro Conference on

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Pipelined Large Multiplier Designs on FPGAs

✍ Senturk, Ali; Gok, Mustafa 📂 Article 📅 2012 🏛 IEEE ⚖ 337 KB

[IEEE 2012 15th Euromicro Conference on

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Trojan Immune Circuits Using Duality

✍ Alkabani, Yousra 📂 Article 📅 2012 🏛 IEEE ⚖ 381 KB

[IEEE 2012 15th Euromicro Conference on

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - Cyber-Physical Systems Design for Electric Vehicles

✍ Lukasiewycz, Martin; Steinhorst, Sebastian; Sagstetter, Florian; Chang, Wanli; W 📂 Article 📅 2012 🏛 IEEE ⚖ 728 KB

[IEEE 2012 15th Euromicro Conference on

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - SUT-RNS Residue-to-Binary Converters Design

✍ Evangelos, Vassalos; Dimitris, Bakalis; Vergos, Haridimos T. 📂 Article 📅 2012 🏛 IEEE ⚖ 425 KB

[IEEE 2012 15th Euromicro Conference on

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - FPGA-based Design Approaches of Keccak Hash Function

✍ Provelengios, George; Kitsos, Paris; Sklavos, Nicolas; Koulamas, Christos 📂 Article 📅 2012 🏛 IEEE ⚖ 291 KB

[IEEE 2012 15th Euromicro Conference on

[IEEE 2012 15th Euromicro Conference on Digital System Design (DSD) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 15th Euromicro Conference on Digital System Design - MAMOT: Memory-Aware Mapping Optimization Tool for MPSoC

✍ Jovanovic, Olivera; Marwedel, Peter; Bacivarov, Iuliana; Thiele, Lothar 📂 Article 📅 2012 🏛 IEEE ⚖ 782 KB