4325 search results - page 178 / 865 » Incremental computation with names |
170
click to vote
ICML
2008
IEEE
16 years 7 months ago
2008
IEEE
We present an algorithm for on-line, incremental discovery of temporal-difference (TD) networks. The key contribution is the establishment of three criteria to expand a node in TD...
146
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
: The accumulation of popular features in portable products such as mobile handsets is driving battery life to unacceptably low levels. Substantial change will not come from increm...
156
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a new SLA model for best effort IP traffic over WDM networks. This model jointly considers two QoS metrics, workable traffic volume and availability, as ...
132
click to vote
ICCS
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. Next-generation Grids will require flexible and adaptive network infrastructures that would be able to provide the requisite quality of service for computational flows....
166
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...