253 search results - page 24 / 51 » Imperative self-adjusting computation |
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Effective scheduling in the Grid consisting of heterogeneous and distributed resources is imperative in order to counter unacceptably large overheads of the Grid. We proposed the ...
ASM
2004
ASM
14 years 28 days ago
2004
ASM
Abstract. Static single assignment (SSA) form is the intermediate representation of choice in modern optimizing compilers for which no formal semantics has been stated yet. To prov...
LICS
2002
IEEE
14 years 14 days ago
2002
IEEE
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using t...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Linear type systems allow destructive operations such as object deallocation and imperative updates of functional data structures. These operations and others, such as th...
APDC
1997
13 years 9 months ago
1997
' An efficient assignment of tasks to the processors is imperative for achieving a fast job turnaround time in a parallel or distributed enviornment. The assignment problem is...