13489 search results - page 400 / 2698 » Self-migration of operating systems |
222
click to vote
CSFW
1997
IEEE
15 years 12 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
202
click to vote
COSIT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Although maps and partitions are ubiquitous in geographical information systems and spatial databases, there is only little work investigating their foundations. We give ...
234
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...
194
click to vote
EURODAC
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper presents a novel approach to scheduling of hardware supported synchronization operations. The optimization goal is to minimize the interation time of processes and thus...
168
click to vote
ALENEX
2004
15 years 9 months ago
2004
There are numerous instances where mathematical constants do not admit a closed form. It is then of great interest to compute them, possibly in an efficient way. So the question i...