P
Peter A. Beerel
Researcher at University of Southern California
Publications - 236
Citations - 3784
Peter A. Beerel is an academic researcher from University of Southern California. The author has contributed to research in topics: Asynchronous communication & Computer science. The author has an hindex of 30, co-authored 208 publications receiving 3403 citations. Previous affiliations of Peter A. Beerel include Intel & University of California, San Diego.
Papers
More filters
Journal ArticleDOI
Pre-Defined Sparsity for Low-Complexity Convolutional Neural Networks
TL;DR: In this article, a pre-defined sparse 2D kernels that have support sets that repeat periodically within and across filters are introduced to improve the energy efficiency of deep convolutional neural networks.
Journal ArticleDOI
Implicit enumeration of strongly connected components and an application to formal verification
Aiguo Xie,Peter A. Beerel +1 more
TL;DR: Experimental results suggest that the algorithm dramatically outperforms the only existing implicit method which must compute the transitive closure of the adjacency-matrix of the graphs and applies it to solve the bad cycle detection problem encountered in formal verification.
Proceedings ArticleDOI
Implicit enumeration of strongly connected components
Aiguo Xie,Peter A. Beerel +1 more
TL;DR: This paper presents a binary decision diagram (BDD) based implicit algorithm to compute all maximal strongly connected components (SCCs) of directed graphs that dramatically outperforms the only existing implicit method which must compute the transitive closure of the adjacency matrix of the graphs.
Patent
Reduced-latency soft-in/soft-out module
TL;DR: In this article, a tree-structured soft-in/soft-output (SISO) module is used to compute forward and backward state metrics of the received input signal using a tree structure.
Proceedings ArticleDOI
Relative timing based verification of timed circuits and systems
TL;DR: This paper presents the first systematic algorithm to generate and optimize relative timing constraints sufficient to guarantee correctness, implemented in the RTCG tool and applied to several real-life circuits.