Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Computer logic. --- Natural language processing (Computer science). --- Microprogramming . --- Special purpose computers. --- Software engineering. --- Logics and Meanings of Programs. --- Natural Language Processing (NLP). --- Control Structures and Microprogramming. --- Special Purpose and Application-Based Systems. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Engineering --- Special purpose computers --- Computers --- Computer programming --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Computer science logic --- Logic, Symbolic and mathematical --- Computer science --- Computer logic --- Computer science. --- Microprogramming. --- Computers, Special purpose. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book introduces the reader to FPGA based design for RTL synthesis. It describes simple to complex RTL design scenarios using SystemVerilog. The book builds the story from basic fundamentals of FPGA based designs to advance RTL design and verification concepts using SystemVerilog. It provides practical information on the issues in the RTL design and verification and how to overcome these. It focuses on writing efficient RTL codes using SystemVerilog, covers design for the Xilinx FPGAs and also includes implementable code examples. The contents of this book cover improvement of design performance, assertion based verification, verification planning, and architecture and system testing using FPGAs. The book can be used for classroom teaching or as a supplement in lab work for undergraduate and graduate coursework as well as for professional development and training programs. It will also be of interest to researchers and professionals interested in the RTL design for FPGA and ASIC.

SystemVerilog (Computer hardware description language) --- System Verilog (Computer hardware description language) --- Verilog, System (Computer hardware description language) --- Computer hardware description languages --- Integrated circuits --- Computer simulation --- Electronic circuits. --- Microprogramming . --- Electronics. --- Microelectronics. --- Circuits and Systems. --- Control Structures and Microprogramming. --- Electronics and Microelectronics, Instrumentation. --- Electronic Circuits and Devices. --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Electrical engineering --- Physical sciences --- Computer programming --- Electron-tube circuits --- Electric circuits --- Electron tubes

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book highlights practical solutions for flight safety improvement techniques, which are currently the focus of the International Civil Aviation Organization (ICAO). It has become clear that, in order to rapidly and significantly improve flight safety, the integrated use of new aeronautical technologies is called for. Considering the size of the aviation fleet, its constant growth and the long service lives of aircraft, new technologies should be adapted both to cutting-edge air navigation systems and to those that have been used for over a decade. Concretely, the book discusses methodological approaches to the construction of ground and on-board avionics that make it possible to achieve improved flight safety using innovative new methods. The proposed approaches are illustrated with real-world examples of e.g. satellite-based navigation systems and enhanced ground proximity warning systems. The book is written for professionals involved in the development of avionics systems, as well as students, researchers and experts in the field of radiolocation, radio navigation and air traffic control, the book will support the development and modeling of radio technical complexes, as well as the analysis of complex radio technical systems.

Astronautics. --- Wireless communication systems. --- Mobile communication systems. --- Microprogramming. --- Electronics. --- Engineering. --- Aerospace Technology and Astronautics. --- Wireless and Mobile Communication. --- Control Structures and Microprogramming. --- Signal, Image and Speech Processing. --- Electronics and Microelectronics, Instrumentation. --- Computational Intelligence. --- Construction --- Industrial arts --- Technology --- Electrical engineering --- Physical sciences --- Computer programming --- Vehicles --- Vehicular communication systems --- Radio --- Wireless communication systems --- Communication systems, Wireless --- Wireless data communication systems --- Wireless information networks --- Wireless telecommunication systems --- Telecommunication systems --- Space sciences --- Aeronautics --- Astrodynamics --- Space flight --- Space vehicles --- Communication systems --- Aerospace engineering. --- Microprogramming . --- Signal processing. --- Image processing. --- Speech processing systems. --- Microelectronics. --- Computational intelligence. --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Computational linguistics --- Electronic systems --- Information theory --- Modulation theory --- Oral communication --- Speech --- Telecommunication --- Singing voice synthesizers --- Pictorial data processing --- Picture processing --- Processing, Image --- Imaging systems --- Optical data processing --- Processing, Signal --- Information measurement --- Signal theory (Telecommunication) --- Aeronautical engineering --- Astronautics --- Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes revised selected papers from the workshops held at 25th International Conference on Parallel and Distributed Computing, Euro-Par 2019, which took place in Göttingen, Germany, in August 2019. The 53 full papers and 10 poster papers presented in this volume were carefully reviewed and selected from 77 submissions. Euro-Par is an annual, international conference in Europe, covering all aspects of parallel and distributed processing. These range from theory to practice, from small to the largest parallel and distributed systems and infrastructures, from fundamental computational problems to full-edged applications, from architecture, compiler, language and interface design and implementation to tools, support infrastructures, and application performance aspects. Chapter "In Situ Visualization of Performance-Related Data in Parallel CFD Applications" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Parallel processing (Electronic computers) --- Computer organization. --- Software engineering. --- Computers. --- Microprogramming . --- Logic design. --- Computer Systems Organization and Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Information Systems and Communication Service. --- Control Structures and Microprogramming. --- Logic Design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer programming --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Computer engineering. --- Computer networks. --- Microprogramming. --- Computer Engineering and Networks. --- Software Engineering. --- Computer Communication Networks. --- 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 --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Distributed processing --- Design and construction

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020. The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints. Due to the Corona pandemic this conference was held as a virtual event.

Computers. --- Artificial intelligence. --- Microprogramming . --- Architecture, Computer. --- Special purpose computers. --- Computer hardware. --- Theory of Computation. --- Artificial Intelligence. --- Control Structures and Microprogramming. --- Computer System Implementation. --- Special Purpose and Application-Based Systems. --- Computer Hardware. --- Formal methods (Computer science) --- Computer simulation --- Temporal automata --- Automata, Temporal --- Machine theory --- Special purpose computers --- Computers --- Architecture, Computer --- Computer programming --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Computer science. --- Microprogramming. --- Computer systems. --- Computers, Special purpose. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Electronic systems --- Cyberinfrastructure --- Informatics --- Science