Synthesis of Finite State Machines : :: SCD d'Orléans

Synthesis of Finite State Machines : Functional Optimization

Synthesis of Finite State Machines : Functional Optimization

Gorde:

Xehetasun bibliografikoak
Egile Nagusiak:	Kam, Timothy, Brayton, Robert King, 1933- (Egilea), Sangiovanni-Vincentelli, Alberto, 1947-...., mathématicien (Egilea), Villa, Tiziano (Egilea)
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Cham : Springer International Publishing [20..]. Cham : Springer Nature
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Autre(s) auteurs(s) : Alberto Sangiovanni-Vincentelli Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Synthesis of Finite State Machines, Functional Optimization

Antzeko izenburuak

Synthesis of Finite State Machines : Logic Optimization
nork: Villa, Tiziano, et al.

Logic Synthesis for Field-Programmable Gate Arrays
nork: Murgai, Rajeev, 1966-, et al.

Finite state machine logic synthesis for complex programmable logic devices
nork: Czerwinski, Robert, et al.
Argitaratua: (2013)

Sequential Optimization of Asynchronous and Synchronous Finite-State Machines : Algorithms and Tools
nork: Fuhrer, Robert M., et al.

Logic Minimization Algorithms for VLSI Synthesis
nork: Brayton, Robert King, 1933-, et al.

Algorithms for Synthesis and Testing of Asynchronous Circuits
nork: Lavagno, Luciano, 1959-, et al.

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
nork: Khatri, Sunil P., et al.

The unknown component problem : theory and applications
nork: Villa, Tiziano, et al.

Function/Architecture Optimization and Co-Design of Embedded Systems
nork: Tabbara, Bassam, et al.

Finite Element Analysis of Electrical Machines
nork: Salon, S. J.

Steady-State Methods for Simulating Analog and Microwave Circuits
nork: Kundert, Kenneth S., 19..-, et al.

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
nork: Demir, Alper, et al.

Noise Analysis of Radio Frequency Circuits
nork: Mehrotra, Amit, et al.

Functionals of finite Riemann surfaces
nork: Schiffer, Menahem, 1911-1997, et al.
Argitaratua: (1954)

Convexity and optimization in finite dimensions.
nork: Stoer, Josef, 1934-, et al.
Argitaratua: (1970)

Relaxation Techniques for the Simulation of VLSI Circuits
nork: White, Jacob K., et al.

Electronic States in Crystals of Finite Size : Quantum Confinement of Bloch Waves
nork: REN, SHANGYUAN

Finite geometries
nork: Dembowski, Peter, 1928-1971, mathématicien
Argitaratua: (1968)

Equations over finite fields : an elementary approach
nork: Schmidt, Wolfgang M., 1933-...., mathématicien

Solid State Physics of Finite Systems : Metal Clusters, Fullerenes, Atomic Wires
nork: Broglia, Ricardo A., 1939-, et al.

Convexity and Optimization in Finite Dimensions I
nork: Stoer, Josef, 1934-, et al.

Finite and Locally Finite Groups

Finite reflection groups
nork: Grove, Larry C., 1938-...., mathématicien, et al.
Argitaratua: (1985)

Synchronous Equivalence : Formal Methods for Embedded Systems
nork: Hsieh, Harry, et al.

Basic Finite Element Method as Applied to Injury Biomechanics
nork: Yang, King-Hay
Argitaratua: (2017)

Regular Fabrics in Deep Sub-Micron Integrated-Circuit Design
nork: Mo, Fan, et al.

Finite Geometries : Reprint of the 1968 Edition
nork: Dembowski, Peter, 1928-1971, mathématicien

Finite free resolutions
nork: Northcott, Douglas Geoffrey, 1916-2005, mathématicien
Argitaratua: (1976)

Cohomology of Finite Groups
nork: Adem, Alejandro, 1961-...., mathématicien, et al.

Substrate Noise : Analysis and Optimization for IC Design
nork: Charbon, Edoardo, et al.

Nonlinear Optimization in Finite Dimensions : Morse Theory, Chebyshev Approximation, Transversality, Flows, Parametric Aspects
nork: Jongen, Hubertus Th., 1947-, et al.

The finite simple groups
nork: Wilson, Robert A.

Biset Functors for Finite Groups
nork: Bouc, Serge, mathématicien

Integrating Functional and Temporal Domains in Logic Design : The False Path Problem and Its Implications
nork: McGeer, Patrick Lucey, 1927-2022, et al.

Cohomology of Finite Groups
nork: Adem, Alejandro, 1961-...., mathématicien, et al.

Finite Geometry and Character Theory
nork: Pott, Alexander, 1961-...., mathématicien

Representing finite groups : a semisimple introduction
nork: Sengupta, Ambar, 1963-...., mathématicien
Argitaratua: (2012)

Gamification and human-machine interaction: a synthesis
nork: Marache-Francisco, Cathie, et al.
Argitaratua: (2015)

Classical finite transformation semigroups : an introduction
nork: Ganyushkin, Olexandr, 19..-...., mathématicien, et al.

Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings

© 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