✦ LIBER ✦

A system for verification of interactive microprogram transformations

✍ Scribed by R Rauscher; J Westendorf

Publisher: Elsevier Science
Year: 1988
Weight: 299 KB
Volume: 23
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(88)90326-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Behaviour display system for a microprog

Behaviour display system for a microprogrammed processor

✍ S Monchaud; J.F Pedenon; B Lemaire 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 738 KB

A microprogrammed bit-slice arithmetics

A microprogrammed bit-slice arithmetics processor for fast transformation of graphical items

✍ A. Leich; H. Leich; V. Prikhodko; M. Rudalics 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 470 KB

Towards the verification of optimizing t

Towards the verification of optimizing transformations for imperative programs

✍ Gerd Kock 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 657 KB

Asymmetric-image verification for securi

Asymmetric-image verification for security optical systems based on joint transform correlator architecture

✍ Hsuan T. Chang; Ching T. Chen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 884 KB

In this paper, an optical asymmetric-image verification system based on the joint transform correlator architecture is proposed. An additional phase mask is attached to the spatial light modulator that displays the joint power spectrum as the amplitude information, to improve the system security and

Architecture of a virtual graphic databa

Architecture of a virtual graphic database system for interactive CAD

✍ Tosiyasu L. Kunii; Hideko S. Kunii 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 327 KB

Microprogram realization of a syntactic

Microprogram realization of a syntactic monitor for a FORTRAN compiler for a minicomputer

✍ N. S. Polonskaya 📂 Article 📅 1978 🏛 Springer US 🌐 English ⚖ 426 KB