» książki » Computers - Logic Design
topmenu
 |
High-Level Synthesis: From Algorithm to Digital Circuit
ISBN: 9789048179237 / Angielski / Miękka / 297 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. High-level synthesis also called behavioral and architectural-level synthesis is a key design technology to realize systems on chip/package of various kinds, whether single or multi-processors, homogeneousor heterogeneous, for the emb- ded systems market or not. Actually, as technology progresses and systems become increasingly complex, the use of high-level abstractions and synthesis methods becomes more and more a necessity. Indeed, the productivityof designers increases with the abstraction level, as demonstrated by practices in both the software and hardware domains. The use of high-level...
High-level synthesis also called behavioral and architectural-level synthesis is a key design technology to realize systems on chip/package of various...
|
cena:
402,53 |
 |
Deontic Logic, Agency and Normative Systems: ?Eon '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 - 13
ISBN: 9783540760153 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Logic in Computer Science (DEON '96) to be held in Sesimbra, Portugal 11 - 13 January 1996. It contains a variety of contributions covering the relationship between deontic logics, logics of action and normative systems (i.e. systems of or about interacting agents whose behaviour is subject to ideal constraints that may not always be fulfilled in practice). The papers range from the theoretical studies of the logical and conceptual tools needed,...
This is the latest volume in the "Workshops in Computing" series and contains papers to be presented at the Third International Workshop on Deontic Lo...
|
cena:
402,53 |
 |
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
ISBN: 9781461408710 / Angielski / Twarda / 170 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power ASIC/FPGA design.
This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-...
|
cena:
402,53 |
 |
Adiabatic Logic: Future Trend and System Level Perspective
ISBN: 9789400723443 / Angielski / Twarda / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adiabatic Logic treats the whole system, covering all loss mechanisms and all circuitry needed to build adiabatic circuits, including wiring and other parasitic elements. Readers will also learn the applicability of standard design automation tools -- a major concern for industry users.
Adiabatic Logic treats the whole system, covering all loss mechanisms and all circuitry needed to build adiabatic circuits, including wiring and other...
|
cena:
402,53 |
 |
Fundamentals of Algebraic Specification 1: Equations and Initial Semantics
ISBN: 9783642699641 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book...
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of ...
|
cena:
402,53 |
 |
Relations and Graphs: Discrete Mathematics for Computer Scientists
ISBN: 9783642779701 / Angielski / Miękka / 301 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltype theory, analysis of rewriting systems, and modern programming language design. In addition, they appear in algorithms analysis and in the bulk of discrete mathematics taught to computer scientists. This book is devoted to the background of these methods. It explains how to use relational and graph-theoretic methods systematically in computer science. A powerful formal framework of relational algebra is developed with respect to applications to...
Relational methods can be found at various places in computer science, notably in data base theory, relational semantics of concurrency, relationaltyp...
|
cena:
402,53 |
 |
Iteration Theories: The Equational Logic of Iterative Processes
ISBN: 9783642780363 / Angielski / Miękka / 630 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience consists of graduate students and research scientists interested in mathematical treatments of semantics. We assume the reader has a good mathematical background, although we provide some prelimi nary facts in Chapter 1. Written both for graduate students and research scientists in theoret ical computer science and mathematics, the book provides a detailed investigation of the properties of the fixed point or iteration operation. Iteration plays a...
This monograph contains the results of our joint research over the last ten years on the logic of the fixed point operation. The intended au dience co...
|
cena:
402,53 |
 |
Proof and Computation
ISBN: 9783642793639 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal...
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of P...
|
cena:
402,53 |
 |
A Unified Approach for Timing Verification and Delay Fault Testing
ISBN: 9781461346395 / Angielski / Miękka / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Large system complexities and operation under tight timing constraints in rapidly shrinking technologies have made it extremely important to ensure correct temporal behavior of modern-day digital circuits, both before and after fabrication. Research in (pre-fabrication) timing verification and (post-fabrication) delay fault testing has evolved along largely disjoint lines in spite of the fact that they share many basic concepts.
A Unified Approach for Timing Verification and Delay Fault Testing applies concepts developed in the context of delay fault testing to path... Large system complexities and operation under tight timing constraints in rapidly shrinking technologies have made it extremely important to ensure co...
|
cena:
402,53 |
 |
Timing Analysis and Optimization of Sequential Circuits
ISBN: 9781461375791 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques to design fast, low-power chips with minimum area for increasingly complex systems, while on the economic side there is the vastly increased pressure of time-to-market. These pressures have made the use of CAD tools mandatory in designing complex systems.
Timing Analysis and Optimization of Sequential Circuits describes CAD algorithms for analyzing and optimizing the timing behavior of sequential circuits with special reference to... Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques t...
|
cena:
402,53 |
 |
Synthesis of Finite State Machines: Logic Optimization
ISBN: 9781461378211 / Angielski / Miękka / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an...
Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Mach...
|
cena:
402,53 |
 |
Theory of Digital Automata
ISBN: 9789400752276 / Angielski / Twarda / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book combines coverage of circuits and digital electronics, forging a strong connection with the contemporary world of digital systems. Automata theory aids the design of digital circuits used in computers, telecommunications and control systems.
This book combines coverage of circuits and digital electronics, forging a strong connection with the contemporary world of digital systems. Automata ...
|
cena:
402,53 |
 |
Hierarchical Modeling for VLSI Circuit Testing
ISBN: 9781461288190 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Test generation is one of the most difficult tasks facing the designer of complex VLSI-based digital systems. Much of this difficulty is attributable to the almost universal use in testing of low, gate-level circuit and fault models that predate integrated circuit technology. It is long been recognized that the testing prob lem can be alleviated by the use of higher-level methods in which multigate modules or cells are the primitive components in test generation; however, the development of such methods has proceeded very slowly. To be acceptable, high-level approaches should be applicable to...
Test generation is one of the most difficult tasks facing the designer of complex VLSI-based digital systems. Much of this difficulty is attributable ...
|
cena:
402,53 |
 |
Multi-Level Simulation for VLSI Design
ISBN: 9781461294016 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. AND BACKGROUND 1. 1 CAD, Specification and Simulation Computer Aided Design (CAD) is today a widely used expression referring to the study of ways in which computers can be used to expedite the design process. This can include the design of physical systems, architectural environments, manufacturing processes, and many other areas. This book concentrates on one area of CAD: the design of computer systems. Within this area, it focusses on just two aspects of computer design, the specification and the simulation of digital systems. VLSI design requires support in many other CAD areas, induding...
AND BACKGROUND 1. 1 CAD, Specification and Simulation Computer Aided Design (CAD) is today a widely used expression referring to the study of ways in ...
|
cena:
402,53 |
 |
An Artificial Intelligence Approach to VLSI Routing
ISBN: 9781461296065 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Routing of VLSI chips is an important, time consuming, and difficult problem. The difficulty of the problem is attributed to the large number of often conflicting factors that affect the routing quality. Traditional techniques have approached routing by ignoring some of these factors and imposing unnecessary constraints in order to make routing tractable. In addition to the imposition of these restrictions, which simplify the problems to a degree but at the same time reduce the routing quality, traditional approaches use brute force. They often transform the problem into mathematical or graph...
Routing of VLSI chips is an important, time consuming, and difficult problem. The difficulty of the problem is attributed to the large number of often...
|
cena:
402,53 |
 |
Introduction to Iddq Testing
ISBN: 9781461378129 / Angielski / Miękka / 323 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Testing techniques for VLSI circuits are undergoing many exciting changes. The predominant method for testing digital circuits consists of applying a set of input stimuli to the IC and monitoring the logic levels at primary outputs. If, for one or more inputs, there is a discrepancy between the observed output and the expected output then the IC is declared to be defective.
A new approach to testing digital circuits, which has come to be known as IDDQ testing, has been actively researched for the last fifteen years. In IDDQ testing, the steady state supply current,... Testing techniques for VLSI circuits are undergoing many exciting changes. The predominant method for testing digital circuits consists of applying a ...
|
cena:
402,53 |
 |
Adiabatic Logic: Future Trend and System Level Perspective
ISBN: 9789400737273 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by adiabatic logic. In addition, the impact of worsening degradation effects has to be considered in the design of adiabatic circuits. The impact of the technology trends on the figures of merit of adiabatic logic, energy saving potential and optimum operating frequency, are investigated, as well as...
Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like t...
|
cena:
402,53 |
 |
Universal Algebra for Computer Scientists
ISBN: 9783642767739 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The...
A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of ...
|
cena:
402,53 |
 |
Application-Specific Mesh-Based Heterogeneous FPGA Architectures
ISBN: 9781489987884 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents a new exploration environment for mesh-based, heterogeneous FPGA architectures. It describes state-of-the-art techniques for reducing area requirements in FPGA architectures, which also increase performance and enable reduction in power required. Coverage focuses on reduction of FPGA area by introducing heterogeneous hard-blocks (such as multipliers, adders etc) in FPGAs, and by designing application specific FPGAs. Automatic FPGA layout generation techniques are employed to decrease non-recurring engineering (NRE) costs and time-to-market of application-specific,...
This book presents a new exploration environment for mesh-based, heterogeneous FPGA architectures. It describes state-of-the-art techniques for reduci...
|
cena:
402,53 |
 |
Design of Experiments for Reinforcement Learning
ISBN: 9783319121963 / Angielski / Twarda / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This thesis takes an empirical approach to understanding of the behavior and interactions between the two main components of reinforcement learning: the learning algorithm and the functional representation of learned knowledge. The author approaches these entities using design of experiments not commonly employed to study machine learning methods. The results outlined in this work provide insight as to what enables and what has an effect on successful reinforcement learning implementations so that this learning method can be applied to more challenging problems.
This thesis takes an empirical approach to understanding of the behavior and interactions between the two main components of reinforcement learning: t...
|
cena:
402,53 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
