dblp.uni-trier.dewww.uni-trier.de

Xu Wang Vis

United Nations University, International Institute for Software Technology

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
21EEXiaohua Shi, Chuang Li, Xu Wang, Kang Li: A Practical Approach of Curved Ray Prestack Kirchhoff Time Migration on GPGPU. APPT 2009: 165-176
20EEGe Gan, Xu Wang, Joseph Manzano, Guang R. Gao: Tile Percolation: An OpenMP Tile Aware Parallelization Technique for the Cyclops-64 Multicore Processor. Euro-Par 2009: 839-850
19EEMingming Zhang, Shuguang Zhao, Xu Wang: A novel sexual adaptive genetic algorithm based on two-step evolutionary scenario of baldwin effect and analysis of global convergence. GEC Summit 2009: 737-744
18EEGe Gan, Xu Wang, Joseph Manzano, Guang R. Gao: Tile Reduction: The First Step towards Tile Aware Parallelization in OpenMP. IWOMP 2009: 140-153
17EEJingjing Jin, Xu Wang, Shilong Li, Yingnan Wu: A Novel Heart Rate Detection Algorithm in Ballistocardiogram Based on Wavelet Transform. WKDD 2009: 76-79
16EEJingjing Jin, Xu Wang, Shilong Li, Yingnan Wu: Wavelet Transform Adaptive De-noising Algorithm and Application Based on a Novel Variable Step Function. WKDD 2009: 80-83
2008
15EEYan Wan, Sandip Roy, Xu Wang, Ali Saberi, Tao Yang, Mengran Xue, Babak Malek: On the structure of graph edge designs that optimize the algebraic connectivity. CDC 2008: 805-810
14EEZhijun Wang, Xue Wang, Xu Wang: Research and Implementation of Web-Based E-Learning Course Auto-generating Platform. Edutainment 2008: 70-76
13EEXu Wang, Ge Gan, Joseph Manzano, Dongrui Fan, Shuxu Guo: A Quantitative Study of the On-Chip Network and Memory Hierarchy Design for Many-Core Processor. ICPADS 2008: 689-696
2007
12EEXu Wang, Marta Z. Kwiatkowska: Compositional State Space Reduction Using Untangled Actions. Electr. Notes Theor. Comput. Sci. 175(3): 27-46 (2007)
11EEXu Wang, Marta Z. Kwiatkowska: On Process-algebraic Verification of Asynchronous Circuits. Fundam. Inform. 80(1-3): 283-310 (2007)
2006
10EEXu Wang, Marta Z. Kwiatkowska: On process-algebraic verification of asynchronous circuits. ACSD 2006: 37-46
9EEXu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. Electr. Notes Theor. Comput. Sci. 146(2): 189-206 (2006)
2005
8EEXu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang: Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. Electr. Notes Theor. Comput. Sci. 128(6): 231-246 (2005)
2004
7EEXu Wang, Wang Bing-xi, Ding Qi: A bilinear transform approach for vocal tract length normalization. ICARCV 2004: 547-551
6EEXu Wang, A. W. Roscoe, Ranko Lazic: Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. IFM 2004: 247-266
2002
5 Xu Wang, Shing-Chi Cheung, Jun Wei: A CSP and Z combined modeling of document exchange processes in e-commerce protocols. Information & Software Technology 44(14): 875-889 (2002)
2001
4EEJean-Luc Koning, Marc-Philippe Huget, Jun Wei, Xu Wang: Extended Modeling Languages for Interaction Protocol Design. AOSE 2001: 68-83
3EEJun Wei, Shing-Chi Cheung, Xu Wang: Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55-
2EEJun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng: Modeling and Verifying Strong Cache Consistency for Mobile Data Access . ISSRE 2001: 103-111
1998
1EEXu Wang, Tao Huang, Jun Qian: Group Model for Decentralized Federation of Object Creation Service. TOOLS (27) 1998: 127-

Coauthor Index

1Wang Bing-xi [7]
2Shing-Chi Cheung (S. C. Cheung) [2] [3] [5]
3Dongrui Fan [13]
4Yulin Feng [2]
5Ge Gan [13] [18] [20]
6Guang R. Gao [18] [20]
7Shuxu Guo [13]
8Tao Huang [1]
9Marc-Philippe Huget [4]
10Jingjing Jin [16] [17]
11Jean-Luc Koning [4]
12Marta Z. Kwiatkowska [8] [9] [10] [11] [12]
13Ranko Lazic (R. S. Lazic) [6]
14Chuang Li [21]
15Jing Li [2]
16Kang Li [21]
17Shilong Li [16] [17]
18Babak Malek [15]
19Joseph Manzano [13] [18] [20]
20Ding Qi [7]
21Jun Qian [1]
22A. W. Roscoe (A. William Roscoe, Bill Roscoe) [6]
23Sandip Roy [15]
24Ali Saberi [15]
25Xiaohua Shi [21]
26Georgios K. Theodoropoulos [8] [9]
27Yan Wan [15]
28Xue Wang [14]
29Zhijun Wang [14]
30Jun Wei [2] [3] [4] [5]
31Yingnan Wu [16] [17]
32Mengran Xue [15]
33Tao Yang [15]
34Mingming Zhang [19]
35Qianyi Zhang [8] [9]
36Shuguang Zhao [19]
37Huan Zhou [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)