𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - Employing Multiple CUDA Devices to Accelerate LTL Model Checking

✍ Scribed by Barnat, Jiri; Bauch, Petr; Brim, Lubos; Ceska, Milan

Book ID: 115485672
Publisher: IEEE
Year: 2010
Weight: 226 KB
Volume: 0
Category: Article
ISBN: 1424497272
DOI: 10.1109/icpads.2010.82

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2010 IEEE 16th International Confe

[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - Towards a Common Interface for Overlay Network Simulators

✍ Gross, Christian; Lehn, Max; Stingl, Dominik; Kovacevic, Aleksandra; Buchmann, A 📂 Article 📅 2010 🏛 IEEE ⚖ 227 KB

[IEEE 2010 IEEE 16th International Confe

[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - A Pervasive Simplified Method for Human Movement Pattern Assessing

✍ Huang, Mianbo; Zhao, Guoru; Wang, Lei; Yang, Feng 📂 Article 📅 2010 🏛 IEEE ⚖ 347 KB

[IEEE 2010 IEEE 16th International Confe

[IEEE 2010 IEEE 16th International Conference on Parallel and Distributed Systems (ICPADS) - Shanghai, China (2010.12.8-2010.12.10)] 2010 IEEE 16th International Conference on Parallel and Distributed Systems - Cloud Storage Design Based on Hybrid of Replication and Data Partitioning

✍ Ye, Yunqi; Xiao, Liangliang; Yen, I-Ling; Bastani, Farokh 📂 Article 📅 2010 🏛 IEEE ⚖ 240 KB

[IEEE 2008 14th IEEE International Confe

[IEEE 2008 14th IEEE International Conference on Parallel and Distributed Systems (ICPADS) - Melbourne, Australia (2008.12.8-2008.12.10)] 2008 14th IEEE International Conference on Parallel and Distributed Systems - Bootstrapping in Peer-to-Peer Systems

✍ Knoll, Mirko; Wacker, Arno; Schiele, Gregor; Weis, Torben 📂 Article 📅 2008 🏛 IEEE ⚖ 529 KB

[IEEE 2011 IEEE 17th International Confe

[IEEE 2011 IEEE 17th International Conference on Parallel and Distributed Systems (ICPADS) - Tainan, Taiwan (2011.12.7-2011.12.9)] 2011 IEEE 17th International Conference on Parallel and Distributed Systems - CU2CL: A CUDA-to-OpenCL Translator for Multi- and Many-Core Architectures

✍ Martinez, Gabriel; Gardner, Mark; Feng, Wu-chun 📂 Article 📅 2011 🏛 IEEE ⚖ 584 KB

[IEEE 2010 IEEE 7th International Confer

[IEEE 2010 IEEE 7th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS) - San Francisco, CA, USA (2010.11.8-2010.11.12)] The 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems (IEEE MASS 2010) - A QoS-oriented distributed routing protocol for hybrid networks

✍ Li, Ze; Shen, Haiying 📂 Article 📅 2010 🏛 IEEE ⚖ 380 KB