Jump to main content

yr 〜
yr

Search results 18

Security-aware design for cyber-physical systems : a platform-based approach : hardback

Security-aware design for cyber-physical systems : a platform-based approach : hardback
Paper図書
Chung-Wei Lin, Alberto Sangiovanni-VincentelliSpringerc2017
Other Libraries in Japan

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2491)

Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings. : Oct 2002, Grenoble, France. (Lecture Notes in Computer Science ; 2491)
Paper図書
Springer2002.<M17-03-188>
National Diet Library
  • Author HeadingVerimag Laboratory. Sangiovanni-Vincentelli, Alberto. Sifakis, J. (Joseph) , 1946- ...

Embedded systems development : from functional models to implementations hbk.

Embedded systems development : from functional models to implementations hbk.
Paper図書
Alberto Sangiovanni-Vincentelli ... [et al.]Springerc2014
Other Libraries in Japan

Hybrid systems: computation and control : 4th international workshop, HSCC 2001 : Rome, Italy, March 28-30, 2001 : proceedings. : Mar 2001, Rome, Italy. (Lecture Notes in Computer Science ; 2034)

Hybrid systems: computation and control : 4th international workshop, HSCC 2001 : Rome, Italy, March 28-30, 2001 : proceedings. : Mar 2001, Rome, Italy. (Lecture Notes in Computer Science ; 2034)
Paper図書
Springer2001.<M17-03-4754>
National Diet Library
  • Author Heading...aria Domenica. Sangiovanni-Vincentelli, Alberto. HSCC 2001 (2001 : Rome, Italy...

Noise analysis of radio frequency circuits

Noise analysis of radio frequency circuits
Paper図書
by Amit Mehrotra, Alberto Sangiovanni-VincentelliKluwer Academicc2004
Other Libraries in Japan

Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings

Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings
Paper図書
Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)Springerc2002
Other Libraries in Japan

Synchronous equivalence : formal methods for embedded systems

Synchronous equivalence : formal methods for embedded systems
Paper図書
Harry Hsieh, Felice Balarin, Alberto Sangiovanni-VincentelliKluwer Academic Publishers2001
Other Libraries in Japan

Cross-talk noise immune VLSI design using regular layout fabrics

Cross-talk noise immune VLSI design using regular layout fabrics
Paper図書
Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-VincentelliKlwer Academic Publishersc2001
Other Libraries in Japan

Function/architecture optimization and co-design of embedded systems

Function/architecture optimization and co-design of embedded systems
Paper図書
Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-VincentelliKluwer Academic Publisherc2000
Other Libraries in Japan

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings

Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
Paper図書
Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)Springerc2001
Other Libraries in Japan

Analysis and simulation of noise in nonlinear electronic circuits and systems

Analysis and simulation of noise in nonlinear electronic circuits and systems
Paper図書
by Alper Demir and Alberto Sangiovanni-VincentelliKluwer Academic Publishersc1998
Other Libraries in Japan

Logic synthesis for field-programmable gate arrays

Logic synthesis for field-programmable gate arrays
Paper図書
by Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-VincentelliKluwer Academicc1995
Other Libraries in Japan

Algorithms for synthesis and testing of asynchronous circuits

Algorithms for synthesis and testing of asynchronous circuits
Paper図書
Luciano Lavagno, Alberto Sangiovanni-VincentelliKluwer Academicc1993
Other Libraries in Japan

Steady-state methods for simulating analog and microwave circuits

Steady-state methods for simulating analog and microwave circuits
Paper図書
by Kenneth S. Kundert, Jacob K. White and Alberto Sangiovanni-VincentelliKluwer Academic Publishersc1990
Other Libraries in Japan

Computer-aided design of VLSI circuits and systems

Computer-aided design of VLSI circuits and systems
Paper図書
editor : Alberto Sangiovanni-VincentelliJAI Pr.c1985
Other Libraries in Japan

Selected papers on computer-aided design of very large scale integrated circuits : pbk.

Selected papers on computer-aided design of very large scale integrated circuits : pbk.
Paper図書
edited by Alberto L. Sangiovanni-VincentelliIEEE Pressc1987
Other Libraries in Japan

Relaxation techniques for the simulation of VLSI circuits

Relaxation techniques for the simulation of VLSI circuits
Paper図書
by Jacob K. White and Alberto Sangiovanni-VincentelliKluwer Academic Publishersc1986
Other Libraries in Japan

Design systems for VLSI circuits : logic synthesis and silicon compilation

Design systems for VLSI circuits : logic synthesis and silicon compilation
Paper図書
edited by G. De Micheli, A. Sangiovanni-Vincentelli, P. AntognettiM. Nijhoff1987
Other Libraries in Japan

Reached to the end of result.

RSS