4400 search results - page 655 / 880 » A proposal for parallel self-adjusting computation |
169
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper proposes two compiler-assisted techniques to improve thread level control speculation in speculative multithreading executions. The first technique is to incr...
162
click to vote
EUROPAR
2003
Springer
15 years 12 months ago
2003
Springer
1 One common assumption of the existing models of load balancing is that the weights of resources and I/O buffer size are statically configured. Though the static configuration ...
152
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Whenever the characteristics of a service grid environment are addressed, issues related to openness and dynamism pop out first. Such issues do affect the definition and handling o...
166
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
A formal model called CoAuto (Cooperative Automaton) is proposed ibe and analyze cooperative processes. A basic CoAuto abstracts the behaviors of a single active entity. It separat...
167
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...