Lei Fang
Lei Fang
CEO, ZetYun
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Lad: Localization anomaly detection for wireless sensor networks
W Du, L Fang, P Ningi
19th IEEE International Parallel and Distributed Processing Symposium, 15 pp., 2005
A beacon-less location discovery scheme for wireless sensor networks
L Fang, W Du, P Ning
Secure localization and time synchronization for wireless sensor and ad hoc …, 2007
Guided test generation for isolation and detection of embedded Trojans in ICs
M Banga, M Chandrasekar, L Fang, MS Hsiao
Proceedings of the 18th ACM Great Lakes symposium on VLSI, 363-366, 2008
Bilateral testing of nano-scale fault-tolerant circuits
L Fang, MS Hsiao
Journal of Electronic Testing 24 (1-3), 285-296, 2008
A new hybrid solution to boost SAT solver performance
L Fang, MS Hsiao
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
RTL test point insertion to reduce delay test volume
KJ Balakrishnan, L Fang
25th IEEE VLSI Test Symposium (VTS'07), 325-332, 2007
A fast approximation algorithm for MIN-ONE SAT
L Fang, MS Hsiao
Proceedings of the conference on Design, automation and test in Europe, 1087 …, 2008
Efficient power droop aware delay fault testing
B Li, L Fang, MS Hsiao
2007 IEEE International Test Conference, 1-10, 2007
Key pre-distribution using sensor pre-deployment knowledge
W Du, L Fang, R Wang, S Chen
Downloaded from: web. syr. edu/~ rwang01/Research/WiSe03. pdf, 2003
Boosting sat solver performance via a new hybrid approach
L Fang, MS Hsiao
Journal on Satisfiability, Boolean Modeling and Computation 5 (1-4), 243-261, 2009
A Fast Approximation Algorithm for MIN-ONE SAT and Its Application on MAX-SAT Solving
L Fang, MS Hsiao
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 149-170, 2011
Exploring Constraint Satisfiability Techniques in Formal Verification
L Fang
Virginia Tech, 2008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–12