2008 | ||
---|---|---|
30 | EE | Lang Gou, Qing Wang, Jun Yuan, Ye Yang, Mingshu Li, Nan Jiang: Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China. ICSP 2008: 369-380 |
29 | EE | Shiying Wang, Jun Yuan, Aixia Liu: k-Restricted edge connectivity for some interconnection networks. Applied Mathematics and Computation 201(1-2): 587-596 (2008) |
28 | EE | Jun Yuan, Wei Yu: Joint source coding, routing and power allocation in wireless sensor networks. IEEE Transactions on Communications 56(6): 886-896 (2008) |
2007 | ||
27 | EE | Yun Zhou, Jun Yuan, Ying Wang, Ping Zhang: Service-Oriented FMIPv6 Framework for Efficient Handovers in 4G Networks. GLOBECOM 2007: 4478-4482 |
2006 | ||
26 | EE | Jun Yuan, Wei Yu: Distributed Cross-Layer Optimization of Wireless Sensor Networks: A Game Theoretic Approach. GLOBECOM 2006 |
25 | EE | Ali Bahrami, Changzhou Wang, Jun Yuan, Anne Hunt: The Workflow Based Architecture for Mobile Information Access in Occasionally Connected Computing. IEEE SCC 2006: 406-413 |
24 | EE | Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: A Novel Tour Construction Heuristic for Traveling Salesman Problem Using LFF Principle. JCIS 2006 |
23 | EE | Sheqin Dong, Rensheng Wang, Fan Guo, Jun Yuan, Xianlong Hong: Floorplanning by A Revised 3-D Corner Block List with sub-C+-tree. JCIS 2006 |
22 | EE | Sheqin Dong, Fan Guo, Jun Yuan, Rensheng Wang, Xianlong Hong: Stochastic Local Search Using the Search Space Smoothing Meta-Heuristic: A Case Study. JCIS 2006 |
21 | EE | Jun Yuan, Ali Bahrami, Changzhou Wang, Marie O. Murray, Anne Hunt: A Semantic Information Integration Tool Suite. VLDB 2006: 1171-1174 |
20 | EE | Jun Yuan, Zongpeng Li, Wei Yu, Baochun Li: A Cross-Layer Optimization Framework for Multihop Multicast in Wireless Mesh Networks. IEEE Journal on Selected Areas in Communications 24(11): 2092-2103 (2006) |
2005 | ||
19 | EE | Jun Yuan, Sheqin Dong, Xianlong Hong, Yuliang Wu: LFF algorithm for heterogeneous FPGA floorplanning. ASP-DAC 2005: 1123-1126 |
18 | EE | Tom Barrett, David Jones, Jun Yuan, Mike Uschold: Applying Semantic Web technology to the integration of corporate information. Int. J. Web Eng. Technol. 2(2/3): 231-247 (2005) |
2004 | ||
17 | EE | Jun Yuan, Adnan Aziz, Carl Pixley, Ken Albin: Simplifying Boolean constraint solving for random simulation-vector generation. IEEE Trans. on CAD of Integrated Circuits and Systems 23(3): 412-420 (2004) |
2003 | ||
16 | EE | Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Constraint synthesis for environment modeling in functional verification. DAC 2003: 296-299 |
15 | EE | Jun Yuan, Carl Pixley, Adnan Aziz, Ken Albin: A Framework for Constrained Functional Verification. ICCAD 2003: 142-145 |
2002 | ||
14 | EE | Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Boolean constraint solving for random simulation-vector generation. ICCAD 2002: 123-127 |
13 | Jun Yuan, Ken Albin, Adnan Aziz, Carl Pixley: Simplifying Constraint Solving in Random Simulation Generation. IWLS 2002: 185-190 | |
12 | Jun Yuan, Kurt Shultz, John Havlicek, Ken Albin, Adnan Aziz: A Method for Synthesizing Boolean Constrains. IWLS 2002: 351-353 | |
2001 | ||
11 | EE | Torsten Suel, Jun Yuan: Compressing the Graph Structure of the Web. Data Compression Conference 2001: 213-222 |
10 | Li Yang, Naphtali Rishe, Jun Yuan, Maxim Chekmasov, Luis Pachas, Alejandro Mendoza: XML Wrapper: Storing and Retrieving XML Documents Using Semantic Binary Object-Oriented Database (Sem-ODB). ISAS-SCI (1) 2001: 82-87 | |
9 | EE | Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan: Efficient control state-space search. IEEE Trans. on CAD of Integrated Circuits and Systems 20(2): 332-336 (2001) |
2000 | ||
8 | EE | Naphtali Rishe, Jun Yuan, Rukshan Athauda, Shu-Ching Chen, Xiaoling Lu, Xiaobin Ma, Alexander Vaschillo, Artyom Shaposhnikov, Dmitry Vasilevsky: Semantic Access: Semantic Interface for Querying Databases. VLDB 2000: 591-594 |
7 | EE | Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz: Automatic Vector Generation Using Constraints and Biasing. J. Electronic Testing 16(1-2): 107-120 (2000) |
1999 | ||
6 | EE | Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz: Modeling design constraints and biasing in simulation using BDDs. ICCAD 1999: 584-590 |
5 | Carl Pixley, Kurt Shultz, Jun Yuan: Integrated Formal and Informal Design Verification of Commercial Integrated Circuits. PDPTA 1999: 1061-1068 | |
1998 | ||
4 | EE | In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan, Carl Pixley: Approximate reachability don't cares for CTL model checking. ICCAD 1998: 351-358 |
1997 | ||
3 | Jun Yuan, Jian Shen, Jacob A. Abraham, Adnan Aziz: On Combining Formal and Informal Verification. CAV 1997: 376-387 | |
1996 | ||
2 | Jun Yuan, Lilin Liu, Zhanqiu Dong: Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. Application and Theory of Petri Nets 1996: 536-548 | |
1 | Carl Pixley, Noel R. Strader, W. C. Bruce, Jaehong Park, Matt Kaufmann, Kurt Shultz, Michael Burns, Jainendra Kumar, Jun Yuan, Janet Nguyen: Commercial Design Verification: Methodology and Tools. ITC 1996: 839-848 |