2214 search results - page 186 / 443 » complexity 2004 |
176
click to vote
EMISA
2004
Springer
16 years 13 days 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...
190
Voted
EMSOFT
2004
Springer
16 years 13 days 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...
218
Voted
ESOP
2004
Springer
16 years 13 days 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...
180
Voted
EUROPAR
2004
Springer
16 years 13 days 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...
178
Voted
EUROPAR
2004
Springer
16 years 13 days 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...