search for books and compare prices
Robert K. Brayton has written 9 work(s)
Search for other authors with the same name
displaying 1 to 9 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions are studied when both synchronous and parallel composition operators are used. The abstract equations are specialized to languages associated with important classes of automata used for modeling systems. The book is a blend of theory and practice, which includes a description of a software package with applications to sequential synthesis of finite state machines. Specific topologies interconnecting the components, exact and heuristic techniques, and optimization scenarios are studied. Finally the scope is enlarged to domains like testing, supervisory control, game theory and synthesis for special omega languages. The authors present original results of the authors along with an overview of existing ones.
Hardcover:
9780387345321 | Springer-Verlag New York Inc, November 15, 2011, cover price $209.00 | About this edition: The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification.
Paperback:
9781489973948 | Springer Verlag, January 25, 2014, cover price $209.00 | also contains The Unknown Component Problem: Theory And Applications
Paperback:
9781489973948 | Springer Verlag, January 25, 2014, cover price $209.00 | also contains The Unknown Component Problem: Theory And Applications
Hardcover:
9780792376064 | Kluwer Academic Pub, November 1, 2001, cover price $269.00
Paperback:
9781461352532 | Reprint edition (Springer Verlag, July 1, 2013), cover price $269.00
Product Description: Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. Much present timing research relies heavily on timing diagrams, which, although intuitive, are inadequate for analysis of large designs with many parameters...read more
Hardcover:
9780792394549 | Kluwer Academic Pub, April 1, 1994, cover price $199.00
Paperback:
9781461361565 | Reprint edition (Springer Verlag, October 6, 2012), cover price $179.00 | About this edition: Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind.
Product Description: This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various solutions to the false path problem that had been proposed in the literature, with a view to determining the computational expense of each versus the gain in accuracy...read more
Paperback:
9781461367680 | Reprint edition (Springer-Verlag New York Inc, September 30, 2012), cover price $159.00 | About this edition: This book is an extension of one author's doctoral thesis on the false path problem.
Hardcover:
9780792374077 | Kluwer Academic Pub, June 1, 2001, cover price $149.00
(view table of contents)
Hardcover:
9780792398929 | Kluwer Academic Pub, June 1, 1997, cover price $229.00
Product Description: Short turnaround has become critical in the design of electronic systems. Software- programmable components such as microprocessors and digital signal processors have been used extensively in such systems since they allow rapid design revisions...read more
Hardcover:
9780792395966 | Kluwer Academic Pub, June 1, 1995, cover price $249.00 | About this edition: Short turnaround has become critical in the design of electronic systems.
Hardcover:
9780898381641 | Kluwer Academic Pub, August 1, 1984, cover price $219.00
displaying 1 to 9 |
at end