Listing 1 - 5 of 5 |
Sort by
|
Choose an application
The complexity of modern chip design requires extensive use of specialized software throughout the process. To achieve the best results, a user of this software needs a high-level understanding of the underlying mathematical models and algorithms. In addition, a developer of such software must have a keen understanding of relevant computer science aspects, including algorithmic performance bottlenecks and how various algorithms operate and interact. This book introduces and compares the fundamental algorithms that are used during the IC physical design phase, wherein a geometric chip layout is produced starting from an abstract circuit design. This updated second edition includes recent advancements in the state-of-the-art of physical design, and builds upon foundational coverage of essential and fundamental techniques. Numerous examples and tasks with solutions increase the clarity of presentation and facilitate deeper understanding. A comprehensive set of slides is available on the Internet for each chapter, simplifying use of the book in instructional settings. Link with additional documents: https://www.ifte.de/books/eda/index.html “This improved, second edition of the book will continue to serve the EDA and design community well. It is a foundational text and reference for the next generation of professionals who will be called on to continue the advancement of our chip design tools and design the most advanced micro-electronics.” Dr. Leon Stok, Vice President, Electronic Design Automation, IBM Systems Group “This is the book I wish I had when I taught EDA in the past, and the one I’m using from now on.” Dr. Louis K. Scheffer, Howard Hughes Medical Institute “I would happily use this book when teaching Physical Design. I know of no other work that’s as comprehensive and up-to-date, with algorithmic focus and clear pseudocode for the key algorithms. The book is beautifully designed!” Prof. John P. Hayes, University of Michigan “The entire field of electronic design automation owes the authors a great debt for providing a single coherent source on physical design that is clear and tutorial in nature, while providing details on key state-of-the-art topics such as timing closure.” Prof. Kurt Keutzer, University of California, Berkeley “An excellent balance of the basics and more advanced concepts, presented by top experts in the field.” Prof. Sachin Sapatnekar, University of Minnesota.
Integrated circuits --- Very large scale integration --- Design and construction. --- Electronic circuits. --- Logic design. --- Electronics. --- Computer-aided engineering. --- Electronic Circuits and Systems. --- Logic Design. --- Electronics and Microelectronics, Instrumentation. --- Computer-Aided Engineering (CAD, CAE) and Design. --- CAE --- Engineering --- Electrical engineering --- Physical sciences --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics --- Data processing
Choose an application
This book intends to unite studies in different fields related to the development of the relations between logic, law and legal reasoning. Combining historical and philosophical studies on legal reasoning in Civil and Common Law, and on the often neglected Arabic and Talmudic traditions of jurisprudence, this project unites these areas with recent technical developments in computer science. This combination has resulted in renewed interest in deontic logic and logic of norms that stems from the interaction between artificial intelligence and law and their applications to these areas of logic. The book also aims to motivate and launch a more intense interaction between the historical and philosophical work of Arabic, Talmudic and European jurisprudence. The publication discusses new insights in the interaction between logic and law, and more precisely the study of different answers to the question: what role does logic play in legal reasoning? Varying perspectives include that of foundational studies (such as logical principles and frameworks) to applications, and historical perspectives.
Law --- Philosophy. --- Jurisprudence --- Logic. --- Logic programming. --- Computers --- Information technology --- Logic design. --- Theories of Law, Philosophy of Law, Legal History. --- Philosophy of Law. --- Logic in AI. --- Legal Aspects of Computing. --- Logic Design. --- History. --- Law and legislation. --- Cyberspace --- Technology and law --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programming --- Legal history --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Law and legislation --- History and criticism --- Methodology
Choose an application
This book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May 29 – June 2, 2022. The 18 full papers presented were carefully reviewed and selected from 53 submissions. The papers are categorized into the following topical sub-headings: Architecture, Networks, and Storage; Machine Learning, AI, Emerging Technologies; HPC Algorithms and Applications; Performance Modeling, Evaluation and Analysis; and Programming Environments and Systems Software.
High performance computing --- Supercomputers --- Computer engineering. --- Computer networks. --- Software engineering. --- Computer systems. --- Logic design. --- Computer Engineering and Networks. --- Software Engineering. --- Computer Communication Networks. --- Computer System Implementation. --- Logic Design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Information networks --- Telecommunication --- Electronic data processing --- Network computers --- Computers --- Distributed processing --- Design and construction
Choose an application
This book constitutes the refereed proceedings of the 37th International Conference on High Performance Computing, ISC High Performance 2022, held in Hamburg, Germany, during May 29 – June 2, 2022. The 18 full papers presented were carefully reviewed and selected from 53 submissions. The papers are categorized into the following topical sub-headings: Architecture, Networks, and Storage; Machine Learning, AI, Emerging Technologies; HPC Algorithms and Applications; Performance Modeling, Evaluation and Analysis; and Programming Environments and Systems Software.
Computer engineering. --- Computer networks. --- Software engineering. --- Computer systems. --- Logic design. --- Computer Engineering and Networks. --- Software Engineering. --- Computer Communication Networks. --- Computer System Implementation. --- Logic Design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Information networks --- Telecommunication --- Electronic data processing --- Network computers --- Computers --- Distributed processing --- Design and construction
Choose an application
The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering. The authors’ approach emphasizes a thorough understanding of the fundamental principles as well as numerical and computer-based solution methods. The book provides insight into applications across propositional logic, binary arithmetic, coding, cryptography, complexity, logic design, and artificial intelligence. Updated throughout, some major additions for the 3rd edition include: a new chapter about the concepts contributing to the power of XBOOLE; a new chapter that introduces into the application of the XBOOLE-Monitor XBM 2; many tasks that support the readers in amplifying the learned content at the end of the chapters; solutions of a large subset of these tasks to confirm learning success; challenging tasks that need the power of the XBOOLE software for their solution. The XBOOLE-monitor XBM 2 software is used to solve the exercises; in this way the time-consuming and error-prone manipulation on the bit level is moved to an ordinary PC, more realistic tasks can be solved, and the challenges of thinking about algorithms leads to a higher level of education.
Àlgebra de Boole --- Lògica matemàtica --- Teoria de màquines --- Lògica formal --- Lògica simbòlica --- Lògica simbòlica i matemàtica --- Lògica universal --- Logística (Filosofia) --- Matemàtica --- Atzar --- Càlcul lambda --- Categories (Matemàtica) --- Decidibilitat (Lògica matemàtica) --- Funcions recursives --- Independència (Matemàtica) --- Lògica algebraica --- Lògica borrosa --- Lògica combinatòria --- Lògica de primer ordre --- Lògica informàtica --- Matemàtica constructiva --- Metodologia de la ciència --- Nombres cardinals --- Pragmàtica (Lingüística) --- Probabilitats --- Semàntica (Filosofia) --- Teoria axiomàtica de conjunts --- Teorema de Gödel --- Teoria de la commutació --- Teoria de la prova --- Teoria de la recursió --- Teoria de models --- Teoria de tipus --- Àlgebra abstracta --- Metamatemàtica --- Programació lògica --- Sil·logisme --- Teoria de conjunts --- Àlgebra booleana --- Teoria dels reticles --- Autòmats matemàtics --- Teoria dels autòmats matemàtics --- Algorismes --- Models matemàtics --- Aprenentatge automàtic --- Complexitat computacional --- Estructura lògica --- Llenguatges formals --- Màquines de Turing --- Sistemes de reescriptura (Informàtica) --- Teoria de control --- Robòtica --- Algebra, Boolean. --- Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Boolean algebra --- Boole's algebra --- Algebraic logic --- Lògica difusa --- Electronic circuits. --- Logic design. --- Computer science --- Discrete mathematics. --- Electronic Circuits and Systems. --- Logic Design. --- Discrete Mathematics in Computer Science. --- Mathematics. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis --- Computer mathematics --- Electronic data processing --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electron-tube circuits --- Electric circuits --- Electron tubes --- Electronics
Listing 1 - 5 of 5 |
Sort by
|