1458 search results - page 132 / 292 » Monads for incremental computing |
109
Voted
VLSID
2004
IEEE
16 years 3 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...
116
click to vote
AINA
2008
IEEE
15 years 10 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 ...
92
Voted
ICCS
2005
Springer
15 years 9 months 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....
128
click to vote
TLCA
2005
Springer
15 years 9 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...
112
click to vote
PPSN
2004
Springer
15 years 8 months ago
2004
Springer
An automatic traffic sign detection system would be important in a driver assistance system. In this paper, an approach for detecting numbers on speed limit signs is proposed. Suc...