Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic ...
Continue reading
Accelerator Programming Using Directives
This book constitutes the refereed post-conference proceedings of the 6th International Workshop on Accelerator Programming ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Advanced Parallel Processing Technologies
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
Continue reading
Advanced Parallel Processing Technologies
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
Continue reading
Advanced Parallel Processing Technologies
APPT was upgraded to the International Symposium on Advanced Parallel Processing Technologies. However, it kept its traditional ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Architecture of Computing Systems
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, ...
Continue reading
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Continue reading
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 ...
Continue reading
Clock Generators for SOC Processors
On the architectural level, the discussion includes PLL analysis using continuous-time as well as discre- time models, linear ...
Continue reading
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 ...
Continue reading
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 ...
Continue reading
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Continue reading
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 ...
Continue reading
Dependable Embedded Systems
This book introduces readers to many new techniques for enhancing and optimizing reliability in embedded systems, which have ...
Continue reading
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
Continue reading
