Searching for authors named "Ping Yang" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Computation of Bus Current Variance for Reliability Estimation of VLSI Circuits
- … , Ibrahim Hajj Ping Yang Coordinated Science Laboratory VLSI Design Laboratory University of Illinois…
- Cited by 4 (2 self) – Add To MetaCart
-
Electromigration Median Time-to-Failure based on a Stochastic Current Waveform
- … , Ibrahim Hajj y , and Ping Yang z y Coordinated Science Laboratory z VLSI Design Laboratory…
- Cited by 4 (3 self) – Add To MetaCart
-
Pattern-Independent Current Estimation For Reliability Analysis Of Cmos Circuits
- …, Farid Najm Ping Yang, and Dale Hocevar ABSTRACT Accurate and efficient expected current estimation…
- Cited by 29 (7 self) – Add To MetaCart
-
A Monte Carlo Approach for Power Estimation
- …A Monte Carlo Approach for Power Estimation Richard Burch , Farid Najm , Ping Yang…
- Cited by 84 (9 self) – Add To MetaCart
-
A Logical Encoding of the ss-Calculus: Model Checking Mobile Processes Using Tabled Resolution?
- …? Ping Yang, C. R. Ramakrishnan, Scott A. Smolka Department of Computer Science State University of New…
- Add To MetaCart
-
A logical encoding of the π-calculus: Model checking mobile processes using tabled resolution
- …-003-0136-3 A logical encoding of the π-calculus: model checking mobile processes using tabled resolution Ping…
- Cited by 5 (2 self) – Add To MetaCart
-
Videoconferencing NSS and Conflict Level: An Experimental Study
- …Abstract Videoconferencing NSS and Conflict Level: An Experimental Study John Lim* Yin Ping Yang…
- Cited by 2 (0 self) – Add To MetaCart
-
A provably correct compiler for efficient model checking of mobile processes
- …A Provably Correct Compiler for Efficient Model Checking of Mobile Processes ⋆ Ping Yang 1 ,Yifei…
- Cited by 2 (2 self) – Add To MetaCart
-
Authors contributed equally.
- …,chang,shiyong,fotouhi}@(email omitted); # Authors contributed equally. Ping Yang Department of Computer Science, Binghamton University, Binghamton…
- Add To MetaCart
-
An Extension of Probabilistic Simulation for Reliability Analysis of CMOS VLSI Circuits
- …. Najm y , Ibrahim N. Hajj z , and Ping Yang y y Semiconductor Process & Design Center z…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
