✦ LIBER ✦

Type theory and projections for static analysis

✍ Scribed by Baker-Finch, Clement A.

Publisher: Springer
Year: 1995
Tongue: English
Weight: 926 KB
Volume: 8
Category: Article
ISSN: 0892-4635
DOI: 10.1007/bf01019007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type inference and strong static type ch

Type inference and strong static type checking for Promela

✍ Alastair F. Donaldson; Simon J. Gay 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 750 KB

The Spin model checker and its specification language Promela have been used extensively in industry and academia to check the logical properties of distributed algorithms and protocols. Model checking with Spin involves reasoning about a system via an abstract Promela specification, thus the techni

Static Theory for Planar Ferromagnets an

Static Theory for Planar Ferromagnets and Antiferromagnets

✍ Feng Bo Hang*; Fang Hua Lin** 📂 Article 📅 2001 🏛 Institute of Mathematics, Chinese Academy of Scien 🌐 English ⚖ 486 KB

Performance analysis of fast projections

Performance analysis of fast projections of the Hung-Turner type for adaptive beamforming

✍ Christoph H. Gierull 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 654 KB

Stability analysis of static recurrent n

Stability analysis of static recurrent neural networks using delay-partitioning and projection

✍ Baozhu Du; James Lam 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 933 KB

An efficient coupled layerwise theory fo

An efficient coupled layerwise theory for static analysis of piezoelectric sandwich beams

✍ S. Kapuria; P. C. Dumir; A. Ahmed 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 376 KB

Critical path analysis and resource cons

Critical path analysis and resource constrained project scheduling — Theory and practice

✍ R.J. Willis 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 883 KB