Search Results for Automation.

High Performance Integer Arithmetic Circuit Design on FPGA Architecture, Implementation and Design Automation

Yazar

Palchaudhuri, Ayan. author.

http://dx.doi.org/10.1007/978-81-322-2520-1

Format:

Electronic Resources

Alıntı:

Automation / Palchaudhuri, Ayan. author.

New Data Structures and Algorithms for Logic Synthesis and Verification

Yazar

Amaru, Luca Gaetano. author.

https://doi.org/10.1007/978-3-319-43174-1

Format:

Electronic Resources

Alıntı:

This book introduces new logic primitives for electronic design automation tools. The author

Advanced Symbolic Analysis for VLSI Systems Methods and Applications

Yazar

Shi, Guoyong. author.

http://dx.doi.org/10.1007/978-1-4939-1103-5

Format:

Electronic Resources

Alıntı:

for design automation of nanometer VLSI systems. The presentation is organized in parts of

Applied Logic for Computer Scientists Computational Deduction and Formal Proofs

Yazar

Ayala-Rincón, Mauricio. author.

https://doi.org/10.1007/978-3-319-51653-0

Format:

Electronic Resources

Alıntı:

but also software, hardware, automation, electrical and mechatronic engineers who are interested in

Transactions on Computational Science XXIV Special Issue on Reversible Computing

Yazar

Gavrilova, Marina L. editor.

http://dx.doi.org/10.1007/978-3-662-45711-5

Format:

Electronic Resources

Alıntı:

Adiabatic CMOS: Limits of Reversible Energy Recovery and First Steps for Design Automation

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

Interface-Driven Design of Evolving Component-Based Architectures -- Part V: Automatic Verification -- Computing

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Yazar

Ayala-Rincón, Mauricio. editor. (orcid)0000-0003-0089-3905

https://doi.org/10.1007/978-3-319-66107-0

Format:

Electronic Resources

Alıntı:

Introduction to the Hipster System -- Automating Formalization by Statistical and Semantic Parsing of

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

Yazar

Galmiche, Didier. editor.

https://doi.org/10.1007/978-3-319-94205-6

Format:

Electronic Resources

Alıntı:

Logic with Data: Small Models and Automation -- MaedMax: A Maximal Ordered Completion Tool -- From

Computational Science – ICCS 2019 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V

Yazar

Rodrigues, João M. F. editor. (orcid)0000-0002-3562-6025

https://doi.org/10.1007/978-3-030-22750-0

Format:

Electronic Resources

Alıntı:

computations -- Automating the Generation of Comparison Weights for Enhancing the AHP Decision-Making Process

	{displayName}	{count}
{error}