Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
This State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing ...
اقرأ المزيدRobotics Research
This volume contains a collection of 50 contributed papers, which were presented at the 12th International Symposium of Robotics ...
اقرأ المزيد
Security and Privacy in Social Networks and Big Data
This book constitutes revised and selected papers from the 6th International Symposium on Security and Privacy in Social ...
اقرأ المزيد
Shared Memory Parallel Programming with Open MP
Contributors to the WOMPAT 2004 OMPlab included IBM, Intel, Sun, the University of Tennessee, NASA, the University of Greenwich, ...
اقرأ المزيد
Smart Devices and Machines for Advanced Manufacturing
The book consists of two major sections, with the first section presenting a broad-based review of several key areas of research ...
اقرأ المزيد
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
اقرأ المزيد
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing / Roger Lee, Jong Bae Kim
Presents scientific results of the 21st ACIS International Winter Conference on Software Engineering, Artificial Intelligence, ...
اقرأ المزيد
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
اقرأ المزيد
Structural Information and Communication Complexity : 28th International Colloquium, SIROCCO 2021, Wrocław, Poland, June 28 – July 1, 2021, Proceedings
This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information ...
اقرأ المزيد
Structural Synthesis of Parallel Robots
This is the first book of robotics presenting solutions of uncoupled and fully-isotropic parallel robotic manipulators and ...
اقرأ المزيد
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
اقرأ المزيد
Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
This book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned ...
اقرأ المزيد
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
اقرأ المزيد
The Cycle of Deviant Behavior
To conduct this study on criminal and antisocial behavior, the authors devoted years to collecting data from a large community ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II
This two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
اقرأ المزيد
Tools and Algorithms for the Construction and Analysis of Systems
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
اقرأ المزيد
Tools for High Performance Computing : Proceedings of the 2nd International Workshop on Parallel Tools for High Performance Computing, July 2008, HLRS, Stuttgart
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
اقرأ المزيد
Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges
This book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together ...
اقرأ المزيد
Transactions on High-Performance Embedded Architectures and Compilers I
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
اقرأ المزيدType Synthesis of Parallel Mechanisms
This unique monograph focuses on the systematic type synthesis of parallel mechanisms (PMs), which is a key issue in the ...
اقرأ المزيد
