A
Alberto Sangiovanni-Vincentelli
Researcher at University of California, Berkeley
Publications - 946
Citations - 47259
Alberto Sangiovanni-Vincentelli is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Logic synthesis & Finite-state machine. The author has an hindex of 99, co-authored 934 publications receiving 45201 citations. Previous affiliations of Alberto Sangiovanni-Vincentelli include National University of Singapore & Lawrence Berkeley National Laboratory.
Papers
More filters
Posted Content
Distributed Estimation over Wireless Sensor Networks with Packet Losses
TL;DR: In this article, a distributed adaptive algorithm to estimate a time-varying signal, measured by a wireless sensor network, is designed and analyzed, where each node of the network locally computes adaptive weights that minimize the estimation error variance.
Proceedings ArticleDOI
Cooperative Diversity with Disconnection Constraints and Sleep Discipline for Power Control in Wireless Sensor Networks
TL;DR: It is argued that nodes with reduced activity show better performance and a power minimization algorithm with a constraint expressed in terms of outage probability is proposed.
Proceedings ArticleDOI
Timing optimization with testability considerations
TL;DR: The authors resolve the question of whether a testability criterion exists that may be retained or easily maintained as invariant during timing resynthesis in order to achieve performance optimization without introducing redundancy.
Book ChapterDOI
Constrained Synthesis from Component Libraries
TL;DR: This paper proposes a scalable methods for solving the problem of bounded synthesis from libraries, proposing a solution based on the CounterExample-Guided Inductive Synthesis paradigm and presents a parallel implementation which instantiates components defined as Linear Temporal Logic-based Assume/Guarantee Contracts.