𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix

✍ Scribed by Kong, Weiqiang; Katahira, Noriyuki; Qian, Wanpeng; Watanabe, Masahiko; Katayama, Tetsuro; Fukuda, Akira

Book ID: 120819212
Publisher: IEEE
Year: 2011
Weight: 422 KB
Category: Article
ISBN: 1457701421
DOI: 10.1109/ICCSA.2011.30

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2011 International Conference on C

[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - Powder Compaction in the Axisymmetric Case

✍ Buzyurkin, Andrey E.; Kraus, Evgeny I. 📂 Article 📅 2011 🏛 IEEE ⚖ 460 KB

[IEEE 2011 International Conference on C

[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - SLA Based Scheduler for Cloud for Storage & Computational Services

✍ Ahuja, Ravin; De, Asok; Gabrani, Goldie 📂 Article 📅 2011 🏛 IEEE ⚖ 528 KB

[IEEE 2011 International Conference on C

[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - PCA Based Geometric Modeling for Automatic Face Detection

✍ Paul, Padma Polash; Gavrilova, Marina 📂 Article 📅 2011 🏛 IEEE ⚖ 464 KB

[IEEE 2011 International Conference on C

[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - GPU Computing in EGI Environment Using a Cloud Approach

✍ Vella, Flavio; Cefal´, Riccardo M.; Costantini, Alessandro; Gervasi, Osvaldo; Ta 📂 Article 📅 2011 🏛 IEEE ⚖ 457 KB

[IEEE 2011 International Conference on C

[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - Approximation of a Digital Signal Using Estimate Wavelet Transform

✍ Yajnik, Archit 📂 Article 📅 2011 🏛 IEEE ⚖ 325 KB

[IEEE 2011 International Conference on C

[IEEE 2011 International Conference on Computational Science and Its Applications (ICCSA) - Santander, Spain (2011.06.20-2011.06.23)] 2011 International Conference on Computational Science and Its Applications - Development of Smart Devices for Secure Communication in the SCADA System

✍ Hong, Sugwon; Phuong, Tran Nhat; Lee, Myongho 📂 Article 📅 2011 🏛 IEEE ⚖ 343 KB