Searching for authors named "Shan Lu" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Enforcing Ontological Rules in UML-Based Conceptual Modeling: Principles and Implementation
- …Enforcing Ontological Rules in UML-Based Conceptual Modeling: Principles and Implementation Shan…
- Add To MetaCart
-
Model-based Integration of Visual Cues for Hand Tracking
- …Model-based Integration of Visual Cues for Hand Tracking Shan Lu Gang Huang Dimitris Samaras…
- Cited by 4 (0 self) – Add To MetaCart
-
A study of interleaving coverage criteria
- …ABSTRACT A Study of Interleaving Coverage Criteria Shan Lu, Weihang Jiang and Yuanyuan Zhou…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Multiple Cues for Hand Tracking and Model Refinement
- …Using Multiple Cues for Hand Tracking and Model Refinement Shan Lu, Dimitris Metaxas CS Department…
- Cited by 21 (2 self) – Add To MetaCart
-
AVIO: Detecting Atomicity Violations via Access Interleaving Invariants
- … AVIO: Detecting Atomicity Violations via Access InterleavingInvariants Shan Lu, Joseph Tucek…
- Cited by 24 (6 self) – Add To MetaCart
-
CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code
- …-Paste and Related Bugs in Large-Scale Software Code Zhenmin Li, Shan Lu, Suvda Myagmar, and Yuanyuan Zhou, Member…
- Cited by 19 (0 self) – Add To MetaCart
-
A Dynamic Programming Approach to the Study of Protein Sequence Variations
- …, MA 01610, USA E-Mail: achou@(email omitted); Web: http://www.cs.clarku.edu/~achou/ SHAN LU Laboratory…
- Add To MetaCart
-
THIS ARTICLE PROPOSES AN INNOVATIVE CONCURRENT-PROGRAM INVARIANT THAT CAPTURES PROGRAMMERS ’ ATOMICITY ASSUMPTIONS. IT DESCRIBES A TOOL WITH TWO IMPLEMENTATIONS, ONE IN SOFTWARE AND THE OTHER USING HARDWARE SUPPORT, THAT CAN AUTOMATICALLY EXTRACT SUCH INV
- … .................................................................................................................................................................................................................................................... Shan Lu Joseph Tucek Feng Qin Yuanyuan Zhou University of Illinois at Urbana-Champaign THIS ARTICLE…
- Add To MetaCart
-
Automatic On-line Failure Diagnosis at the End-User Site
- …Automatic On-line Failure Diagnosis at the End-User Site Joseph Tucek, Shan Lu, Chengdu Huang…
- Cited by 3 (0 self) – Add To MetaCart
-
PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection
- … ∗ Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou and Josep Torrellas Department of Computer Science…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
