Low power hardware synthesis from concurrent action-oriented specifications :: SCD d'Orléans

Low power hardware synthesis from concurrent action-oriented specifications

Low power hardware synthesis from concurrent action-oriented specifications

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Sandeep K. Shukla This 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...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteurs:	Singh, Gaurav, Shukla, Sandeep Kumar (Auteur)
Formaat:	Livre numérique
Taal:	Anglais
Gepubliceerd in:	New York, NY : Springer New York 2010. Cham : Springer Nature
Online toegang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Opmerking:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications, Texte imprimé, 9781441964809 • Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications, Texte imprimé, 9781441964823 • Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications, Texte imprimé, 9781489987020

Gelijkaardige items

Low Power Design with High-Level Power Estimation and Power-Aware Synthesis
door: Ahuja, Sumit, et al.
Gepubliceerd in: (2012)

Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings

Hardware/software architectures for low-power embedded multimedia systems
door: Shafique, Muhammad, et al.
Gepubliceerd in: (2011)

Co-Synthesis of Hardware and Software for Digital Embedded Systems
door: Gupta, Rajesh Kumar

Object-Oriented Behavioral Specifications
door: Kilov, Haim, et al.

Higher-level hardware synthesis
door: Sharp, Richard, 1978-...., chercheur en informatique

Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction
door: Shukla, Sandeep K.
Gepubliceerd in: (2010)

Diversity Oriented Synthesis
Gepubliceerd in: (2021)

Hardware verification with systemverilog : an object-oriented framework
door: Mintz, Mike, et al.
Gepubliceerd in: (2007)

Modular specification and verification of object-oriented programs
door: Müller, Peter, 1961-...., informaticien

VHDL for Simulation, Synthesis and Formal Proofs of Hardware

Specification and verification of object-oriented software components
door: Roth, Andreas
Gepubliceerd in: (2021)

Algebraic specification techniques in object oriented programming environments
door: Breu, Ruth, 19..-

Hardware-Software Co-Synthesis of Distributed Embedded Systems
door: Yen, Ti-Yen, et al.

Logic Synthesis for Low Power VLSI Designs
door: Iman, Sasan, et al.

Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
door: Agha, Gul A.

VLSI Specification, Verification and Synthesis

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits.
door: Patra, Priyardarsan, et al.

Fuzzy Hardware : Architectures and Applications

Designing embedded hardware
door: Catsoulis, John
Gepubliceerd in: (2005)

An ASIC Low Power Primer : Analysis, Techniques and Specification
door: Chadha, Rakesh, et al.
Gepubliceerd in: (2013)

[Synthesis] Doing, Saying, Embodying: Methodological Perspectives at the Intersection of Action-Oriented and Performative Approaches in Language Teaching
door: Eschenauer, Sandrine, et al.
Gepubliceerd in: (2025)

Hardware-dependent software : principles and practice
Gepubliceerd in: (2009)

Hardware and Computer Organization : The Software Perspective
door: Berger, Arnold
Gepubliceerd in: (2005)

Prospects for hardware foundations : ESPRIT Working Group 8533, NADA - new hardware design methods, survey chapters
door: Möller, Bernhard, 1953-

Smart and Low Carbon Emission-Oriented Maritime Traffic Management and Controlling
Gepubliceerd in: (2026)

Introduction to hardware security and trust
Gepubliceerd in: (2012)

Hardware/Software Co-Design

Hardware Implementation of Intelligent Systems

The Verilog® Hardware Description Language
door: Thomas, Donald E., 1951-, et al.

The Verilog® Hardware Description Language
door: Thomas, Donald E., 1951-, et al.

The Verilog® Hardware Description Language
door: Thomas, Donald E., 1951-, et al.

Hardware Design and Petri Nets

The Verilog® Hardware Description Language
door: Thomas, Donald E., 1951-, et al.

The Verilog® Hardware Description Language
door: Thomas, Donald E., 1951-, et al.

Cryptographic Algorithms on Reconfigurable Hardware
door: Rodríguez Henríquez, Francisco, 19..-, et al.

VHDL: Hardware Description and Design
door: Lipsett, Roger, 1953-, et al.

The Verillog® Hardware Description Language
door: Thomas, Donald E., 1951-, et al.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales