High Performance Computing

This book constitutes the proceedings of the Second Latin American Conference on High Performance Computing, CARLA 2015, a joint conference of the High-Performance Computing Latin America Community, HPCLATAM, and the Conferencia Latino Americana de Computación de Alto Rendimiento, CLCAR, held in Petrópolis, Brazil, in August 2015. The 11 papers presented in this volume were carefully revie…

Fault-Tolerance Techniques for High-Performance Computing

This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC). The text opens with a detailed introduction to the concepts of checkpoint protocols and scheduling algorithms, prediction, replication, silent error detection and correction, together with some application-specific techniques such as ABFT. Emphasis is placed on analytical perfo…

VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…

This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …

VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE Intern…

This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …

Low-Power VLSI Circuits and Systems

The book provides a comprehensive coverage of different aspects of low power circuit synthesis at various levels of design hierarchy; starting from the layout level to the system level. For a seamless understanding of the subject, basics of MOS circuits has been introduced at transistor, gate and circuit level; followed by various low-power design methodologies, such as supply voltage scaling, …

Trustworthy Computing and Services International Conference, ISCTCS 2014, Be…

This book constitutes the refereed proceedings of the International Standard Conference on Trustworthy Computing and Services, ISCTCS 2014, held in Beijing, China, in November 2014. The 51 revised full papers presented were carefully reviewed and selected from 279 submissions. The topics covered are architecture for trusted computing systems; trusted computing platform; trusted system building;…

Multiple Constant Multiplication Optimizations for Field Programmable Gate Ar…

Edition

1

ISBN/ISSN

978-3-658-13322-

Collation

XXXIII, 206

Series Title

-

Call Number

-

Languages, Design Methods, and Tools for Electronic System Design: Selected C…

This book brings together a selection of the best papers from the seventeenth edition of the Forum on specification and Design Languages Conference (FDL), which took place on October 14-16, 2014, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verif…

Beginning C for Arduino, Second Edition L Learn C Programming for the Arduino

Edition

-

ISBN/ISSN

978-1-4842-0940-0

Collation

XXVI, 388

Series Title

-

Call Number

004

Energy Minimization Methods in Computer Vision and Pattern Recognition 10th …

This volume constitutes the refereed proceedings of the 10th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, EMMCVPR 2015, held in Hong Kong, China, in January 2015. The 36 revised full papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on discrete and continuous optimization; image re…