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
اقرأ المزيد
