Alberto Sangiovanni-Vincentelli – författare

Visar alla böcker från författaren Alberto Sangiovanni-Vincentelli. Handla med fri frakt och snabb leverans.

22 produkter

Unknown Component Problem
Theory and Applications
Av Tiziano Villa, Nina Yevtushenko m. fl.
Inbunden, 2011
1640 kr
Lägg i varukorg
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions …
Unknown Component Problem
Theory and Applications
Av Alberto Sangiovanni-Vincentelli, Alexandre Petrenko m. fl.
E-bok, 2011
2111 kr
Lägg i varukorg
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions …
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
Av Alper Demir, Alberto Sangiovanni-Vincentelli
Inbunden, 1997
1643 kr
Lägg i varukorg
In electronic circuit and system design, the word noise is used to refer to any undesired excitation on the system. In other contexts, noise is also used to refer to signals or excitations which exhibit chaotic or random behavior. The source of noise can be either internal or external to the …
Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits
Av Henry Chang, Edoardo Charbon m. fl.
Inbunden, 1996
1643 kr
Lägg i varukorg
Analog circuit design is often the bottleneck when designing mixed analog-digital systems. A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits presents a new methodology based on a top-down, constraint-driven design paradigm that provides a solution to this problem. This …
Synthesis of Finite State Machines
Functional Optimization
Av Timothy Kam, Tiziano Villa m. fl.
Inbunden, 1996
1643 kr
Lägg i varukorg
Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of …
Hardware-Software Co-Design of Embedded Systems
The POLIS Approach
Av F. Balarin, Paolo Giusto m. fl.
Inbunden, 1997
1643 kr
Lägg i varukorg
Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). …
Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits
Av Iasson Vassiliou, Alberto Sangiovanni-Vincentelli m. fl.
E-bok, 2011
2111 kr
Lägg i varukorg
Analog circuit design is often the bottleneck when designing mixed analog-digital systems. A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits presents a new methodology based on a top-down, constraint-driven design paradigm that provides a solution to this problem. This …
Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits
Av Henry Chang, Edoardo Charbon m. fl.
Häftad, 2012
1643 kr
Lägg i varukorg
Analog circuit design is often the bottleneck when designing mixed analog-digital systems. A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits presents a new methodology based on a top-down, constraint-driven design paradigm that provides a solution to this problem. This …
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
Av Alper Demir, Alberto Sangiovanni-Vincentelli
Häftad, 2012
1643 kr
Lägg i varukorg
In electronic circuit and system design, the word noise is used to refer to any undesired excitation on the system. In other contexts, noise is also used to refer to signals or excitations which exhibit chaotic or random behavior. The source of noise can be either internal or external to the …
Hardware-Software Co-Design of Embedded Systems
The POLIS Approach
Av F. Balarin, Paolo Giusto m. fl.
Häftad, 2013
1643 kr
Lägg i varukorg
Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). …
Platform-Based Design
Av Alberto Sangiovanni-Vincentelli, Roberto Passerone
Inbunden, 2011
1843 kr
Kommande
Embedded Systems design becomes more complex as increasingly sophisticated functionality is added to designs. In addition to considerations of cost, performance, and time-to-market, various system integration issues become challenging, given the inherently heterogeneous nature of embedded systems. …
Embedded Systems Development
From Functional Models to Implementations
Av Alberto Sangiovanni-Vincentelli, Haibo Zeng m. fl.
Inbunden, 2013
1131 kr
Lägg i varukorg
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a …
Embedded Systems Development
From Functional Models to Implementations
Av Peter Marwedel, Marco Di Natale m. fl.
E-bok, 2013
1459 kr
Lägg i varukorg
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a …
Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems
Av Alberto Sangiovanni-Vincentelli, Alper Demir
E-bok, 2012
2065 kr
Lägg i varukorg
In electronic circuit and system design, the word noise is used to refer to any undesired excitation on the system. In other contexts, noise is also used to refer to signals or excitations which exhibit chaotic or random behavior. The source of noise can be either internal or external to the …
Hardware-Software Co-Design of Embedded Systems
The POLIS Approach
Av Kei Suzuki, Alberto Sangiovanni-Vincentelli m. fl.
E-bok, 2012
2111 kr
Lägg i varukorg
Embedded systems are informally defined as a collection of programmable parts surrounded by ASICs and other standard components, that interact continuously with an environment through sensors and actuators. The programmable parts include micro-controllers and Digital Signal Processors (DSPs). …
Unknown Component Problem
Theory and Applications
Av Tiziano Villa, Nina Yevtushenko m. fl.
Häftad, 2014
1643 kr
Lägg i varukorg
The Problem of the Unknown Component: Theory and Applications addresses the issue of designing a component that, combined with a known part of a system, conforms to an overall specification. The authors tackle this problem by solving abstract equations over a language. The most general solutions …
Embedded Systems Development
From Functional Models to Implementations
Av Alberto Sangiovanni-Vincentelli, Haibo Zeng m. fl.
Häftad, 2015
1129 kr
Lägg i varukorg
This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems. The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a …
Security-Aware Design for Cyber-Physical Systems
A Platform-Based Approach
Av Chung-Wei Lin, Alberto Sangiovanni-Vincentelli
Inbunden, 2017
1316 kr
Lägg i varukorg
Addressing the rising security issues during the design stages of cyber-physical systems, this book develops a systematic approach to address security at early design stages together with all other design constraints. Cyber-attacks become more threatening as systems are becoming more connected with …
Security-Aware Design for Cyber-Physical Systems
A Platform-Based Approach
Av Alberto Sangiovanni-Vincentelli, Chung-Wei Lin
E-bok, 2017
1746 kr
Lägg i varukorg
Addressing the rising security issues during the design stages of cyber-physical systems, this book develops a systematic approach to address security at early design stages together with all other design constraints. Cyber-attacks become more threatening as systems are becoming more connected with …
Security-Aware Design for Cyber-Physical Systems
A Platform-Based Approach
Av Chung-Wei Lin, Alberto Sangiovanni-Vincentelli
Häftad, 2018
1316 kr
Lägg i varukorg
Addressing the rising security issues during the design stages of cyber-physical systems, this book develops a systematic approach to address security at early design stages together with all other design constraints. Cyber-attacks become more threatening as systems are becoming more connected with …
Embedded Software
Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Av Alberto Sangiovanni-Vincentelli, Joseph Sifakis
Häftad, 2002
569 kr
Lägg i varukorg
The purpose of the EMSOFT Workshop, inaugurated last year at Lake Tahoe, is to bring together researchers and practitioners interested in the foundations and methods of embedded software design with the goal of improving subst- tially the state of the art and stimulating the debate between …
Embedded Software
Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Av Joseph Sifakis, Alberto Sangiovanni-Vincentelli
E-bok, 2003
755 kr
Lägg i varukorg