✦ LIBER ✦

Using Lava to design and verify recursive and periodic sorters

✍ Scribed by Koen Claessen; Mary Sheeran; Satnam Singh

Book ID: 106245333
Publisher: Springer
Year: 2003
Tongue: English
Weight: 617 KB
Volume: 4
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-002-0089-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using term rewriting systems to design a

Using term rewriting systems to design and verify processors

✍ Arvind; Shen, X. 📂 Article 📅 1999 🏛 IEEE 🌐 English ⚖ 121 KB

Using Interrupted Time Series Design to

Using Interrupted Time Series Design to Analyze Changes in Hand, Foot, and Mouth Disease Incidence during the Declining Incidence Periods of 2008-2010 in China

✍ Shi Cheng YU; Yuan Tao HAO; Jing ZHANG; Ge Xin XIAO; Zhuang LIU; Qi ZHU; Jia Qi 📂 Article 📅 2012 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 368 KB

Incremental design in rock mechanics. Te

Incremental design in rock mechanics. Textbook. -Data collected over a long period is used to help those facing problems of ground control and rock breakage in mining and other operations : Mines Branch, CDN Figs, Tabls. Mines Br. Dept. En. Mines, Resources, Ottawa, 1973

📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 103 KB