๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Real-time continuous AI systems

โœ Scribed by Bennett, M.E.

Book ID
114450785
Publisher
The Institution of Electrical Engineers
Year
1987
Weight
926 KB
Volume
134
Category
Article
ISSN
0143-7054

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Top-down design of embedded real-time AI
Top-down design of embedded real-time AI systems
โœ J. Hooman ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› Elsevier Science โš– 568 KB

A formal method is proposed for the specification and verification of embedded real-time systems. We consider distributed systems in whichparallel processes communicate by sending messages along synchronous or asynchronous channels. To verify that a program satisfies a specification, a compositional

The challenges of real-time AI
The challenges of real-time AI
โœ Musliner, D.J.; Hendler, J.A.; Agrawala, A.K.; Durfee, E.H.; Strosnider, J.K.; P ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› IEEE ๐ŸŒ English โš– 1011 KB
Real-Time Systems Design and Analysis (L
Real-Time Systems Design and Analysis (Laplante/Real-Time Systems Design) || Real-Time Operating Systems
โœ Laplante, Phillip A. ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley & Sons, Inc. ๐ŸŒ English โš– 671 KB

The leading guide to real-time systems design-revised and updated This third edition of Phillip Laplante's bestselling, practical guide to building real-time systems maintains its predecessors' unique holistic, systems-based approach devised to help engineers write problem-solving software. Dr. Lap

Real-time systems
Real-time systems
๐Ÿ“‚ Article ๐Ÿ“… 1982 ๐Ÿ› Elsevier Science โš– 160 KB