Stochastic Models for Fault Tolerance: Restart, Rejuvenation and Checkpointing
As modern society relies on the fault-free operation of complex computing systems, system fault-tolerance has become an indispensable requirement. Therefore, we need mechanisms that guarantee correct...
View ArticleArchitecting Critical Systems: First International Symposium, Prague, Czech...
This book constitutes the proceedings of the First International Symposium on Architecting Critical Systems, ISARCS 2010, held in Prague, Czech Republic, in June 2010.
View ArticleLogic-Based Program Synthesis and Transformation: 19th International...
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra,...
View ArticleParallel Programming: for Multicore and Cluster Systems
Innovations in hardware architecture, like hyper-threading or multicore processors, mean that parallel computing resources are available for inexpensive desktop computers. In only a few years, many...
View ArticleHandbook of FPGA Design Security
The purpose of Handbook of FPGA Design Security is to provide a practical approach to managing security in FPGA designs for researchers and practitioners in the electronic design automation (EDA) and...
View ArticleFault-Tolerance Techniques for SRAM-Based FPGAs (Frontiers in Electronic...
This book reviews fault-tolerance techniques for SRAM-based Field Programmable Gate Arrays (FPGAs), outlining many methods for designing fault tolerance systems. Some of these are based on new...
View ArticleHPC@Green IT: Green High Performance Computing Methods
The authors present methods to reduce computer energy consumption by means of a better usage of a specific set of resources and maximizing the efficiency of the running applications. The processor...
View ArticleWindows System Programming (4th Edition) (Addison-Wesley Microsoft Technology...
“If you’re writing a native Win32 program or just want to know what the OS is really doing underneath, you need John’s book. He covers the stuff that real systems programmers absolutely must know....
View ArticleMethodologies for Control of Jump Time-Delay Systems
This book is about time-domain modelling, stability, stabilization, control design and filtering for JTDS. It gives readers a thorough understanding of the basic mathematical analysis and fundamentals,...
View ArticleIEC 61131-3: Programming Industrial Automation Systems: Concepts and...
This practical book gives a comprehensive introduction to the concepts and languages of the new standard IEC 61131 used to program industrial control systems. A summary of the special requirements in...
View Article