Searching for authors named "Jun Yuan" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Symbolic Methods in Simulation-based Verification
- …Copyright by Jun Yuan 2002 The Dissertation Committee for Jun Yuan Certifies…
- Add To MetaCart
-
Literature Mining In Bio-Informatics
- … Literature Mining In Bio-Informatics Project Report Jun Yuan Suvrit Sra December 13, 2001 1…
- Add To MetaCart
-
Simplifying Boolean constraint solving for random simulation-vector generation
- …Simplifying Boolean Constraint Solving For Random Simulation-Vector Generation Jun Yuan Ken Albin…
- Cited by 9 (2 self) – Add To MetaCart
-
Compressing the Graph Structure of the Web
- …Compressing the Graph Structure of the Web Torsten Suel Jun Yuan Abstract A large amount…
- Cited by 25 (1 self) – Add To MetaCart
-
Distributed cross-layer optimization of wireless sensor networks: A game theoretic approach
- …Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach Jun…
- Cited by 4 (0 self) – Add To MetaCart
-
its application in materials research
- …-Peng Gao, Ai-Hua Zhang and Jun Yuan Department of Materials Science and Engineering, Tsinghua University…
- Add To MetaCart
-
A cross-layer optimization framework for multicast in multi-hop wireless networks
- …A Cross-Layer Optimization Framework for Multicast in Multi-hop Wireless Networks Jun Yuan…
- Cited by 3 (0 self) – Add To MetaCart
-
On Combining Formal and Informal Verification
- …On Combining Formal and Informal Verification Jun Yuan ? Jian Shen ?? Jacob Abraham ?? Adnan…
- Cited by 19 (5 self) – Add To MetaCart
-
The A Semantic Information Integration Tool-Suite
- …A Semantic Information Integration Tool Suite Jun Yuan Ali Bahrami Changzhou Wang Marie Murray…
- Cited by 1 (1 self) – Add To MetaCart
-
Modeling Design Constraints and Biasing in Simulation Using BDDs
- …this paper we provide an alternative approach to environment modeling --- we introduce a tool, SimGen, and an associated methodology which employs user-specified constraints to model the interaction between the design and its environment. Constraints are Boolean formulas involving the design signal…
- Cited by 23 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
