Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /

Detalles Bibliográficos
Autores principales: Singh, Gaurav. (Autor), Shukla, Sandeep Kumar. (Autor)
Autor Corporativo: SpringerLink (Online service)
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.