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 |