Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
 SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
 DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
 KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
 SIGIR 2001
 SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Wei Li

Papers on DiSC'02


Efficient Sequenced Integrity Constraint Checking

Publications


Note: Links lead to the DBLP on the Web.

Wei Li

60 Youfeng Wu , Mauricio J. Serrano , Rakesh Krishnaiyer , Wei Li, Jesse Fang : Value-Profile Guided Stride Prefetching for Irregular Code. CC 2002 : 307-324

59 Zhiwei Xu , Wei Li, Hongguang Fu , Zhenbing Zeng : The Vega Grid and Grid-Based Education. ICWL 2002 : 228-240

58 Wei Li, Dengfeng Gao , Richard T. Snodgrass : Skew Handling Techniques in Sort-Merge Join. SIGMOD Conference 2002

57 Wei Li, Richard T. Snodgrass , Shiyan Deng , Vineel Kumar Gattu , Aravindan Kasthurirangan : Efficient Sequenced Integrity Constraint Checking. ICDE 2001 : 131-140

56 Mohammad Alshayeb , Wei Li, Sara J. Graves : An Empirical Study of Refactoring, New Design, and Error-Fix Efforts in Extreme Programming. ISAS-SCI (1) 2001 : 323-325

55 Ke Xu , Wei Li: An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. Annals of Mathematics and Artificial Intelligence 33 (1): 21-37 (2001)

54 Wei Li, G. P. Steven , Y. M. Xie : Shape Design for Two- and Three-Dimensional Contact Problems Using an Evolutionary Method. International Journal of Computational Engineering Science 2 (2): 181-198 (2001)

53 Srinivasan Parthasarathy , Mohammed Javeed Zaki , Mitsunori Ogihara , Wei Li: Parallel Data Mining for Association Rules on Shared-Memory Systems. Knowledge and Information Systems 3 (1): 1-29 (2001)

52 Wei Li: A Computational Framework for Convergent Agents. IDEAL 2000 : 295-300

51 Rakesh Krishnaiyer , Dattatraya Kulkarni , Daniel M. Lavery , Wei Li, Chu-Cheow Lim , John Ng , David C. Sehr : An Advanced Optimizer for the IA-64 Architecture. IEEE Micro 20 (6): 60-68 (2000)

50 Wei Li, Letha H. Etzkorn , Carl G. Davis , John R. Talburt : An empirical study of object-oriented system evolution. Information & Software Technology 42 (6): 373-381 (2000)

49 Ke Xu , Wei Li: Exact Phase Transitions in Random Constraint Satisfaction Problems. JAIR 12 : 93-103 (2000)

48 Attahiru Sule Alfa , Wei Li: Optimal (N, T)-policy for M/G/1 system with cost structures. Performance Evaluation 42 (4): 265-277 (2000)

47 Yiqiang Q. Zhao , Wei Li, W. John Braun : Correction to: On a decomposition for infinite stochastic matrices. Queueing Systems 35 (1-4): 399 (2000)

46 Wei Li: A Logical Framework for Inductive Inference and Its Rationality. Australian Joint Conference on Artificial Intelligence 1999 : 304-315

45 Minjie Zhang , Wei Li: Persisting Autonomous Workflow for Mobile Agents Using a Mobile Thread Programming Model. PRIMA 1999 : 84-95

44 Rohini K. Srihari , Wei Li: Information Extraction Supported Question Answering. TREC 1999

43 Jagdish Bansiya , Letha H. Etzkorn , Carl G. Davis , Wei Li: A Class Cohesion Metric For Object-Oriented Designs. JOOP 11 (8): 47-52 (1999)

42 Srinivasan Parthasarathy , Mohammed Javeed Zaki , Wei Li: Memory Placement Techniques for Parallel Association Mining. KDD 1998 : 304-308

41 Wei Li, Friedrich M. Wahl , Jiangzhong Z. Zhou , Hong Wang , Kezhong Z. He : Vision-Based Behavior Control of Autonomous Systems by Fuzzy Reasoning. Sensor Based Intelligent Robots 1998 : 311-325

40 Wei Li, John R. Talburt : Empirically Analyzing Object-Oriented Software Evolution. JOOP 11 (5): 15-19 (1998)

39 Letha H. Etzkorn , Carl G. Davis , Wei Li: A Practical Look at the Lack of Cohesion in Methods Metric. JOOP 11 (5): 27-34 (1998)

38 Weifeng Lu , Wei Li: Information Agency Framework: A Novel Architecture of Internet Information Service. ARCS 1997 : 291-300

37 Bhaskaran Vasudev , Wei Li: Memory Management: Codecs. Handbook of Multimedia Information Management 1997 : 0-

36 Michal Cierniak , Wei Li: Interprocedural Array Remapping. IEEE PACT 1997 : 146-155

35 Mohammed Javeed Zaki , Srinivasan Parthasarathy , Mitsunori Ogihara , Wei Li: New Algorithms for Fast Discovery of Association Rules. KDD 1997 : 283-286

34 Mohammed Javeed Zaki , Srinivasan Parthasarathy , Wei Li, Mitsunori Ogihara : Evaluation of Sampling for Data Mining of Association Rules. RIDE 1997 : 0-

33 Mohammed Javeed Zaki , Srinivasan Parthasarathy , Wei Li: A Localized Algorithm for Parallel Association Mining. SPAA 1997 : 321-330

