✦ LIBER ✦

A data-centric approach to high-level synthesis

✍ Scribed by Tarafdar, S.; Leeser, M.

Book ID: 119778701
Publisher: IEEE
Year: 2000
Tongue: English
Weight: 296 KB
Volume: 19
Category: Article
ISSN: 0278-0070
DOI: 10.1109/43.892850

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

FIDIAS: an integral approach to high-lev

FIDIAS: an integral approach to high-level synthesis

✍ Septien, J.; Mozos, D.; Tirado, J.F.; Hermida, R.; Fernandez, M.; Mecha, H. 📂 Article 📅 1995 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 912 KB

A data-centric approach to understanding

A data-centric approach to understanding the pricing of financial options

✍ Healy, J.; Dixon, M.; Read, B.; Cai, F.F. 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 579 KB

A PN-based approach to the high-level sy

A PN-based approach to the high-level synthesis of digital systems

✍ Victor R.L. Shen 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 282 KB

A global approach to improve conditional

A global approach to improve conditional hardware reuse in high-level synthesis

✍ O. Peñalba; J.M. Mendı́as; R. Hermida 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 563 KB

A proof-centric approach to mathematical

A proof-centric approach to mathematical assistants

✍ Lucas Dixon; Jacques Fleuriot 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 330 KB

We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof planner. We argue that this synergy provides a f

DataScalar: A memory-centric approach to

DataScalar: A memory-centric approach to computing

✍ Stefanos Kaxiras; Doug Burger; James R. Goodman 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 607 KB