786 search results - page 64 / 158 » A static theory of promises |
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper we propose a novel approach termed as dynamic copula time-frequency distribution (DCTFD) for the construction of positive time-frequency distributions (PTFDs). DCTFD...
177
click to vote
COMPGEOM
2011
ACM
14 years 1 months ago
2011
ACM
Several recent works considered cooperative cleaning in static and dynamic environments, which incorporates a swarm of simple robots cleaning an expanding region of contaminated c...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
100
click to vote
QI
2009
Springer
15 years 4 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...