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