Searching for authors named "Min Zhou" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Improving the Reachability Analysis Technique by Circuit Retiming
- …Improving the Reachability Analysis Technique by Circuit Retiming Min Zhou, Yuji Kukimoto…
- Add To MetaCart
-
Speeding up SAT Based ATPG for Logic Verification by Recursive Learning
- …Speeding up SAT Based ATPG for Logic Verification by Recursive Learning Min Zhou, Yuji Kukimoto…
- Cited by 1 (0 self) – Add To MetaCart
-
ENO-wavelet Transforms and Some Applications
- …ENO-wavelet Transforms and Some Applications Tony F. Chan Hao-Min Zhou Abstract. Standard wavelet…
- Add To MetaCart
-
Approximation Algorithm for the Max-Cut Problem
- …Approximation Algorithm for the Max-Cut Problem Wilsin Gosti, Giao Nguyen, Marlene Wan, Min Zhou…
- Cited by 3 (0 self) – Add To MetaCart
-
Model checking of systems employing commutative functions
- … Model Checking of Systems Employing Commutative Functions A. Prasad Sistla, Min Zhou…
- Cited by 1 (1 self) – Add To MetaCart
-
Authentication and Security in WebFS
- …Authentication and Security in WebFS Eshwar Belani Alex Thornton Min Zhou Abstract In this paper…
- Cited by 1 (0 self) – Add To MetaCart
-
Tracing Windows 95
- …Tracing Windows95 Min Zhou and Alan Jay Smith Report No. UCB/CSD-99-1037 January 1999 Computer…
- Cited by 5 (2 self) – Add To MetaCart
-
Total Variation Wavelet Inpainting
- …TOTAL VARIATION WAVELET INPAINTING ∗ TONY F. CHAN † , JIANHONG SHEN ‡ , AND HAO-MIN ZHOU…
- Cited by 9 (3 self) – Add To MetaCart
-
Monitoring Off-the-Shelf Components ⋆
- …Monitoring Off-the-Shelf Components ⋆ A. Prasad Sistla, Min Zhou, and Lenore D. Zuck University…
- Add To MetaCart
-
Experiences and Lessons Learned with a Portable Interface to Hardware Performance Counters
- … Dongarra Kevin London Shirley Moore Philip Mucci Daniel Terpstra Haihang You Min Zhou Abstract The PAPI…
- Cited by 6 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
