Logic design.
Overview
| Works: | 203 works in 32 publications in 32 languages | |
|---|---|---|
Titles
The FPGA programming handbook : = an essential guide to FPGA design for transforming ideas into hardware using SystemVerilog and VHDL /
by:
(Language materials, printed)
High Performance Computing = 8th Latin American Conference, CARLA 2021, Guadalajara, Mexico, October 6–8, 2021, Revised Selected Papers /
by:
(Language materials, printed)
New Developments in Legal Reasoning and Logic = From Ancient Law to Modern Legal Systems /
by:
(Language materials, printed)
Digital Design Techniques and Exercises = A Practice Book for Digital Logic Design /
by:
(Language materials, printed)
Reversible Computation = 14th International Conference, RC 2022, Urbino, Italy, July 5–6, 2022, Proceedings /
by:
(Language materials, printed)
Logic Functions and Equations = Fundamentals and Applications using the XBOOLE-Monitor /
by:
(Language materials, printed)
High Performance Computing = 37th International Conference, ISC High Performance 2022, Hamburg, Germany, May 29 – June 2, 2022, Proceedings /
by:
(Language materials, printed)
Network and Parallel Computing = 19th IFIP WG 10.3 International Conference, NPC 2022, Jinan, China, September 24–25, 2022, Proceedings /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(Language materials, printed)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(Language materials, printed)
Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Computer Architecture and Organization = Fundamentals and Architecture Security /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation = 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 24th International Workshop, JSSPP 2021, Virtual Event, May 21, 2021, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 7th Latin American Conference, CARLA 2020, Cuenca, Ecuador, September 2–4, 2020, Revised Selected Papers /
by:
(Language materials, printed)
OpenMP: Enabling Massive Node-Level Parallelism = 17th International Workshop on OpenMP, IWOMP 2021, Bristol, UK, September 14–16, 2021, Proceedings /
by:
(Language materials, printed)
Parallel Computing Technologies = 16th International Conference, PaCT 2021, Kaliningrad, Russia, September 13–18, 2021, Proceedings /
by:
(Language materials, printed)
Euro-Par 2020: Parallel Processing Workshops = Euro-Par 2020 International Workshops, Warsaw, Poland, August 24–25, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Supercomputing = 6th Russian Supercomputing Days, RuSCDays 2020, Moscow, Russia, September 21–22, 2020, Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2019: Parallel Processing Workshops = Euro-Par 2019 International Workshops, Göttingen, Germany, August 26–30, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
by:
(Language materials, printed)
OpenMP: Portable Multi-Level Parallelism on Modern Systems = 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22–24, 2020, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 13th International Conference, PPAM 2019, Bialystok, Poland, September 8–11, 2019, Revised Selected Papers, Part I /
by:
(Language materials, printed)
Euro-Par 2020: Parallel Processing = 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings /
by:
(Language materials, printed)
Trustworthy Hardware Design: Combinational Logic Locking Techniques
by:
(Language materials, printed)
Well-Quasi Orders in Computation, Logic, Language and Reasoning = A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 6th International Workshop, WACCPD 2019, Denver, CO, USA, November 18, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation = 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings /
by:
(Language materials, printed)
Model and Design of Improved Current Mode Logic Gates = Differential and Single-ended /
by:
(Language materials, printed)
Advanced Boolean Techniques = Selected Papers from the 13th International Workshop on Boolean Problems /
by:
(Language materials, printed)
Computational Science – ICCS 2020 = 20th International Conference, Amsterdam, The Netherlands, June 3–5, 2020, Proceedings, Part I /
by:
(Language materials, printed)
Quantum-Dot Cellular Automata Based Digital Logic Circuits: A Design Perspective
by:
(Language materials, printed)
Advanced HDL synthesis and SOC prototyping : = RTL design using Verilog /
by:
(Language materials, printed)
Advanced techniques in logic synthesis, optimizations and applications
by:
(Language materials, printed)
Finite state machine datapath design, optimization, and implementation /
by:
(Language materials, printed)
Practical aspects of declarative languages = 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013 : proceedings /
by:
(Language materials, printed)
Information and communication technologies in education, research, and industrial applications = 9th International Conference, ICTERI 2013, Kherson, Ukraine, June 19-22, 2013 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(Language materials, printed)
Big data integration theory = theory and methods of database mappings, programming languages, and semantics /
by:
(Language materials, printed)
Membrane computing = 14th International Conference, CMC 2013, Chisinau, Republic of Moldova, August 20-23, 2013 : revised selected papers /
by:
(Language materials, printed)
Structured object-oriented formal language and method = third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers /
by:
(Language materials, printed)
Algebraic and algorithmic aspects of differential and integral operators = 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012 : selected and invited papers /
by:
(Language materials, printed)
Specification, algebra, and software = essays dedicated to Kokichi Futatsugi /
by:
(Language materials, printed)
Reversible computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016 : proceedings /
by:
(Language materials, printed)
High performance computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018 : proceedings /
by:
(Language materials, printed)
Programming and performance visualization tools = International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018 : revised selected papers /
by:
(Language materials, printed)
Models, languages, and tools for concurrent and distributed programming = essays dedicated to Rocco De Nicola on the occasion of his 65th birthday /
by:
(Language materials, printed)
Introduction to Annotated Logics = Foundations for Paracomplete and Paraconsistent Reasoning /
by:
(Language materials, printed)
Computer Engineering and Technology = 18th CCF Conference, NCCET 2014, Guiyang, China, July 29 -- August 1, 2014. Revised Selected Papers /
by:
(Language materials, printed)
Reversible Computation = 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /
by:
(Language materials, printed)
Integrierte Digitale Schaltungen = Vom Transistor zur optimierten Logikschaltung /
by:
(Language materials, printed)
Layoutsynthese elektronischer Schaltungen = Grundlegende Algorithmen für die Entwurfsautomatisierung /
by:
(Language materials, printed)
High Performance Integer Arithmetic Circuit Design on FPGA = Architecture, Implementation and Design Automation /
by:
(Language materials, printed)
Brain-Inspired Computing = Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers /
by:
(Language materials, printed)
Practical Hadoop Migration = How to Integrate Your RDBMS with the Hadoop Ecosystem and Re-Architect Relational Applications to NoSQL /
by:
(Language materials, printed)
Reversible Logic Synthesis Methodologies with Application to Quantum Computing
by:
(Language materials, printed)
Reversible Computation = 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
by:
(Language materials, printed)
Bioinformatics Research and Applications = 14th International Symposium, ISBRA 2018, Beijing, China, June 8-11, 2018, Proceedings /
by:
(Language materials, printed)
Advanced Computer Architecture = 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings /
by:
(Language materials, printed)
Simulation and Optimization of Digital Circuits = Considering and Mitigating Destabilizing Factors /
by:
(Language materials, printed)
High Performance Computing = ISC High Performance 2018 International Workshops, Frankfurt/Main, Germany, June 28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Evolving OpenMP for Evolving Architectures = 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26–28, 2018, Proceedings /
by:
(Language materials, printed)
Post-Quantum Cryptography = 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part III /
by:
(Language materials, printed)
Machine Learning for Medical Image Reconstruction = First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings /
by:
(Language materials, printed)
Algorithms and Architectures for Parallel Processing = 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Network and Parallel Computing = 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings /
by:
(Language materials, printed)
Computer Algebra in Scientific Computing = 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings /
by:
(Language materials, printed)
Stabilization, Safety, and Security of Distributed Systems = 20th International Symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018, Proceedings /
by:
(Language materials, printed)
Euro-Par 2018: Parallel Processing = 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings /
by:
(Language materials, printed)
Topics in Cryptology – CT-RSA 2018 = The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings /
by:
(Language materials, printed)
Model-Driven Engineering and Software Development = 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Parallel Computational Technologies = 12th International Conference, PCT 2018, Rostov-on-Don, Russia, April 2–6, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX = Special Issue on Database- and Expert-Systems Applications /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings /
by:
(Language materials, printed)
Architecture of Computing Systems – ARCS 2018 = 31st International Conference, Braunschweig, Germany, April 9–12, 2018, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11-13, 2018, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018, Proceedings, Part I /
by:
(Language materials, printed)
Supercomputing Frontiers = 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings /
by:
(Language materials, printed)
Euro-Par 2017: Parallel Processing Workshops = Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers /
by:
(Language materials, printed)
High Performance Computing = 33rd International Conference, ISC High Performance 2018, Frankfurt, Germany, June 24-28, 2018, Proceedings /
by:
(Language materials, printed)
Parallel Processing and Applied Mathematics = 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence = 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Job Scheduling Strategies for Parallel Processing = 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers /
by:
(Language materials, printed)
Computational Science – ICCS 2018 = 18th International Conference, Wuxi, China, June 11–13, 2018 Proceedings, Part III /
by:
(Language materials, printed)
High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation = 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings /
by:
(Language materials, printed)
Embedded Systems Technology = 15th National Conference, ESTC 2017, Shenyang, China, November 17-19, 2017, Revised Selected Papers /
by:
(Language materials, printed)
ASIC/SoC Functional Design Verification = A Comprehensive Guide to Technologies and Methodologies /
by:
(Language materials, printed)
Euro-Par 2018: Parallel Processing Workshops = Euro-Par 2018 International Workshops, Turin, Italy, August 27-28, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Applied Computer Sciences in Engineering = 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16–18, 2019, Proceedings /
by:
(Language materials, printed)
High Performance Computing = 34th International Conference, ISC High Performance 2019, Frankfurt/Main, Germany, June 16–20, 2019, Proceedings /
by:
(Language materials, printed)
Parallel Computational Technologies = 13th International Conference, PCT 2019, Kaliningrad, Russia, April 2–4, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
by:
(Language materials, printed)
Biomimetic and Biohybrid Systems = 8th International Conference, Living Machines 2019, Nara, Japan, July 9–12, 2019, Proceedings /
by:
(Language materials, printed)
Accelerator Programming Using Directives = 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Logic Functions and Equations = Binary Models for Computer Science /
by:
(Language materials, printed)
Analog Circuit Theory and Filter Design in the Digital World = With an Introduction to the Morphological Method for Creative Solutions and Design /
by:
(Language materials, printed)
Computer Engineering and Technology = 22nd CCF Conference, NCCET 2018, Yinchuan, China, August 15–17, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Euro-Par 2019: Parallel Processing = 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings /
by:
(Language materials, printed)
Creativity in Intelligent Technologies and Data Science = Third Conference, CIT&DS 2019, Volgograd, Russia, September 16–19, 2019, Proceedings, Part II /
by:
(Language materials, printed)
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 = 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings /
by:
(Language materials, printed)
High-Performance Computing Applications in Numerical Simulation and Edge Computing = ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Tools and Algorithms for the Construction and Analysis of Systems = 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms = A Cross-layer Approach /
by:
(Language materials, printed)
Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis = A Transfer Function Approach /
by:
(Language materials, printed)
Computer Science – CACIC 2018 = 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018, Revised Selected Papers /
by:
(Language materials, printed)
OpenMP: Conquering the Full Hardware Spectrum = 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11–13, 2019, Proceedings /
by:
(Language materials, printed)
Transactions on High-Performance Embedded Architectures and Compilers V
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV /
by:
(Language materials, printed)
Advanced HDL Synthesis and SOC Prototyping = RTL Design Using Verilog /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLI = Special Issue on Data and Security Engineering /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part IV /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part V /
by:
(Language materials, printed)
Supercomputing = 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Trends in Functional Programming = 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Software Architecture = 13th European Conference, ECSA 2019, Paris, France, September 9–13, 2019, Proceedings /
by:
(Language materials, printed)
High-Performance Modelling and Simulation for Big Data Applications = Selected Results of the COST Action IC1406 cHiPSet /
by:
(Language materials, printed)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XLII
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science – ICCS 2019 = 19th International Conference, Faro, Portugal, June 12–14, 2019, Proceedings, Part I /
by:
(Language materials, printed)
Architecture of Computing Systems – ARCS 2019 = 32nd International Conference, Copenhagen, Denmark, May 20–23, 2019, Proceedings /
by:
(Language materials, printed)
Reversible Computation = 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings /
by:
(Language materials, printed)
Progress in Cryptology – LATINCRYPT 2017 = 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20–22, 2017, Revised Selected Papers /
by:
(Language materials, printed)
OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity = 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers /
by:
(Language materials, printed)
Cloud Computing and Big Data = 7th Conference, JCC&BD 2019, La Plata, Buenos Aires, Argentina, June 24–28, 2019, Revised Selected Papers /
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing = 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers /
by:
(Language materials, printed)
VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms = 26th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8–10, 2018, Revised and Extended Selected Papers /
by:
(Language materials, printed)
Programming and Performance Visualization Tools = International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers /
by:
(Language materials, printed)
VLSI-SoC: Opportunities and Challenges Beyond the Internet of Things = 25th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2017, Abu Dhabi, United Arab Emirates, October 23–25, 2017, Revised and Extended Selected Papers /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II /
by:
(Language materials, printed)
Computational Science and Its Applications – ICCSA 2019 = 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI /
by:
(Language materials, printed)
Show more
Fewer
Subjects