| ISBNS.co.tt Trinidad and Tobago | |
  | |
| Searching ... |
| 0 % | ||
Books by Dominique Borrione
  | | From HDL descriptions to guaranteed correct circuit designs Proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed ... Grenoble, France, 9-11 September, 1986 by Dominique Borrione Hardcover, 302 Pages, Published 1987 by Elsevier Science Ltd ISBN-13: 978-0-444-70194-7, ISBN: 0-444-70194-X "Hardbound. The objective of this book is to bring together the knowledge of developers and users of design automation tools, and compare the methods and algorithms by which correct circuit designs may be obtained from initial descriptions and specifications written in an appropriate hardware description language (HDL). In order to achieve the goal of designing correct circuits, two main directions of research are currently being pursued ..." |
 | | Computer Hardware Description Languages and Their Applications 1981 I.F.I.P.International Conference Proceedings by Melvin A. Breuer, R. Hartenstein, M. Breurer, Ifip Tc-10, Reiner Hartenstein, Dominique Borrione, Hans Eveking, Et.Al. Hardcover, 362 Pages, Published 1981 by Elsevier Science Ltd ISBN-13: 978-0-444-86279-2, ISBN: 0-444-86279-X "(module P[i] definite ( (states (inputl input2) (0 0)) (script (fire (throw (and inputl input2) as x 'next (catch (x) in (P[i+1] setleft x) (P[i-1] setright x) (Q[i] up x))))) ( setleft (inputl set (:))) (setright (input2 set (:)))))) (module Q[i] definite ( (states ( inputl input2) (0 0)) (scr ipt (fire (throw (and inputl input2) as x (next (catch (x) in (0 [i+l] ... (throw (and inputl input2) as x (next (catch (x) in (R[i-lj setright ..." |
 | | Design, Automation and Test in Europe Conference and Exhibition 1999 Munich, Germany March 9-12, 1999 : Proceedings by Dominique Borrione, Rolf Ernst, Eda Association, Ieee Computer Society Paperback, 798 Pages, Published 1999 by Ieee ISBN-13: 978-0-7695-0078-2, ISBN: 0-7695-0078-1 "This collection of essays provides a forum for the exchange of information on relevant issues and topics including: sequential circuits; architecture issues in low power design; mixed signal characterization and test; and testing regular structures and delay faults." |
 | | Computer Hardware Description Languages and Their Application by Ron Waxman, Dominique Borrione 477 Pages, Published 1991 by North Holland ISBN-13: 978-1-871247-91-6, ISBN: 1-871247-91-8 |
 | | Computer Hardware Description Languages and Their Applications Proceedings (W G 102 INTERNATIONAL CONFERENCE ON COMPUTER HARDWARE DESCRIPTION ... DESCRIPTION LANGUAGES AND THEIR APPLICATIONS) by Dominique Borrione, Ronald Waxman Hardcover, 490 Pages, Published 1991 by North-Holland ISBN-13: 978-0-444-89208-9, ISBN: 0-444-89208-7 "The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling - including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL'91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its significance to the academic and professio ..." |
 | | Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s(2010th Edition) Selected Contributions on Specification, Design, and Verification ... (Lecture Notes in Electrical Engineering) by Dominique Borrione Paperback, 248 Pages, Published 2012 by Springer ISBN-13: 978-94-007-3333-6, ISBN: 94-007-3333-X "More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and heterogeneous systems. FDL 2009 ..." |
 | | Correct Hardware Design and Verification Methods 13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October ... Computer Science and General Issues) by Dominique Borrione, Wolfgang Paul, Wolfgang J. Paul Paperback, 414 Pages, Published 2005 by Springer ISBN-13: 978-3-540-29105-3, ISBN: 3-540-29105-9 "This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005. The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in ..." |
 | | Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s Selected Contributions on Specification, Design, and Verification ... (Lecture Notes in Electrical Engineering) by Dominique Borrione Hardcover, 248 Pages, Published 2010 by Springer ISBN-13: 978-90-481-9303-5, ISBN: 90-481-9303-6 "More than ever, FDL is the place for researchers, developers, industry designers, academia, and EDA tool companies to present and to learn about the latest scientific achievements, practical applications and users experiences in the domain of specification and design languages. FDL covers the modeling and design methods, and their latest supporting tools, for complex embedded systems, systems on chip, and het ..." |
 | | Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's Selected Contributions on Specification, Design, and Verification from Fdl 2009 by Dominique Borrione 248 Pages, Published 2010 by Springer Science & Business Media ISBN-13: 978-90-481-9304-2, ISBN: 90-481-9304-4 "2007:Article ID 82123, 11 (2007). doi:10.1155/2007/82123 J. Falk, C. Haubelt, J. Teich, Efficient representation and simulation of model-based designs in SystemC, in Proceedings of the Forum on specification & Design Languages, Darmstadt, Germany, 2006 P. Hastono, S. Klaus, S.A. Huss, An integrated SystemC framework for real-time scheduling assessments on system level, in Proceedings of International Real-Time Systems Symposium (RT ..." |
 | | Advances in Design Methods from Modeling Languages for Embedded Systems and Soc's by Dominique Borrione Paperback ISBN-13: 978-90-481-9305-9, ISBN: 90-481-9305-2 |
 | | Correct Hardware Design and Verification Methods by Dominique Borrione Paperback ISBN-13: 978-3-540-81612-6, ISBN: 3-540-81612-7 |
All Authors
All Bindings
All Editions
All Years
All Regions
Dominique Borrione
All Bindings
All Editions
All Years
All Regions