𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 16th International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Stanford, CA, USA (2008.04.14-2008.04.15)] 2008 16th International Symposium on Field-Programmable Custom Computing Machines - An FPGA Implementation of Explicit-State Model Checking

✍ Scribed by Fuess, Mary Ellen; Leeser, Miriam; Leonard, Tim

Book ID: 126614305
Publisher: IEEE
Year: 2008
Weight: 246 KB
Category: Article
ISBN: 0769533078
DOI: 10.1109/FCCM.2008.36

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 16th International Symposium

[IEEE 2008 16th International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Stanford, CA, USA (2008.04.14-2008.04.15)] 2008 16th International Symposium on Field-Programmable Custom Computing Machines - Scheduling Intervals for Reconfigurable Computing

✍ Fu, Wenyin; Compton, Katherine 📂 Article 📅 2008 🏛 IEEE ⚖ 193 KB

[IEEE 2008 16th International Symposium

[IEEE 2008 16th International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Stanford, CA, USA (2008.04.14-2008.04.15)] 2008 16th International Symposium on Field-Programmable Custom Computing Machines - Map-reduce as a Programming Model for Custom Computing Machines

✍ Yeung, Jackson H.C.; Tsang, C.C.; Tsoi, K.H.; Kwan, Bill S.H.; Cheung, Chris C.C 📂 Article 📅 2008 🏛 IEEE ⚖ 383 KB

[IEEE 2008 16th International Symposium

[IEEE 2008 16th International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Stanford, CA, USA (2008.04.14-2008.04.15)] 2008 16th International Symposium on Field-Programmable Custom Computing Machines - MPLEM: An 80-processor FPGA Based Multiprocessor System

✍ Mplemenos, Georgios-Grigorios; Papaefstathiou, Ioannis 📂 Article 📅 2008 🏛 IEEE ⚖ 168 KB

[IEEE 2008 16th International Symposium

[IEEE 2008 16th International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Stanford, CA, USA (2008.04.14-2008.04.15)] 2008 16th International Symposium on Field-Programmable Custom Computing Machines - Kiwi: Synthesis of FPGA Circuits from Parallel Programs

✍ Singh, Satnam; Greaves, David J. 📂 Article 📅 2008 🏛 IEEE ⚖ 164 KB

[IEEE 2008 16th International Symposium

[IEEE 2008 16th International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Stanford, CA, USA (2008.04.14-2008.04.15)] 2008 16th International Symposium on Field-Programmable Custom Computing Machines - A Scalable High Throughput Firewall in FPGA

✍ Jedhe, Gajanan S.; Ramamoorthy, Arun; Varghese, Kuruvilla 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 410 KB

[IEEE 2008 16th International Symposium

[IEEE 2008 16th International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Stanford, CA, USA (2008.04.14-2008.04.15)] 2008 16th International Symposium on Field-Programmable Custom Computing Machines - ShareStreams-V: A Virtualized QoS Packet Scheduling Accelerator

✍ Chuang, Kangtao Kendall; Yalamanchili, Sudhakar; Gavrilovska, Ada; Schwan, Karst 📂 Article 📅 2008 🏛 IEEE ⚖ 175 KB