Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /
Autores principales: | , |
---|---|
Autor Corporativo: | |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
New York, NY :
Springer New York : Imprint: Springer,
2010.
|
Edición: | 1st ed. 2010. |
Materias: |
Tabla de Contenidos:
- Related Work
- Background
- Low-Power Problem Formalization
- Heuristics for Power Savings
- Complexity Analysis of Scheduling in CAOS-Based Synthesis
- Dynamic Power Optimizations
- Peak Power Optimizations
- Verifying Peak Power Optimizations Using SPIN Model Checker
- Epilogue.