Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures
- Pierluigi Nuzzo
- Nikunj Bajaj
- et al.
- 2020
- IEEE TCADIS
Publications
Date
Featured collections
Popular topics
15 results for Alberto L. Sangiovanni-Vincentelli
CHASE: Contract-based requirement engineering for cyber-physical system design
- Pierluigi Nuzzo
- Michele Lora
- et al.
- 2018
- DATE 2018
Optimized selection of reliable and cost-effective cyber-physical system architectures
- Nikunj Bajaj
- Pierluigi Nuzzo
- et al.
- 2015
- DATE 2015
An embedded system for an eye-detection sensor
- Arnon Amir
- Lior Zimet
- et al.
- 2005
- Computer Vision and Image Understanding
Two-Level Minimization of Multivalued Functions with Large Offsets
- Robert K. Brayton
- A. Richard Newton
- et al.
- 1993
- IEEE TC
Reduced Offsets for Minimization of Binary-Valued Functions
- Abdul A. Malik
- Robert K. Brayton
- et al.
- 1991
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Reduced offsets for two-level multi-valued logic minimization
- Abdul A. Malik
- R. Brayton
- et al.
- 1990
- DAC 1990
MULTI-LEVEL LOGIC OPTIMIZATION SYSTEM.
- R. Brayton
- E. Detjens
- et al.
- 1985
- ICCAD 1985
MULTI-LEVEL LOGIC MINIMIZATION USING IMPLICIT DON'T CARES.
- K.A. Bartlett
- R. Brayton
- et al.
- 1985
- ICCD 1985
Optimal State Assignment for Finite State Machines
- Giovanni De Micheli
- Robert K. Brayton
- et al.
- 1985
- IEEE TCADIS