✦ LIBER ✦

Logic verification algorithms and their parallel implementation

✍ Scribed by Ma, H.-K.T.; Devadas, S.; Ruey-Sing Wei; Sangiovanni-Vincentelli, A.

Book ID: 119777661
Publisher: IEEE
Year: 1989
Tongue: English
Weight: 893 KB
Volume: 8
Category: Article
ISSN: 0278-0070
DOI: 10.1109/43.21836

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Asynchronous nested optimization algorit

Asynchronous nested optimization algorithms and their parallel implementation

✍ Hans W. Moritsch; G. Ch. Pflug; M. Siomak 📂 Article 📅 2001 🏛 Wuhan University 🌐 English ⚖ 680 KB

Parallel median filtering algorithms and

Parallel median filtering algorithms and their real-time implementation

✍ R. M. Palenichka 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 572 KB

Parallel unidirectional division algorit

Parallel unidirectional division algorithms and implementations parallel unidirectional division algorithms and implementations

✍ Lo, Hao‐Yung; Chang, Tsin‐Yuan; Lee, Ming‐Che 📂 Article 📅 2001 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 482 KB

Fast parallel algorithms for binary mult

Fast parallel algorithms for binary multiplication and their implementation on systolic architectures

✍ Sinha, B.P.; Srimani, P.K. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 597 KB

Parallel merging: algorithm and implemen

Parallel merging: algorithm and implementation results

✍ Peter J Varman; Balakrishna R Iyer; Donald J Haderle; Stephen M Dunn 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 757 KB

Integral evaluation algorithms and their

Integral evaluation algorithms and their implementation

✍ Dermot Hegarty; G. Van Der Velde 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 882 KB

## Abstract Three different algorithms for the calculation of many center electron‐repulsion integrals are discussed, all of which are considered to be economic in terms of the number of arithmetic operations. The common features of the algorithms are as follows: Cartesian Gaussian functions are us