✦ LIBER ✦

Verification oriented approach to concurrent microprogramming with the language C-MIDDLE

✍ Scribed by Marek Gondzio

Book ID: 104178757
Publisher: Elsevier Science
Year: 1989
Weight: 793 KB
Volume: 27
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(89)90119-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A new approach to the verification of ch

A new approach to the verification of chinese signatures with variant orientations and scales using relaxation and state-space search methods

✍ Chi-Fang Lin; Chi-Wen Chen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 438 KB

A signature verification system usually consists of a learning stage and a testing stage. Always an assumption is made by most previous studies that the variations in orientation and scale of the signatures done by the signer in the two stages should be minimized, otherwise, errors might occur. In t

In Vivo Injection of [1-13C]Glucose and

In Vivo Injection of [1-13C]Glucose and [1,2-13C]Acetate Combined With Ex Vivo 13C Nuclear Magnetic Resonance Spectroscopy: A Novel Approach to the Study of Middle Cerebral Artery Occlusion in the Rat

✍ H??berg, Asta; Qu, Hong; Haraldseth, Olav; Unsg??rd, Geirmund; Sonnewald, Ursula 📂 Article 📅 1998 🏛 Nature Publishing Group 🌐 English ⚖ 564 KB