!"#$%&'() * Source Program Behavior Analyzer+,-./Practical Parallel Loop Detector01 23#45 + 67 Analyzer80%&9:;< = ! " > ' ( )+ K-Test (? Data Dependence Testing6@A%&B0CD + EF1GH +I2JK6L 923# +MNO $P;+QR#$S T UVWXTYZ+GHI2JK6[7$ %&\] *^9_`a+ I2 (KPLS)$bc +MNdefg5hi$ j0kT+I2lmR$n *opq+I 2R$BrI2s+ V TY+ 6 %& <=#\k$ 23#t Tu v+ w$?x723 $ j0yze{|bNhi1}r + w6~$T€ ‚R9 ƒre {|bN+ef6„…$ †‡ˆ‰!m $ ‰Š‹ŒŽ...

In the present work, an artificial neural network (ANN) model was used to study the quantitative structure retention relationship (QSRR) of retention index (RI) of some volatile compounds in natural cocoa and conched chocolate powder. Molecular structural descriptors are selected using genetic algorithm to construct the nonlinear QSRR models, kernel partial least squares PLS (KPLS) and Levenber...

In this paper we propose a knowledge-based approach for solving data dependence testing and loop scheduling problems. A rule-based system, called the K-Test, is developed by repertory grid and attribute ording table to construct the knowledge base. The K-Test chooses an appropriate testing algorithm according to some features of the input program by using knowledge-based techniques, and then ap...

The complexity class of Πpk-polynomial local search (PLS) problems is introduced and is used to give new witnessing theorems for fragments of bounded arithmetic. For 1 ≤ i ≤ k + 1, the Σi -definable functions of T k+1 2 are characterized in terms of Π p k-PLS problems. These Π p kPLS problems can be defined in a weak base theory such as S 2 , and proved to be total in T k+1 2 . Furthermore, the...

In wind tunnels, the Mach number needs to be precisely monitored and controlled. It is difficult obtain directly online, especially when tunnel system operating in multiple modes. To deal with this problem, a prediction algorithm based on kernel partial least squares method proposed for multi-mode systems. First, order reflect real-time changes, time-slice regression adopted. Then, enable model...