The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Most popular at the top
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications
Springer 2010; US$ 99.99This book introduces novel techniques for generating low-power hardware from a high-level description of a design in terms of Concurrent Action-Oriented Specifications (CAOS). It also describes novel techniques for formal verification of such designs. It will provide the readers with definitions of various power optimization and formal verification... more...
Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design
Artech House 2009; US$ 129.00This cutting-edge resource offers you an in-depth understanding of metamodeling approaches for the reuse of intellectual properties (IPs) in the form of reusable design or verification components. The books covers the essential issues associated with fast and effective integration of reusable design components into a system-on-a-chip (SoC) to achieve... more...
SystemC Kernel Extensions for Heterogeneous System Modeling
Springer 2004; US$ 189.00SystemC Kernel Extensions for Heterogeneous System Modeling is a result of an almost two year endeavour on our part to understand how SystemC can be made useful for system level modeling at higher levels of abstraction. Making it a truly heterogeneous modeling language and platform, for hardware/software co-design as well as complex embedded hardware... more...
Ingredients for Successful System Level Design Methodology
Springer 2008; US$ 119.99System Level Design (SLD) and Electronic System Level (ESL) Design are buzzwords of todayâ??s Electronic Design Automation industry. The idea is to raise the level of abstraction of the design entry for future hardware systems beyond the register transfer level. This is necessitated by the increasing complexity of the systems, co-dependence between... more...
Fundamental Problems in Computing
Springer 2009; US$ 99.99A work in honor of Professor Daniel J Rosenkrantz who has made seminal contributions to many subareas of Computer Science including formal languages and compilers, automata theory, algorithms, database systems, very large scale integrated systems, fault-tolerant computing and discrete dynamical systems. more...
Stimuli Responsive Drug Delivery Systems
iSmithers Rapra Publishing 2010; US$ 250.00Stimuli responsive drug delivery systems have emerged as one of the most innovative classes of polymer materials of modern materials science. The polymer architectures exhibiting a large change in their physico chemical behaviors in response to minor signals from the environments have fabricated potentially useful materials for pharmaceutical and biomedical... more...
Synthesis of Embedded Software
Springer 2010; US$ 139.99Embedded software is ubiquitous today. There are millions of lines of embedded code in smart phones, and even more in systems responsible for automotive control, avionics control, weapons control and space missions. Some of these are safety-critical systems whose correctness, timely response, and reliability are of paramount importance. These requirement... more...
Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
Springer 2011; US$ 99.99This book presents novel research techniques, algorithms, methodologies and experimental results for high level power estimation and power aware high-level synthesis. Readers will learn to apply such techniques to enable design flows resulting in shorter time to market and successful low power ASIC/FPGA design. more...
- 1
- Page







