Home Advanced Search

Advanced Search - Page 1

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
  • PDF
  • English
  • Year: 2001
  • Author: Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)
Algorithms for Synthesis and Testing of Asynchronous Circuits
  • PDF
  • English
  • Year: 2012
  • Author: Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
Synchronous Equivalence: Formal Methods for Embedded Systems
  • PDF
  • English
  • Year: 2001
  • Author: Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)
Function/Architecture Optimization and Co-Design of Embedded Systems
  • PDF
  • English
  • Year: 2000
  • Author: Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)
Embedded Systems Development: From Functional Models to Implementations
  • PDF
  • English
  • Year: 2014
  • Author: Alberto Sangiovanni-Vincentelli, Haibo Zeng (auth.), Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (eds.)
Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach
  • PDF
  • English
  • Year: 2017
  • Author: Chung-Wei Lin, Alberto Sangiovanni Vincentelli
Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach
  • PDF
  • English
  • Year: 2017;2018
  • Author: Lin, Chung-Wei;Sangiovanni-Vincentelli, Alberto
Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems
  • EPUB
  • English
  • Year: 2015
  • Author: Chung-Wei Lin;Alberto Sangiovanni-Vincentelli
Advanced Techniques in Logic Synthesis, Optimizations and Applications
  • PDF
  • English
  • Year: 2011
  • Author: Victor Kravets, Alan Mishchenko, Smita Krishnasamy, Nilesh Modi, Robert Brayton, Ruchir Puri, Kanupriya Gulati, Sunil Khatri (eds.)
search