Searching for authors named "Yi Fang" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Efficient Agent-based Multicast on Wormhole Switch-based Irregular Networks
- …Efficient Agent-based Multicast on Wormhole Switch-based Irregular Networks Yi-Fang Lin Jan-Jan Wu…
- Add To MetaCart
-
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Liveness with Invisible Ranking ⋆
- … with Invisible Ranking ⋆ Yi Fang 1 , Nir Piterman 2 , Amir Pnueli 1,2 , Lenore Zuck 3 1 New York University, New…
- Add To MetaCart
-
Liveness with incomprehensible ranking
- …Liveness with Incomprehensible Ranking ⋆ Yi Fang 1 , Nir Piterman 2 , Amir Pnueli 21 , and Lenore…
- Cited by 7 (2 self) – Add To MetaCart
-
VOC: A Translation Validator for Optimizing Compilers
- … 3 Amir Pnueli 4 Yi Fang 3 Benjamin Goldberg 3 Abstract There is a growing awareness, both…
- Cited by 17 (3 self) – Add To MetaCart
-
VOC: A methodology for the translation validation of optimizing compilers
- … University, United States amir@(email omitted); Yi Fang New York University, United States yifang…
- Cited by 7 (1 self) – Add To MetaCart
-
Liveness with invisible ranking
- …Liveness with Invisible Ranking Yi Fang ¡ , Nir Piterman ¢ , Amir Pnueli ¢£¡ , and Lenore Zuck…
- Cited by 13 (6 self) – Add To MetaCart
-
Nonlinear Nature of Gravitational Waves
- …Nonlinear Nature of Gravitational Waves Chang Yi-Fang Department of Physics, Yunnan University…
- Add To MetaCart
-
Possible Decrease of Entropy due to Internal Interactions in Isolated Systems
- …Possible Decrease of Entropy due to Internal Interactions in Isolated Systems Chang Yi-Fang…
- Add To MetaCart
-
Translation and Run-Time Validation of Optimized Code
- … Yi Fang 3 Benjamin Goldberg 3 Ying Hu 3 Abstract The paper presents approaches to the validation…
- Cited by 5 (1 self) – Add To MetaCart
-
TVOC: A Translation Validator for Optimizing Compilers
- …Translation Validation of Optimizing Compilers by Yi Fang A dissertation submitted in partial…
- Cited by 9 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
