Searching for authors named "Fang Yu" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
and
- … SAT-based Model Checking for Region Automata ∗ FANG YU Institute of Information Science, Academia…
- Add To MetaCart
-
Modular Verification of Web Services Using Efficient Symbolic Encoding and Summarization ∗ ABSTRACT
- … ∗ ABSTRACT Fang Yu University of California, Santa Barbara yuf@(email omitted); Aarti Gupta NEC Laboratories…
- Add To MetaCart
-
Restructured Recursive DCT and DST Algorithms
- …Restructured Recursive DCT and DST Algorithms PeiZong Lee y and Fang-Yu Huang Institute…
- Cited by 10 (2 self) – Add To MetaCart
-
An Efficient Prime-Factor Algorithm for the Discrete Cosine Transform and Its Hardware Implementations
- … Implementations PeiZong Lee y and Fang-Yu Huang Institute of Information Science Academia Sinica #128, Sec. 2…
- Cited by 1 (0 self) – Add To MetaCart
-
Toward Unbounded Model Checking for Region Automata
- …Toward Unbounded Model Checking for Region Automata ⋆ Fang Yu and Bow-Yaw Wang Institute…
- Cited by 3 (3 self) – Add To MetaCart
-
Symbolic Simulation of Industrial Real-Time and Embedded Systems-Experiments with the Bluetooth Baseband Communication Protocol
- … Taipei, Taiwan 106, Republic of China farn@(email omitted); Geng-Dian Huang, Fang Yu Institute…
- Add To MetaCart
-
Bounded Model Checking for Region Automata
- …Bounded Model Checking for Region Automata * Fang Yu, Bow-Yaw Wang and Yao-Wen Huang Institute…
- Cited by 3 (3 self) – Add To MetaCart
-
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
- … available at: http://val.iis.sinica.edu.tw/ Geng-Dian Hwang, Fang Yu Institute of Information Science…
- Cited by 4 (2 self) – Add To MetaCart
-
Study of Parametric Relation in Ant Colony Optimization Approach to Traveling Salesman Problem
- … Xuyao Luo 1,3 , Fang Yu 2 , and Jun Zhang 1,3,* 1 Department of Computer Science, SUN Yat-sen University…
- Add To MetaCart
-
De-anonymizing the Internet Using Unreliable IDs
- …De-anonymizing the Internet Using Unreliable IDs Yinglian Xie, Fang Yu, and Martín Abadi Microsoft…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
