Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- Computer architecture --- Microprocessors --- Microprogramming --- Computer architecture. --- Microprocessors. --- Microprogramming. --- Software engineering.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Der Autor gibt einen vollständigen Überblick über den Themenkomplex "Prozessorbau". Von den Grundlagen bis hin zu den Implementierungsdetails werden die in modernen Hochleistungsprozessoren verwendeten Prinzipien erläutert. Das Buch weist mit mehr als 100 berücksichtigten Entwicklungen aus Industrie und Forschung ein hohes Maß an Praxisnähe auf. Im Einzelnen werden zunächst der Aufbau und die Funktionsweise skalarer Prozessoren beschrieben. Die Fließbandverarbeitung wird vorgestellt und es werden gängige Techniken zur Lösung der dabei auftretenden Konflikte präsentiert, u.a. das Bypassing, die Prädikation, die Sprungvorhersage, die Sprungzielvorhersage und die Wertvorhersage. Im Anschluss werden Prinzipien operationsparallel arbeitender Prozessoren diskutiert. Dabei kommen u.a. SIMD-Einheiten, Feldrechner, Vektorrechner, VLIW-Prozessoren, superskalare Prozessoren inklusive der Trace-Caches, superspekulative Prozessoren sowie das Multithreading zur Sprache. Zum Abschluss behandelt der Autor Techniken zum Aufbau von im Hardware-/Software-Codesign arbeitenden Prozessoren. Nach einer Einführung zu den Interpretern, den Emulatoren und den Laufzeitübersetzern (JIT) werden vor allem die dynamische Binärübersetzung und das Code-Morphing behandelt.

Microprocessors. --- Microprogramming . --- Computer memory systems. --- Input-output equipment (Computers). --- Electronics. --- Microelectronics. --- Processor Architectures. --- Control Structures and Microprogramming. --- Memory Structures. --- Input/Output and Data Communications. --- Electronics and Microelectronics, Instrumentation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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?cationattheinitialbehaviorlevel.Third,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)waitsforitssolution.Alltheseproblemsarehardenoughandcannotbe 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?cqualitiesoftheregardedsystems.Forexample,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.

Digital control systems --- Embedded computer systems --- Design and construction. --- Automatic control --- Electronic digital computers --- Computer engineering. --- Computer aided design. --- Microprogramming. --- Computer science. --- Control and Systems Theory. --- Electrical Engineering. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Control, Robotics, Mechatronics. --- Control Structures and Microprogramming. --- Processor Architectures. --- Informatics --- Science --- Computer programming --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Computers --- Design and construction --- Control engineering. --- Electrical engineering. --- Computer-aided engineering. --- Robotics. --- Mechatronics. --- Microprogramming . --- Microprocessors. --- Minicomputers --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Machine theory --- CAE --- Engineering --- Electric engineering --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Never before has there been a quantitative approach designed to optimize supervisory decision and control for discrete event systems. The text pioneers a formal system for supervision of human-engineered complex systems, to compare different supervisory models, thereby maximizing potential for achieving high performance. It offers exciting implications for both military and commercial engineering systems. Quantitative Measure for Discrete Event Supervisory Control presents a novel method for discrete-event decision and control of complex systems, and provides applications for burgeoning technological needs in engineering (i.e., multi-agent human and robotic systems, aircraft, and electric power generation systems), as well as control of software systems and malicious executables. Using Supervisory Control Theory (SCT), a tool to model and control human engineered complex systems, this text initiates new concepts in quantitative treatment of SCT, as a much needed augmentation to existing research on the diagnosis and control of SCT. This survey is the first comprehensive treatment of a language-theoretic quantitative approach to discrete event supervisory decision and control. • Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure performance • Presents formal theory to support the quantitative approach, thus outlining an effective model for discrete event decision and control of human-engineered complex systems • Outlines diverse and practical implications for the materials in the commercial and military Command, Control, Computer, Communication, Intelligence, Surveillance, and Reconnaissance (C4ISR) systems • Illuminates significant mathematical foundations and proofs for reader understanding of quantification processes, while avoiding nonessential mathematical details and applications • Develops and describes methods that have been successfully classroom-tested in Pennsylvania State University and Louisiana Tech University Compiling some of the leading research in the field, this self-contained volume contains essential techniques and advanced applications for researchers or graduate students in computer engineering, computer science, and applied mathematics. Additionally, the book may be an important resource for students in other disciplines, such as the biological sciences, management sciences, social sciences, and economics.

Supervisory control systems. --- Discrete-time systems. --- DES (System analysis) --- Discrete event systems --- Sampled-data systems --- Digital control systems --- System analysis --- Linear time invariant systems --- Control systems, Supervisory --- SCADA systems --- Supervisory control and data acquisition systems --- Process control --- Remote control --- Computer network architectures. --- Computer system performance. --- Microprogramming. --- Artificial intelligence. --- Computational complexity. --- Computer Systems Organization and Communication Networks. --- System Performance and Evaluation. --- Control, Robotics, Mechatronics. --- Control Structures and Microprogramming. --- Artificial Intelligence. --- Discrete Mathematics in Computer Science. --- Complexity, Computational --- Electronic data processing --- Machine theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer programming --- Computer organization. --- Computer system failures. --- Control engineering. --- Robotics. --- Mechatronics. --- Microprogramming . --- Computer science—Mathematics. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Organization, Computer --- Electronic digital computers --- Mechanical engineering --- Microelectronics --- Microelectromechanical systems --- Automation --- Control engineering --- Control equipment --- Control theory --- Engineering instruments --- Programmable controllers --- Failures