Login / Signup
A Formally Verified Peak-Power Reduction Technique for Hardware Synthesis from Concurrent Action-Oriented Specifications.
Gaurav Singh
Jacob B. Schwartz
Sandeep K. Shukla
Published in:
J. Low Power Electron. (2009)
Keyphrases
</>
power reduction
power consumption
low power
power saving
low cost
multithreading
power dissipation
high level
real time
image processing
energy efficiency
wireless sensor networks
massively parallel
energy saving