2214 search results - page 186 / 443 » complexity 2004 |
108
click to vote
EMISA
2004
Springer
15 years 8 months ago
2004
Springer
: Frameworks for composing Web Services offer a promising approach for realizing enterprise-wide and cross-organizational business applications. With BPEL4WS a powerful composition...
127
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
128
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
114
click to vote
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
103
click to vote
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
In spite of the great research effort made in Grid technology in the last years, application development and execution in the Grid continue requiring a high level of expertise due...