2432 search results - page 144 / 487 » Using simple abstraction to reinvent computing for paralleli... |
120
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Failure is an ordinary characteristic of large-scale distributed environments. Resubmission is a general strategy employed to cope with failures in grids. Here, we analyt...
128
click to vote
SCCC
1998
IEEE
15 years 8 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...
123
click to vote
JUCS
2010
14 years 11 months ago
2010
Abstract: We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped -calcul...
132
click to vote
CONCUR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Reactive systems are often modelled as two person antagonistic games where one player represents the system while his adversary represents the environment. Undoubtedly, t...
141
click to vote
EDOC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...