Security and Privacy in Digital Economy
This book constitutes the refereed proceedings of the First International Conference on Security and Privacy in Digital Economy, ...
Weiterlesen
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 ...
Weiterlesen
Service Availability (vol. # 4328)
This book constitutes the thoroughly refereed post-proceedings of the Third International Service Availability Symposium, ...
Weiterlesen
Smart Grid and Internet of Things
This book constitutes the refereed proceedings of the Third EAI International Conference on Smart Grid and Internet of Things, ...
Weiterlesen
Soft Computing and its Engineering Applications
This book constitutes the refereed proceedings of the Second International Conference on Soft Computing and its Engineering ...
Weiterlesen
Software Architecture
This book constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference ...
Weiterlesen
Software Design for Resilient Computer Systems
This book addresses the question of how system software should be designed to account for faults, and which fault tolerance ...
Weiterlesen
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Weiterlesen
Software Technologies
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Weiterlesen
Software-Implemented Hardware Fault Tolerance
Software-Implemented Hardware Fault Tolerance addresses the innovative topic of software-implemented hardware fault tolerance ...
Weiterlesen
Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Weiterlesen
Standardized Functional Verification
Standardized Functional Verification describes the science of functional verification that applies to any digital hardware ...
Weiterlesen
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 ...
Weiterlesen
Supercomputing
This book constitutes the refereed post-conference proceedings of the 6th Russian Supercomputing Days, RuSCDays 2020, held ...
Weiterlesen
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 ...
Weiterlesen
Supercomputing Frontiers
This book It constitutes the refereed proceedings of the 4th Asian Supercomputing Conference, SCFA 2018, held in Singapore ...
Weiterlesen
Supercomputing Frontiers
This book cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, ...
Weiterlesen
System Verilog for Verification : A Guide to Learning the Testbench Language Features
This expanded book provides practical information for hardware and software engineers using the SystemVerilog language to ...
Weiterlesen
System-Level Design Techniques for Energy-Efficient Embedded Systems
System-Level Design Techniques for Energy-Efficient Embedded Systems addresses the development and validation of co-synthesis ...
Weiterlesen
System-level Test and Validation of Hardware
New manufacturing technologies have made possible the integration of entire systems on a single chip. This new design paradigm, ...
Weiterlesen
