✦ LIBER ✦

A Logic for Modular Descriptions of Asynchronous and Synchronized Concurrent Systems

✍ Scribed by Roberto Bruni

Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 571 KB
Volume: 15
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80760-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Synchronization of voice data on asynchr

Synchronization of voice data on asynchronous networks and its implementation for a VSAT channel gateway

✍ Shinji Tsuzuki; Yoshio Yamada; Saburo Tazaki; Susumu Yoshida 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 258 KB 👁 1 views

The variation of packet-arrival intervals is one of the problems to be solved in realizing real-time voice communications on asynchronous networks such as the Internet. Although the variation can be absorbed by a receiving buffer, the end-to-end delay increases in proportion to the amount of buffere

A multi-wavelength optical source for sy

A multi-wavelength optical source for synchronous and asynchronous data transfer at a minimum of 16×10 Gbps

✍ D.D. Shah; Nimish Dixit; R. Vijaya 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 159 KB

Numerical calculations have been carried out to study the characteristics of a multi-channel optical source capable of delivering (i) picosecond pulses with 10 GHz repetition rate at 16 different wavelengths and (ii) at least 16 channel multi-wavelength single mode CW output with precise 40 GHz chan

Parallel asynchronous algorithms for opt

Parallel asynchronous algorithms for optimal control of large-scale dynamic systems

✍ S. S. Abdelwahed; M. F. Hassan; M. A. Sultan 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 153 KB 👁 2 views

This paper presents two parallel asynchronous algorithms for the solution of the optimal control problem of linear large-scale dynamic systems. These algorithms are based on the prediction concept. The first one adopts the interaction prediction approach and the second is based upon the costate pred

Description and applications of a comput

Description and applications of a computer program for control systems design

✍ D. Grant Fisher; Robert G. Wilson; Walter Agostinis 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 1004 KB

Description et Applications d'un Programme D'ordinateur pour la Conception de Syst~mes de Contr61e Beschreibung und Anwendung eines Rechnerprogrammes f'tir den Entwurf von Regelungen Onncanne n npnMeseaHe nporpaMMbI BbIqnC~rrre~r~nofi MaltIJ4HbI ]I Jig pa3parorrn CHCTeM ynpaa~ieriaa D. GRANT FISHER,

A new system for concurrent measurement

A new system for concurrent measurement of respiration and water loss in arthropods

✍ Quinlan, Michael C. ;Hadley, Neil F. 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 543 KB

A new, flow-through system for the concurrent measurement of water loss and CO, production from arthropods is described. The system employs an Alz03 sensor to measure the moisture content of the air stream, and an infrared gas analyzer to determine the COz content. The system responds rapidly, is ac

A general theory of confluent rewriting

A general theory of confluent rewriting systems for logic programming and its applications

✍ Jürgen Dix; Mauricio Osorio; Claudia Zepeda 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 236 KB

Recently, Brass and Dix showed (J. Automat. Reason. 20(1) (1998) 143-165) that the well founded semantics WFS can be deÿned as a con uent calculus of transformation rules. This led not only to a simple extension to disjunctive programs (J. Logic Programming 38(3) (1999) 167-213), but also to a new c