Electronic Books

Total Books: 1 - 20 /109

Abstract Computing Machines

The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...

Accelerator Programming Using Directives

This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...

Adaptive Techniques for Dynamic Processor Optimization : Theory and Practice

This book discusses the different approaches and responses to adaptive techniques used for processor power, frequency and ...

Advanced Environments, Tools, and Applications for Cluster Computing

Started by small group of well known scientists with the aim of sharing knowledge, experiences, and results on all aspects ...

Advanced Memory Optimization Techniques for Low-Power Embedded Processors

this book explores a collaborative approach by proposing novel memory hierarchies and software optimization techniques for ...

Advanced Parallel Processing Technologies

APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...

Advanced Parallel Processing Technologies

APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...

Advanced Parallel Processing Technologies

APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...

Advances in Computer Systems Architecture (vol. # 3740)

This book constitutes the proceedings of the 2005 Asia-Paci?c Computer Systems Architecture Conference (ACSAC 2005) held ...

Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...

Architecture of Computing Systems

This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

CMOS Multi-Channel Single-Chip Receivers for Multi-Gigabit Optical Data Communications

This book focuses on optical communications for short and very short distance applications and discusses the monolithic integration ...

Clock Generators for SOC Processors

On the architectural level, the discussion includes PLL analysis using continuous-time as well as discre- time models, linear ...

Co-design for System Acceleration

This book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface ...

Communication System Design Using DSP Algorithms with Laboratory Experiments for the TMS320C6713¿ DSK

Designed for senior electrical engineering students, this textbook explores the theoretical concepts of digital signal processing ...

Computer Aided Verification (vol. # 3576)

This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...

Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems

Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control ...

Dependable Embedded Systems

This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...

Design of Embedded Control Systems

A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book

Total Books: 1 - 20 /109