Anwendungsorientierten Mikroprozessoren, also Mikroprozessoren, die für den Einsatz in einem weiten Spektrum von Anwendungen konstruiert wurden, haben die Realisierung vieler moderner elektronischer Anwendungen v...
详细信息
ISBN:
(数字)9783642122927
ISBN:
(纸本)9783642122910
Anwendungsorientierten Mikroprozessoren, also Mikroprozessoren, die für den Einsatz in einem weiten Spektrum von Anwendungen konstruiert wurden, haben die Realisierung vieler moderner elektronischer Anwendungen vereinfacht oder erst ermöglicht. Zu den anwendungsorientierten Mikroprozessoren gehören zum einen die Mikrocontroller, die vollständige Mikrocomputer auf einem einzigen Chip darstellen, sowie die digitalen Signalprozessoren, die insbesondere zur digitalen Verarbeitung analoger Signale konzipiert sind.
Das bestens zum Selbststudium geeignete Buch bietet eine ausführliche Darstellung der anwendungsorientierten Mikroprozessoren. Reichhaltige Bebilderung und eine in sich geschlossene und autonomen Darstellung unterstützen den Leser, die komplexe Materie umfassend zu erlernen.
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the f...
详细信息
ISBN:
(数字)9783540477747
ISBN:
(纸本)9783540605805
This book presents a formal model for evaluating the cost effectiveness of computer architectures. The model can cope with a wide range of architectures, from CPU design to parallel supercomputers. To illustrate the formal procedure of trade-off analyses, several non-pipelined design alternatives for the well-known RISC architecture called DLX are analyzed quantitatively. It is formally proved that the interrupt mechanism proposed for the DLX architecture handles nested interrupts correctly.;In an appendix all programs to compute the cost and cycle time of the designs described are listed in C code. Running these simple C programs on a PC is sufficient to verify the results presented. The book addresses design professionals and students in computer architecture.
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal v...
详细信息
ISBN:
(数字)9783031510601
ISBN:
(纸本)9783031510595
Active Objects are a programming paradigm that supports a non-competitive, data-driven concurrency model. This renders active object languages to be well-suited for simulation, data race-free programming, and formal verification. Concepts from active objects made their way into languages such as Rust, ABS, Akka, JavaScript, and Go. This is the first comprehensive state-of-art overview on the subject, the invited contributions are written by experts in the areas of distributed systems, formal methods, and programming languages.
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to thi...
详细信息
ISBN:
(数字)9783709169575
ISBN:
(纸本)9783211820636
Scientific Computation with Result Verification has been a persevering research topic at the Institute for Applied Mathematics of Karlsruhe University for many years. A good number of meetings have been devoted to this area. The latest of these meetings was held from 30 September to 2 October, 1987, in Karlsruhe; it was co-sponsored by the GAMM Committee on "Computer Arithmetic and Scientific Computation". - - This volume combines edited versions of selected papers presented at this confer ence, including a few which were presented at a similar meeting one year earlier. The selection was made on the basis of relevance to the topic chosen for this volume. All papers are original contributions. In an appendix, we have supplied a short account of the Fortran-SC language which permits the programming of algorithms with result verification in a natural manner. The editors hope that the publication of this material as a Supplementum of Computing will further stimulate the interest of the scientific community in this important tool for Scientific Computation. In particular, we would like to make application scientists aware of its potential. The papers in the second chapter of this volume should convince them that automatic result verification may help them to design more reliable software for their particular tasks. We wish to thank all contributors for adapting their manuscripts to the goals of this volume. We are also grateful to the Publisher, Springer-Verlag of Vienna, for an efficient and quick production.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, C...
详细信息
ISBN:
(数字)9783031505218
ISBN:
(纸本)9783031505201
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024.;The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning;;Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;
暂无评论