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

The real AI

โœ Scribed by THORPE, DARRELL H.

Book ID
109699598
Publisher
Nature Publishing Group
Year
1976
Tongue
English
Weight
122 KB
Volume
261
Category
Article
ISSN
0028-0836

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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 continuous AI systems
Real-time continuous AI systems
โœ Bennett, M.E. ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› The Institution of Electrical Engineers โš– 926 KB
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