7 search results - page 2 / 2 » From topology to metric: modal logic and quantification in m... |
GRID
2005
Springer
13 years 10 months ago
2005
Springer
— In a grid-computing environment, resource selection and scheduling depend on the network topology connecting the computation nodes. This paper presents a method to hierarchical...
SIAMCOMP
2008
13 years 4 months ago
2008
The Graph Theorem of classical recursion theory states that a total function on the natural numbers is computable, if and only if its graph is recursive. It is known that this res...