6514 search results - page 340 / 1303 » Low-Knowledge Algorithm Control |
102
click to vote
MA
1999
Springer
15 years 7 months ago
1999
Springer
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support efï...
128
Voted
AISC
1994
Springer
15 years 7 months ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
128
Voted
ESOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...
142
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper deals with a category of concavifiable functions that can be used to model inelastic traffic in the network. Such class of functions can be concavified within an interva...
99
Voted
ENDM
2008
15 years 3 months ago
2008
In this work we deal with sandwich graphs G = (V, E) and present the notion of vertices f-controlled by a subset M V . We introduce the generalized maxcontrolled set problem (gmc...