✦ LIBER ✦

PROLOG as a formalism for VLSI design specification

✍ Scribed by T. Grabowiecki; A. Pawlak

Publisher: Elsevier Science
Year: 1989
Weight: 514 KB
Volume: 25
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(89)90189-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Design considerations on a VLSI Prolog i

Design considerations on a VLSI Prolog interpreter

✍ P.L Civera; G.L Piccinini; M Zamboni 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 599 KB

A design methodology for the correct spe

A design methodology for the correct specification of VLSI systems

✍ C. Bolchini; M. Bombana; P. Cavalloro; C. Costi; F. Fummi; G. Zaza 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 679 KB

Relational algebra as formalism for hard

Relational algebra as formalism for hardware design

✍ A.J.W.M. ten Berg; C. Huijs; Th. Krol 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 620 KB

X-Nets: A visual formalism for system sp

X-Nets: A visual formalism for system specification and analysis

✍ S. Antoniazzi; A. Balboni; W. Fornaciari 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 642 KB

Architecture design of a RISC-processor

Architecture design of a RISC-processor for prolog

✍ Peter Deussen; Wolfgang Rosenstiel; Klaus Erik Schaufer; Jörg Wedeck 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 596 KB

Formal catalytic specificity as a possib

Formal catalytic specificity as a possible criterion for recognizing protobiological systems

✍ John Westley 📂 Article 📅 1972 🏛 Elsevier Science ⚖ 649 KB

Differences in formal kinetic behavior between simple thiol catalysts and an enzyme catalyzing the same sulfur transfer reaction suggest a basis for examining suspected primitive biological catalysts. The simpler catalysts, while inferior in both the positive and negative aspects of catalysis, displ