2008 | ||
---|---|---|
42 | EE | Yang Guo, Chao Liang, Yong Liu: dHCPS: decentralized hierarchically clustered p2p video streaming. CIVR 2008: 655-662 |
41 | EE | Yingnan Zhu, Wenjun Zeng, Hang Liu, Yang Guo, Saurabh Mathur: Supporting Video Streaming Services in Infrastructure Wireless Mesh Networks: Architecture and Protocols. ICC 2008: 1850-1855 |
40 | EE | Chao Liang, Yang Guo, Yong Liu: Is Random Scheduling Sufficient in P2P Video Streaming? ICDCS 2008: 53-60 |
39 | EE | WanXia Qu, Yang Guo, Zhengbin Pang, Xiaodong Yang: Efficient Verification of Parameterized Cache Coherence Protocols. ICYCS 2008: 154-159 |
38 | EE | WanXia Qu, Tun Li, Yang Guo, Xiaodong Yang: Explicit Model Checking Based on Integer Pointer and Fibonacci Hash. ICYCS 2008: 844-849 |
37 | EE | Dan Zhu, Tun Li, Yang Guo, Sikun Li: 2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. ISQED 2008: 637-642 |
36 | EE | Yang Guo, Chao Liang, Yong Liu: AQCS: Adaptive Queue-Based Chunk Scheduling for P2P Live Streaming. Networking 2008: 433-444 |
35 | EE | Yang Guo, Kyoungwon Suh, Jim Kurose, Donald F. Towsley: DirectStream: A directory-based peer-to-peer video streaming service. Computer Communications 31(3): 520-536 (2008) |
34 | EE | Yong Liu, Yang Guo, Chao Liang: A survey on peer-to-peer video streaming systems. Peer-to-Peer Networking and Applications 1(1): 18-28 (2008) |
2007 | ||
33 | EE | Tun Li, Sikun Li, Jinshan Yu, Yang Guo: A Novel Collaborative Verification Environment for SoC Co-Verification. CSCWD 2007: 145-150 |
32 | EE | Yang Guo, Saurabh Mathur, Kumar Ramaswamy, Shengchao Yu, Bankim Patel: PONDER: Performance Aware P2P Video-on-Demand Service. GLOBECOM 2007: 225-230 |
31 | EE | Chao Liang, Yang Guo, Yong Liu: Hierarchically Clustered P2P Streaming System. GLOBECOM 2007: 236-241 |
30 | EE | Ying Wang, Wei Zhang, Su Wu, Yang Guo: Simulators for Driving Safety Study - A Literature Review. HCI (14) 2007: 584-593 |
29 | EE | Nazanin Magharei, Reza Rejaie, Yang Guo: Mesh or Multiple-Tree: A Comparative Study of Live P2P Streaming Approaches. INFOCOM 2007: 1424-1432 |
28 | EE | Yang Guo, Kyoungwon Suh, James F. Kurose, Donald F. Towsley: P2Cast: peer-to-peer patching for video on demand service. Multimedia Tools Appl. 33(2): 109-129 (2007) |
2006 | ||
27 | EE | Dong Wang, Xiao Hu, Shuming Chen, Yang Guo: Bandwidth Optimization of the EMCI for a High Performance 32-bit DSP. Asia-Pacific Computer Systems Architecture Conference 2006: 488-494 |
26 | EE | Jinshan Yu, Tun Li, Yang Guo, QingPing Tan: Scheduling of Transactions Based on Extended Scheduling Timed Petri Nets for SoC System-Level Test-Case Generation. EUC 2006: 732-741 |
25 | EE | Xiao Hu, Pengyong Ma, Shuming Chen, Yang Guo, Xing Fang: TraceDo: An On-Chip Trace System for Real-Time Debug and Optimization in Multiprocessor SoC. ISPA 2006: 806-817 |
24 | EE | Pengyong Ma, Xiao Hu, Shuming Chen, Yang Guo: Pseudo Share Data Cache in Multiprocessor: PSDMP. ISPA Workshops 2006: 47-56 |
23 | EE | Kyoungwon Suh, Yang Guo, James F. Kurose, Donald F. Towsley: Locating network monitors: Complexity, heuristics, and coverage. Computer Communications 29(10): 1564-1577 (2006) |
22 | EE | Yang Guo, Zihui Ge, Bhuvan Urgaonkar, Prashant J. Shenoy, Donald F. Towsley: Dynamic cache reconfiguration strategies for cluster-based streaming proxy. Computer Communications 29(10): 1710-1721 (2006) |
21 | EE | Daniel R. Figueiredo, Benyuan Liu, Yang Guo, James F. Kurose, Donald F. Towsley: On the efficiency of fluid simulation of networks. Computer Networks 50(12): 1974-1994 (2006) |
20 | EE | Ming Xiong, BiYu Liang, Kam-yiu Lam, Yang Guo: Quality of Service Guarantee for Temporal Consistency of Real-Time Transactions. IEEE Trans. Knowl. Data Eng. 18(8): 1097-1110 (2006) |
2005 | ||
19 | EE | Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li: Automatic functional test program generation for microprocessor verification. ASP-DAC 2005: 1039-1042 |
18 | EE | Tun Li, Yang Guo, Sikun Li, GongJie Liu: Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming. ATVA 2005: 174-186 |
17 | EE | Tun Li, Yang Guo, GongJie Liu, Sikun Li: Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming. DSD 2005: 17-25 |
16 | EE | Tun Li, Dan Zhu, Yang Guo, GongJie Liu, Sikun Li: MA2TG: A Functional Test Program Generator for Microprocessor Verification. DSD 2005: 176-183 |
15 | EE | Kyoungwon Suh, Yang Guo, James F. Kurose, Donald F. Towsley: Locating network monitors: complexity, heuristics, and coverage. INFOCOM 2005: 351-361 |
14 | EE | Tun Li, Yang Guo, Sikun Li, Dan Zhu: Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions. MICAI 2005: 175-184 |
2004 | ||
13 | EE | Tun Li, Yang Guo, Sikun Li: Assertion-based automated functional vectors generation using constraint logic programming. ACM Great Lakes Symposium on VLSI 2004: 288-291 |
12 | EE | Tun Li, Yang Guo, Sikun Li, FuJiang Ao, GongJie Li: Parallel verilog simulation: architecture and circuit partition. ASP-DAC 2004: 644-646 |
11 | EE | Tun Li, Yang Guo, Sikun Li: CLP Based Static Property Checking. ATVA 2004: 495-498 |
10 | EE | Xiaolan (Ellen) Zhang, Michael K. Bradshaw, Yang Guo, Bing Wang, James F. Kurose, Prashant J. Shenoy, Donald F. Towsley: AMPS: a flexible, scalable proxy testbed for implementing streaming services. NOSSDAV 2004: 116-121 |
9 | EE | Kam-yiu Lam, Ming Xiong, BiYu Liang, Yang Guo: Statistical Quality of Service Guarantee for Temporal Consistency of Real-Time Data Objects. RTSS 2004: 276-285 |
8 | EE | Tun Li, Yang Guo, Sikun Li: Design and Implementation of a Parallel Verilog Simulator: PVSim. VLSI Design 2004: 329-334 |
7 | EE | Yang Guo, Lixin Gao, Donald F. Towsley, Subhabrata Sen: Smooth workload adaptive broadcast. IEEE Transactions on Multimedia 6(2): 387-395 (2004) |
6 | EE | Tun Li, Yang Guo, Sikun Li: Automatic Circuit Extractor for HDL Description Using Program Slicing. J. Comput. Sci. Technol. 19(5): 718-728 (2004) |
2003 | ||
5 | EE | Tun Li, Yang Guo, Sikun Li: An Automatic Circuit Extractor for RTL Verification. Asian Test Symposium 2003: 154-160 |
4 | EE | Yang Guo, Kyoungwon Suh, James F. Kurose, Donald F. Towsley: P2Cast: peer-to-peer patching scheme for VoD service. WWW 2003: 301-309 |
2001 | ||
3 | EE | Benyuan Liu, Daniel R. Figueiredo, Yang Guo, James F. Kurose, Donald F. Towsley: A Study of Networks Simulation Efficiency: Fluid Simulation vs. Packet-level Simulation. INFOCOM 2001: 1244-1253 |
2000 | ||
2 | EE | Yang Guo, Weibo Gong, Donald F. Towsley: Time-Stepped Hybrid Simulation (TSHS) for Large Scale Networks. INFOCOM 2000: 441-450 |
1999 | ||
1 | Benyuan Liu, Yang Guo, James F. Kurose, Donald F. Towsley, Weibo Gong: Fluid Simulation of Large Scale Networks: Issues and Tradeoffs. PDPTA 1999: 2136-2142 |