1067 search results - page 85 / 214 » Analysis of BPEL Data Dependencies |
164
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
228
click to vote
CPE
1994
Springer
15 years 10 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
194
click to vote
TSP
2008
15 years 6 months ago
2008
The assessment of multivariate association between two complex random vectors is considered. A number of correlation coefficients based on three popular correlation analysis techni...
138
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. The shared-cache contention on Chip Multiprocessors causes performance degradation to applications and hurts system fairness. Many previously proposed solutions schedule ...
199
click to vote
FOCI
2007
IEEE
16 years 21 days ago
2007
IEEE
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...