This book should not be the first book you read on programming, if you have never programmed before, put this book aside for a while and learn some basics of programming with a higher-level language such as C.
ISBN:
(数字)9781484250761
ISBN:
(纸本)9781484250754
This book should not be the first book you read on programming, if you have never programmed before, put this book aside for a while and learn some basics of programming with a higher-level language such as C.
Topics covered range from parallel algorithms, programming tools, OpenMP, MPI and OpenCL, followed by experimental measurements of parallel programs’ run-times, and by engineering analysis of obtained results fo...
详细信息
ISBN:
(数字)9783319988337
ISBN:
(纸本)9783319988320
Topics covered range from parallel algorithms, programming tools, OpenMP, MPI and OpenCL, followed by experimental measurements of parallel programs’ run-times, and by engineering analysis of obtained results for improved parallel execution performances.
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including t...
详细信息
ISBN:
(数字)9780387283272
ISBN:
(纸本)9780387236308;9781441936462
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book. These concern different aspects of such important and long-term design problems, including the following, which seem to be the main ones. First, the behavior of a device under design must be described properly, and some adequate formal language should be chosen for that. Second, effective algorithmsshouldbeusedforcheckingtheprepareddescriptionforcorrectness, foritssyntacticandsemanticveri?***,the problem of logic circuit implementation must be solved using some concrete technological base; ef?cient methods of logic synthesis, test, and veri?cation should be developed for that. Fourth, the task of the communication between the control device and controlled objects (and maybe between different control devices)*** successfully solved without ef?cient methods and algorithms oriented toward computer implementation. Some of these are described in this book. The languages used for behavior description have been descended usually from two well-known abstract models which became classic: Petri nets and ?nite state machines (FSMs). Anyhow, more detailed versions are developed and described in the book, which enable to give more complete information concerningspeci?***,themodelof parallelautomatonispresented,whichunliketheconventional?niteautomaton can be placed simultaneously into several places, calledpartial. As a base for circuit implementation of control algorithms, FPGA is accepted in majority of cases.
This unique, accessible textbook presents a succession of implementations of the open-source RISC-V processor. Implementations are offered in increasing difficulty (non-pipelined, pipelined, deeply pipelined,...
详细信息
ISBN:
(数字)9783031180231
ISBN:
(纸本)9783031180224
This unique, accessible textbook presents a succession of implementations of the open-source RISC-V processor. Implementations are offered in increasing difficulty (non-pipelined, pipelined, deeply pipelined, multi-threaded, multicore).;Each implementation is shown as a High-Level Synthesis (HLS) code in C++. This facilitates synthesis and testing on an FPGA-based development board (Such a board can be freely obtained from the Xilinx University Program targeting university professors).;The book can be useful for several reasons. First, it is a novel way to introduce computer architecture: The codes given can serve as labs for a processor architecture course. Second, the book content is based on the RISC-V Instruction Set Architecture, which is an open-source machine language promising to become the main machine language to be taught, replacing DLX and MIPS. Third, all the designs are implemented through the HLS tool, which is able to translate a C program into an intellectual property (IP). Lastly, HLS will become the new standard for IP implementations, replacing Verilog/VHDL; already there are job positions tied to HLS, with the argument of rapid IP development.;Hence, in addition to offering undergraduates a firm introduction, the textbook/guide can also serve engineers willing to implement processors on FPGA, as well as researchers willing to develop RISC-V based hardware simulators.;is Professor in the Faculty of Sciences at the Université de Perpignan, France. He is author of the French-language book from Springer,;, 2002.
Das vorliegende Buch gibt zunächst eine Darstellung der grundlegenden Prinzipien der Mikrocontroller und Mikroprozessoren. Anschließend wird detailliert der neueste Stand der Technik dieser Hardware-Baustein...
详细信息
ISBN:
(数字)9783540468196
Das vorliegende Buch gibt zunächst eine Darstellung der grundlegenden Prinzipien der Mikrocontroller und Mikroprozessoren. Anschließend wird detailliert der neueste Stand der Technik dieser Hardware-Bausteine erläutert, und es werden alle wichtigen Entwicklungstendenzen bis hin zum aktuellen Forschungsstand vorgestellt. Ferner werden in der Praxis häufig verwendete Mikrocontroller und Mikroprozessoren in ihrer Funktionsweise analysiert und zukunftsweisende Technologien dieser Bausteine aufgezeigt. Dieses Buch ist besonders geeignet für Studierende der Informatik oder Elektrotechnik im fortgeschrittenen Grundstudium oder zu Beginn des Hauptstudiums sowie in der Praxis stehende Fachleute der Elektrotechnik, Automatisierungstechnik und hardwarenahen Informatik, die mit der Planung und der Entwicklung oder dem Einsatz von Mikrocontrollern und Mikroprozessoren befasst sind.
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.
ISBN:
(数字)9783031424410
ISBN:
(纸本)9783031424403
This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.
This book constitutes the refereed proceedings of the 13;International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021.;The 11 papers included in this book were carefully rev...
详细信息
ISBN:
(数字)9783030798376
ISBN:
(纸本)9783030798369
This book constitutes the refereed proceedings of the 13;International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021.;The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis.
暂无评论