𝔖 Bobbio Scriptorium

✦ LIBER ✦

A formal specification and verification framework for Time Warp-based parallel simulation

✍ Scribed by Frey, P.; Radhakrishnan, R.; Carter, H.W.; Wilsey, P.A.; Alexander, P.

Book ID: 117872501
Publisher: IEEE
Year: 2002
Tongue: English
Weight: 513 KB
Volume: 28
Category: Article
ISSN: 0098-5589
DOI: 10.1109/32.979989

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

HPABM: A Hierarchical Parallel Simulatio

HPABM: A Hierarchical Parallel Simulation Framework for Spatially-explicit Agent-based Models

✍ Wenwu Tang; Shaowen Wang 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 734 KB

[Lecture Notes in Computer Science] Fiel

[Lecture Notes in Computer Science] Field-Programmable Gate Arrays: Architecture and Tools for Rapid Prototyping Volume 705 || A highly parallel FPGA-based machine and its formal verification

✍ Grünbacher, Herbert; Hartenstein, Reiner W. 📂 Article 📅 1993 🏛 Springer Berlin Heidelberg ⚖ 587 KB

[IEEE 2006 Conference on Computer Vision

[IEEE 2006 Conference on Computer Vision and Pattern Recognition Workshop (CVPRW'06) - New York, NY, USA (17-22 June 2006)] 2006 Conference on Computer Vision and Pattern Recognition Workshop (CVPRW'06) - An FPGA-Based Verification Framework for Real-Time Vision Systems

✍ van der Wal, G.; Brehm, F.; Piacentino, M.; Marakowitz, J.; Gudis, E.; Sufi, A.; 📂 Article 📅 2006 🏛 IEEE ⚖ 563 KB

[IEEE Conference on Electrical Insulatio

[IEEE Conference on Electrical Insulation and Dielectric Phenomena - CEIDP '96 - Millbrae, CA, USA (20-23 Oct. 1996)] Proceedings of Conference on Electrical Insulation and Dielectric Phenomena - CEIDP '96 - A time based model for the dielectric ageing of Fibre Reinforced Polymers (FRP) and its verification in a numerical simulation

✍ Schrijver, C.; Herden, A.; Karner, H. 📂 Article 📅 1996 🏛 IEEE ⚖ 486 KB