Kategoria BISAC: Computers >> Computer Architecture

Das 18. Fachgesprach "Autonome Mobile Systeme (AMS 2003)" ist ein Forum, in dem die neuesten Entwicklungen auf dem Gebiet wissenschaftlicher und industrieller autonomer Robotersysteme vorgestellt werden. Die Beitrage zu den Schwerpunkten Autonome Systeme im Straenverkehr, Autonome und kooperative Systeme, Industrielle Systeme, Flug- und Unterwassersysteme, Bildverarbeitung, Planungsverfahren, Anwendungen und ihr Einsatz in Fertigung, Service, Reinigung, Entertainment, Infotainment und Edutainment, sowie Verhaltensbasierte KI u.a. bilden den Inhalt dieses Bandes.

This book presents a systematic methodology for exploiting word-width information in embedded compilers. It details a technique for a context-driven strength reduction for constant multiplications, including a trade-off with application accuracy requirements.

Debugging is the bottleneck to chip design productivity. This state-of-the-art book reviews modeling and verification of ESL designs. It is believed to be the first book that considers debugging for ESL designs. There is particular focus on SystemC.

This book presents the first comprehensive approach integrating WCET considerations into the code generation process. Based on the proposed reconciliation between a compiler and a timing analyzer, a wide range of novel optimization techniques is provided.

Supervisory Control Theory (SCT) provides a tool to model and control human-engineered complex systems, such as computer networks, World Wide Web, identification and spread of malicious executables, and command, control, communication, and information systems. Although there are some excellent monographs and books on SCT to control and diagnose discrete-event systems, there is a need for a research monograph that provides a coherent quantitative treatment of SCT theory for decision and control of complex systems. This new monograph will assimilate many new concepts that have been recently...

A common sense of time among all the elements of a distributed measurement and control system allows the use of new techniques for the solution of problems with complex synchronization requirements or arising from the interaction of many sensors and actuators. Such a common sense of time may be accomplished using IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems (IEEE 1588-2002) to synchronize real-time clocks incorporated within each component of the system.

IEEE 1588, published in November 2002, is a technology new...