Choose an application

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

This book constitutes the proceedings of the 18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021, which was held in Paris, France during November 3-5, 2021. The 20 papers presented in this volume were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: algorithms and applications; system software and resource management; storage; and networks and communications.

Parallel processing (Electronic computers) --- Computer engineering. --- Computer networks. --- Software engineering. --- Microprogramming. --- Numerical analysis. --- Computer Engineering and Networks. --- Software Engineering. --- Control Structures and Microprogramming. --- Numerical Analysis. --- Computer programming --- 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 --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Mathematical analysis --- Distributed processing --- Design and construction

Choose an application

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

This book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6–8, 2021. The conference was held virtually due to the COVID-19 crisis. The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.

Programming languages (Electronic computers) --- Software engineering --- Software engineering. --- Computer software engineering --- Engineering --- Computers, Special purpose. --- Computer systems. --- Microprogramming. --- Computer networks. --- Computer programming. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Computer System Implementation. --- Control Structures and Microprogramming. --- Computer Communication Networks. --- Programming Techniques. --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- 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 --- Network computers --- Computer programming --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Special purpose computers --- Programming --- Distributed processing

Choose an application

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

This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually. There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality and much more. .

Computer science. --- Software engineering. --- Compilers (Computer programs). --- Computer networks. --- Microprogramming. --- Computers. --- Computer Science Logic and Foundations of Programming. --- Software Engineering. --- Compilers and Interpreters. --- Computer Communication Networks. --- Control Structures and Microprogramming. --- Computer Hardware. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer programming --- 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 --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software --- Computer software engineering --- Engineering --- Informatics --- Science --- Distributed processing

Choose an application

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

High performance computing. --- Microprogramming. --- Computer programming. --- Càlcul intensiu (Informàtica) --- Programació (Ordinadors) --- Programació d'ordinadors --- Programació (Informàtica) --- Algorismes --- Informàtica --- Models matemàtics --- Enginyeria de programari --- Estructures de dades (Informàtica) --- Manteniment del programari --- Programació de robots --- Programació en Internet --- Programació evolutiva (Informàtica) --- Programació lògica --- Programació orientada a l'objecte (Informàtica) --- Programació per restriccions --- Programació en paral·lel (Informàtica) --- Programes d'ordinador --- Càlcul d'alt rendiment (Informàtica) --- Computació d'alt rendiment --- HPC (Informàtica) --- Informàtica d'alt rendiment --- Superinformàtica --- Computació distribuïda --- Processament en paral·lel (Ordinadors) --- Superordinadors --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer programming --- HPC (Computer science) --- Cyberinfrastructure --- Supercomputers --- Programming

Choose an application

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

This book constitutes the proceedings of the Third International Conference on Microelectronic Devices, Circuits and Systems, ICMDCS 2022, was held in Vellore, India, in August 2022. The 9 full papers and 5 short paper presented in this volume were carefully reviewed and selected from 84 submissions. The papers are organized in the following topical sections: System Level Design; Digital Design; Analog, Mixed-Signal and RF Design; and Emerging Technologies.

Microelectronics --- Signal processing --- Microelectronics. --- Digital techniques. --- Microminiature electronic equipment --- Microminiaturization (Electronics) --- Electronics --- Microtechnology --- Semiconductors --- Miniature electronic equipment --- Digital signal processing --- Digital communications --- Digital electronics --- Computer engineering. --- Computer networks. --- Coding theory. --- Information theory. --- Application software. --- Artificial intelligence. --- Image processing—Digital techniques. --- Computer vision. --- Microprogramming. --- Computer Engineering and Networks. --- Coding and Information Theory. --- Computer and Information Systems Applications. --- Artificial Intelligence. --- Computer Imaging, Vision, Pattern Recognition and Graphics. --- Control Structures and Microprogramming. --- Machine vision --- Vision, Computer --- Artificial intelligence --- Image processing --- Pattern recognition systems --- 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 --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Communication theory --- Communication --- Cybernetics --- Data compression (Telecommunication) --- Information theory --- Signal theory (Telecommunication) --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Network computers --- Computers --- Distributed processing --- Design and construction