MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yu Yang" – sorted by Relevance.

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

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

10 documents found, showing 1 through 10.

ATOM

An Interface Aware Guided Search Method for Error-trace Justification in Large Protocols
by Xiaofang Chen, Yu Yang
… Chen, Yu Yang and Ganesh Gopalakrishnan UUCS-08-005 School of Computing University of Utah Salt Lake…
Add To MetaCart

Improving Rendering Performance by Texture-Map-Based Triangle Strips
by Yu Yang, Tulika Mitra, Huang Zhiyong
…Improving Rendering Performance by Texture-Map-Based Triangle Strips Yu Yang, Tulika Mitra…
Add To MetaCart

Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions ⋆
by Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan
… of exhaustive coverage which means all possible thread interleavings will be explored. However, ⋆ Yu Yang…
Add To MetaCart

Fast and Accurate Static Data-Race Detection forConcurrent Programs
by Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta
… Fast and Accurate Static Data-Race Detection forConcurrent Programs Vineet Kahlon1, Yu Yang2…
Add To MetaCart

Reducing verification complexity of a multicore coherence protocol using assume/guarantee
by Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-tsun Chou — 2006 — In Formal Methods in Computer Aided Design
… Chen, Yu Yang, Ganesh Gopalakrishnan Ching-Tsun Chou School of Computing, University of Utah Intel…
Cited by 5 (3 self) – Add To MetaCart

Hierarchical Cache Coherence Protocol Verification One Level at a Time Through Assume-Guarantee
by Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-tsun Chou
…-Guarantee Xiaofang Chen 1 , Yu Yang, Ganesh Gopalakrishnan Ching-Tsun Chou School of Computing, University of Utah…
Cited by 1 (1 self) – Add To MetaCart

Fast and accurate static data-race detection for concurrent programs
by Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta — 2007 — Proceedings of CAV ’07, LNCS
…Fast and Accurate Static Data-Race Detection for Concurrent Programs Vineet Kahlon , Yu Yang…
Cited by 5 (1 self) – Add To MetaCart

Distributed Dynamic Partial Order Reduction based Verification of Threaded Software
by Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby — 2007 — In Workshop on Model Checking Software (SPIN 2007
…Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software ⋆ Yu Yang…
Cited by 2 (2 self) – Add To MetaCart

2005, ‘Teaching a HOL Course: Experience Report
by Konrad Slind, Steven Barrus, Seungkeol Choe, Chris Condrat, Jianjun Duan, Sivaram Gopalakrishnan, Aaron Knoll, Hiro Kuwahara, Guodong Li, Yu Yang, Junxing Zhang — Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
… Liu, Steffanie Moore, Robert Palmer, Claurissa Tuttle, Sean Walton, Yu Yang, and Junxing Zhang School…
Cited by 1 (0 self) – Add To MetaCart

TREC 2005 Genomics Track at I2R
by Nie Yu Yang, Yang Lingpeng, Ji Donghong, Zhang Jie, Su Jian, Yang Xiaofeng, Soon-heng Tan, Xiao Juan, Zhou Guodong — 2005 — In The Fourtheenth Text REtrieval Conference Proceedings (TREC 2005), http://trec.nist.gov/act part/t14
…TREC 2005 Genomics Track at I2R Nie Yu, Yang Lingpeng, Ji Donghong, Zhang Jie, Su Jian, Yang…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10.

ATOM

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