𝔖 Bobbio Scriptorium

✦ LIBER ✦

Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

✍ Scribed by Yung-Chen Hung; Gen-Huey Chen

Book ID: 112210687
Publisher: John Wiley and Sons
Year: 1993
Tongue: English
Weight: 792 KB
Volume: 23
Category: Article
ISSN: 0038-0644
DOI: 10.1002/spe.4380230904

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deadlock detection in communicating fini

Deadlock detection in communicating finite state machines by even reachability analysis

✍ Wuxu Peng 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 448 KB

A new iterative technique of the finite

A new iterative technique of the finite element method for the analysis of the steady state incompressible viscous flow based on the transformation of variables

✍ Hiroshi Okuda; Laszlo Fuchs; Genki Yagawa 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 913 KB

Communication Systems and Techniques Vol

Communication Systems and Techniques Volume 747 || Appendix A. The Q Function and Related IntegralsThis Appendix is largely adapted from S. Stein, The QFunction and Related Integrals, Research Report 467, Applied Research Laboratory, Sylvania Electronic Systems, July, 1965.The Q function was introduced in: J. I. Marcum, A Statistical Theory of Target Detection by Pulsed Radar, IRE Trans. Inform. Theory, vol. IT6, pp. 59267, April, 1960; earlier Rand Corp. Res. Memos RM753, July, 1948 and RM754, December, 1947; J. I. Marcum, Tables of the Qfunction, Rand Corp. Res. Memo RM399, January, 1950.Examples of literature on machine computation of the Q function are: A. R. DiDonato and M. P. Jarnagin, A Method for Computing the Circular Coverage Function, Mathematics of Computation, vol. 16, pp. 347355, July, 1962; D. E. Johansen, New Techniques for Machine Computation of the Qfunctions, Truncated Normal Deviates, and Matrix Eigenvalues, Applied Research Laboratory, Sylvania Electronic Systems, AFCRL556, July, 1961.

✍ Schwartz, Mischa; Bennett, William R.; Stein, Seymour 📂 Article 📅 2009 🏛 IEEE ⚖ 455 KB