This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP ...
详细信息
ISBN:
(数字)9783540491774
ISBN:
(纸本)9783540590477
This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994.;The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included.
This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017.
ISBN:
(数字)9783319646350
ISBN:
(纸本)9783319646343
This book constitutes the refereed proceedings of the 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2017, held in Lyon, France, in August 2017.
This book constitutes the refereed proceedings of the 19th Symposium on High Performance Computing System, WSCAD 2018, held in São Paulo, Brazil, in October 2018.;The 12 revised full papers presented were ca...
详细信息
ISBN:
(数字)9783030410506
ISBN:
(纸本)9783030410490
This book constitutes the refereed proceedings of the 19th Symposium on High Performance Computing System, WSCAD 2018, held in São Paulo, Brazil, in October 2018.;The 12 revised full papers presented were carefully reviewed and selected out of 61 submissions. The papers included in this book are organized according to the following topics: cloud computing; performance; processors and memory architectures; power and energy.
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023.;The 11 full papers...
详细信息
ISBN:
(数字)9783031492525
ISBN:
(纸本)9783031492518
This book constitutes the refereed proceedings of the 8th International Conference on Engineering of Computer-Based Systems, ECBS 2023, which was held in Västerås, Sweden, in October 2023.;The 11 full papers included in this book were carefully reviewed and selected from 26 submissions and present software, hardware, and communication perspectives of systems engineering through its many facets. The special theme of this year is ”Engineering for Responsible AI“.
The introduction of the microprocessor in computer and system engineering has motivated the development of many new concepts and has simplified the design of many modern industrial systems. During the first decade of ...
详细信息
ISBN:
(数字)9789400906099
ISBN:
(纸本)9780792307792;9789401067614
The introduction of the microprocessor in computer and system engineering has motivated the development of many new concepts and has simplified the design of many modern industrial systems. During the first decade of their life. microprocessors have shown a tremendous evolution in all possible directions (technology. power. functionality. I/O handling. etc). Of course putting the microprocessors and their environmental devices into properly operating systems is a complex and difficult task requiring high skills for melding and integrating hardware. and systemic components. software This book was motivated by the editors' feeling that a cohesive reference is needed providing a good coverage of modern industrial applications of microprocessor-based real time control, together with latest advanced methodological issues. Unavoidably a single volume cannot be exhaustive. but the present book contains a sufficient number of important real-time applications. The book is divided in two sections. Section I deals with general hardware. software and systemic topics. and involves six chapters. Chapter 1. by Gupta and Toong. presents an overview of the development of microprocessors during their first twelve years of existence. Chapter 2. by Dasgupta. deals with a number of system software concepts for real time microprocessor-based systems (task scheduling. memory management. input-output aspects. programming language reqUirements.
Dieses Lehrbuch stellt den aktuellen Stand der Technik im Bereich moderner Entwurfsverfahren von Hardware/Software-Systemen (bestehend aus kooperativen Hardware- und Softwarekomponenten) dar. Solche Systeme treten in ...
详细信息
ISBN:
(数字)9783662067406
Dieses Lehrbuch stellt den aktuellen Stand der Technik im Bereich moderner Entwurfsverfahren von Hardware/Software-Systemen (bestehend aus kooperativen Hardware- und Softwarekomponenten) dar. Solche Systeme treten in vielen Anwendungsbereichen moderner digitaler Technologie auf, wie z. B. Industriesteuerungen, Automobil- und Unterhaltungselektronik sowie Kommunikationssysteme. Behandelt werden Verfahren zur Entwurfsautomatisierung solcher Systeme, insbesondere die zentralen Themen Spezifikation, Synthese und Optimierung von Hardware- und Softwarekomponenten und Generierung von Zielcode (VHDL, Maschinencode). Die Syntheseaufgaben werden in einer einheitlichen Notation für Hardware- und Softwarekomponenten vorgestellt.
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019.;The 24 revised full papers presented were carefu...
详细信息
ISBN:
(数字)9783030328726
ISBN:
(纸本)9783030328719
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019.;The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.
This book constitutes revised selected papers from the 9th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2018, held in Singapore, in April 2018.;The 14 papers present...
详细信息
ISBN:
(数字)9783319896410
ISBN:
(纸本)9783319896403
This book constitutes revised selected papers from the 9th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2018, held in Singapore, in April 2018.;The 14 papers presented in this volume were carefully reviewed and selected from 31 submissions. They were organized in topical sections named: countermeasures against side-channel attacks; tools for side-channel analysis; fault attacks and hardware trojans; and side-channel analysis attacks.
The first book of the new, textbook series, entitled Applied Dynamics of Manipulation Robots: Modelling, Analysis and Examples, by M. Vukobratovic, published by Springer-Verlag (1989) was devoted to the problems of dy...
详细信息
ISBN:
(数字)9783642838699
ISBN:
(纸本)9783642838712
The first book of the new, textbook series, entitled Applied Dynamics of Manipulation Robots: Modelling, Analysis and Examples, by M. Vukobratovic, published by Springer-Verlag (1989) was devoted to the problems of dynamic models and dynamic analysis of robots. The present book, the second in the series, is concerned with the problems of the robot control. In conceiving this textbook, several dillemas arouse. The main issue was the question on what should be incorporated in a textbook on such a complex subject. Namely, the robot control comprises a wide range of topics related to various aspects of robotics, starting from the syn thesis of the lowest, executive, control level, through the synthesis of trajectories (which is mainly related to kinematic models of robots) and various algorithms for solving the problem of task and robot moti on planning (including the solving of the problems by the methods of artificial intelligence) to the aspects of processing the data obtai ned from sensors. The robot control is closely related to the robot pro gramming (i. e. the development of highly-specialized programming lan guages for robot programming). Besides, numerous aspects of the con trol realization should be included here. It is obvious that all these aspects of control cannot be treated in detail in the frame of a text book.
暂无评论