✦ LIBER ✦

Simulation, reduction and preservation of correctness properties of parallel systems

✍ Scribed by Henry R. Tirri

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simulation and performance evaluation of

✍ Luigi Rizzo 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 874 KB

Preservation of properties in discrete-t

✍ Guillermo Fernández-Anaya; José-Job Flores-Godoy; José Álvarez-Ramírez 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 239 KB

Revisiting parallel cyclic reduction and

✍ Sudip K. Seal; Kalyan S. Perumalla; Steven P. Hirshman 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 641 KB

Reduction of a biochemical model with pr

✍ Sune Danø; Mads F. Madsen; Henning Schmidt; Gunnar Cedersund 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 671 KB

Statistical properties of dynamical syst

✍ Stefano Galatolo; Mathieu Hoyrup; Cristóbal Rojas 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 343 KB

Effort- and flow-constraint reduction me

✍ Rostyslav V. Polyuga; Arjan J. van der Schaft 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 383 KB