Abstraction Refinement for Large Scale Model Checking
This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...
Weiterlesen
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 ...
Weiterlesen
Advanced Motion Control and Sensing for Intelligent Vehicles
Advanced Motion Control and Sensing for Intelligent Vehicles provides the latest information in intelligent vehicle control, ...
Weiterlesen
Historical Background of Wang Yang-ming’s Philosophy of Mind From the Perspective of his Life Story
This book offers comprehensive information on Wang Yang-ming’s life, helping readers identify and grasp the foundations ...
Weiterlesen
Preserving Privacy in On-Line Analytical Processing (OLAP)
Preserving Privacy in On-Line Analytical Processing reviews a series of methods that can precisely answer data cube-style ...
Weiterlesen
Sub-threshold Design for Ultra-Low Power Systems
Although energy dissipation has improved with each new technology node, because SoCs are integrating tens of million devices ...
Weiterlesen