32 Michal Cierniak , Wei Li: Just-in-Time Pptimizations for High-Performance Java Programs. Concurrency - Practice and Experience 9 (11): 1063-1073 (1997)

31 Michal Cierniak , Wei Li: Optimizing Java bytecodes. Concurrency - Practice and Experience 9 (6): 427-444 (1997)

30 Mohammed Javeed Zaki , Srinivasan Parthasarathy , Mitsunori Ogihara , Wei Li: Parallel Algorithms for Discovery of Association Rules. Data Mining and Knowledge Discovery 1 (4): 343-373 (1997)

29 Wei Li: An Empirical Study of Object Analysis and Design. JOOP 9 (8): 44-47, 53 (1997)

28 Mohammed Javeed Zaki , Wei Li, Srinivasan Parthasarathy : Customized Dynamic Load Balancing for a Network of Workstations. Journal of Parallel and Distributed Computing 43 (2): 156-162 (1997)

27 Wei Li, Xiaohu Huang , Nanning Zheng : Parallel Implementing OpenGL on PVM. Parallel Computing 23 (12): 1839-1850 (1997)

26 Wei Li, Gansheng Li : Making C++ Concurrent and Real-time. SIGPLAN Notices 32 (9): 39-46 (1997)

25 Michal Cierniak , Mohammed Javeed Zaki , Wei Li: Compile-Time Scheduling Algorithms for a Heterogeneous Network of Workstations. The Computer Journal 40 (6): 356-372 (1997)

24 Wei Li, Susan Gauch , John M. Gauch , Kok Meng Pua : VISION: A Digital Video Library. Digital Libraries 1996 : 19-27

23 Mohammed Javeed Zaki , Wei Li, Srinivasan Parthasarathy : Customized Dynamic Load Balancing for a Network of Workstations. HPDC 1996 : 282-291

22 Michal Cierniak , Wei Li, Mohammed Javeed Zaki : Loop Scheduling for Heterogeneity. HPDC 1995 : 78-

21 Zuoquan Lin , Wei Li: On Logic of Paradox. ISMVL 1995 : 248-

20 Wei Li: Compiler Cache Optimizations for Banded Matrix Problems. International Conference on Supercomputing 1995 : 21-30

19 Michal Cierniak , Wei Li: Recovering Logical Structures of Data. LCPC 1995 : 362-376

18 Michal Cierniak , Wei Li: Unifying Data and Control Transformations for Distributed Shared Memory Machines. PLDI 1995 : 205-217

17 Wei Li, Sallie M. Henry , Dennis G. Kafura , Robert S. Schulman : Measuring Object-Oriented Design. JOOP 8 (4): 48-55 (1995)

16 Wei Li: A Logical Framework for Evolution of Specifications. ESOP 1994 : 394-408

15 Olivier Egger , Wei Li: Very Low Bit Rate Image Coding using Morphological Operators and Adaptive Decompositions. ICIP (2) 1994 : 326-330

14 Sha Guo , Wei Sun , Yi Deng , Wei Li, Qing Liu , Weiping Zhang : Panther: An Inexpensive and Integrated Multimedia Environment. ICMCS 1994 : 382-391

13 Wei Li, Ningchuan Shen , Ju Wang : R-calculus: A Logical Approach for Knowledge Base Maintenance. ICTAI 1994 : 375-381

12 Zuoquan Lin , Wei Li: A Note on Tableaux of Logic of Paradox. KI 1994 : 296-307

11 Wei Li: An Interactive Consistency Maintenance System and Its Logical Framework. ICTAI 1993 : 100-107

10 Xianchang Wang , Huowang Chen , Quingping Zhao , Wei Li: W - A Logic System Based on the Shared Common Knowledge Views. IJCAI 1993 : 410-415

9 Geoffrey Fox , Sanjay Ranka , Michael L. Scott , Allen D. Malony , James C. Browne , Marina C. Chen , Alok N. Choudhary , Thomas Cheatham , Janice E. Cuny , Rudolf Eigenmann , Amr F. Fahmy , Ian T. Foster , Dennis Gannon , Tomasz Haupt , Carl Kesselman , Charles Koelbel , Wei Li, Monica S. Lam , Thomas J. LeBlanc , Jim Openshaw , David A. Padua , Constantine D. Polychronopoulos , Joel H. Saltz , Alan Sussman , Gil Weigand , Katherine A. Yelick : Common runtime support for high-performance parallel languages. SC 1993 : 752-757

8 Wei Li: A Theory of Requirements Capture and Its Applications. TAPSOFT 1993 : 406-420

7 Wei Li, Keshav Pingali : Access Normalization: Loop Restructuring for NUMA Compilers. TOCS 11 (4): 353-375 (1993)

6 Wei Li, Keshav Pingali : Access Normalization: Loop Restructuring for NUMA Compilers. ASPLOS 1992 : 285-295

5 Wei Li: Towards a Theory of Epistemic Processes. IWAR 1992 : 33-46

4 Wei Li, Keshav Pingali : A Singular Loop Transformation Framework Based on Non-Singular Matrices. LCPC 1992 : 391-405

3 Wei Li, Keshav Pingali : Loop Transformations for NUMA Machines. SIGPLAN Workshop 1992 : 9-12

2 Richard Johnson , Wei Li, Keshav Pingali : An Executable Representation of Distance and Direction. LCPC 1991 : 122-136

1 Wei Li: A Type-Theoretic Approach to Program Development. IFIP Congress 1989 : 1133-1138




DiSC'02 © 2003 Association for Computing Machinery