✦ LIBER ✦

an approach to formal specification and analysis for time performance of the concurrent real time system (RTEXS)

✍ Scribed by Yulin Yao

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 473 KB
Volume: 12
Category: Article
ISSN: 0166-3615
DOI: 10.1016/0166-3615(89)90015-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated support for the formal specifi

Automated support for the formal specification and design of real-time systems

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

Studies on the method of combining an an

Studies on the method of combining an analog simulator and a real-time digital simulator for power system analysis

✍ Yukao Tanaka; Hidetoshi Nishigaito; Hiroo Konishi; Masashi Nishimura 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 280 KB 👁 1 views

Genetic Algorithm and PID Control Togeth

Genetic Algorithm and PID Control Together for Dynamic Anticipative Marginal Buffer Management: An Effective Approach to Enhance Dependability and Performance for Distributed Mobile Object-Based Real-Time Computing over the Internet

✍ Allan K.Y Wong; Wilfred W.K Lin; May T.W Ip; Tharam S Dillon 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 801 KB

A novel model that combines genetic algorithm (GA) and proportional + integral + derivative (PID) control for adaptive marginal buffer management is proposed here. The goal is to prevent buffer overflow at the receiver side so that message retransmissions that lead to poor system reliability and per

EXACT: an expert system for real time X-

EXACT: an expert system for real time X-ray image analysis and classification of weldings : Montini, G.; Bordini, M.G.; Boschetti, F.; Ripamonti, S. Non-Destructive Testing 92. Proceedings of the 13th World Conference on Non-Destructive Testing, Sao Paulo (Brazil), 18–23 Oct. 1992, Vol. 1, pp. 646–650. Edited by C. Hallai and P. Kulcsar. Elsevier (1992)

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 165 KB

This paper presents a three-dimension radiograph detector for inspecting the location of weld defects and their sizes, including spilly place, aircavity, slag inclusion, uncomplete weld of edge joint. Confirmed by the actual dissection of weld, the testing results show that the absolute error is les