MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Dong Wang" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

39 documents found, showing 1 through 10. Next 10 →

ATOM

Refinement Type Inference using Abstract Interpretation
by Dong Wang — 2001
…15-851 Project Report: Refinement Type Inference using Abstract Interpretation Dong Wang May 8…
Add To MetaCart

Using cutwidth to improve symbolic simulation and Boolean satisfiability
by Dong Wang, Edmund Clarkecarnegie — 2001 — In: IEEE International High Level Design Validation and Test Workshop
… Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability \Lambda Dong Wang…
Cited by 8 (0 self) – Add To MetaCart

Automatic assume guarantee analysis for assertion-based formal verification
by Dong Wang, Synopsys Inc — 2005 — in IEEE Proceedings of the Asia and South Pacific Design Automation Conference
…Automatic Assume Guarantee Analysis for Assertion-Based Formal Verification Dong Wang † Synopsys…
Cited by 1 (0 self) – Add To MetaCart

Object Closure and Manipulation by Multiple Cooperating Mobile Robots
by ZhiDong Wang, Vijay Kumar — 2002 — In Proceedings of IEEE International Conference on Robotics and Automation
…Object Closure and Manipulation by Multiple Cooperating Mobile Robots ZhiDong WANG ∗ and Vijay…
Cited by 8 (2 self) – Add To MetaCart

Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability
by Dong Wang Edmund, Dong Wang, Edmund Clarke — 2001 — In: IEEE International High Level Design Validation and Test Workshop
…Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability £ Dong Wang Edmund Clarke…
Add To MetaCart

Grapheme-based Spoken Term Detection in the Meetings Domain Extended abstract submitted to MLMI-07
by Dong Wang, Joe Frankel, Simon King
… Dong Wang, Joe Frankel and Simon King CSTR, School of Informatics, University of Edinburgh, UK…
Add To MetaCart

Radiometric Compensation in a Projector-Camera System Based on the Properties of Human Vision System
by Dong Wang, Imari Sato, Takahiro Okabe, Yoichi Sato — 2005 — Proc. IEEE Int’l Workshop Projector-Camera Systems
… System Dong Wang Imari Sato Takahiro Okabe Yoichi Sato Abstract We introduce a novel technique…
Cited by 2 (0 self) – Add To MetaCart

Formal Verification of the PCI Local Bus: A Step Towards IP Core Based System-On-Chip Design Verification
by Robert M. White, Dong Wang, Dong Wang — 1999 — Carnegie Mellon University
… Verification by Dong Wang Submitted to the Department of Electrical and Computer Engineering in partial…
Cited by 2 (0 self) – Add To MetaCart

Making Predicate Abstraction Efficient: How to eliminate redundant predicates
by Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang — 2003 — In: Proceedings of Computer Aided Verification (CAV
… , Orna Grumberg Muralidhar Talupur , Dong Wang Carnegie Mellon University TECHNION - Israel Institute…
Cited by 4 (2 self) – Add To MetaCart

On optimal quasi-orthogonal space-time block codes with minimum decoding complexity
by Haiquan Wang, Dong Wang, Xiang-gen Xia — 2005 — IEEE ISIT
… Dong Wang Xiang-Gen Xia Abstract Orthogonal space-time block codes (OSTBC) from orthogonal designs have…
Cited by 4 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB