3229 search results - page 547 / 646 » The Theory of Timed Automata |
190
Voted
WIOPT
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
286
click to vote
COMPGEOM
2011
ACM
14 years 9 months ago
2011
ACM
We propose a framework for compressive sensing of images with local geometric features. Specifically, let x ∈ RN be an N-pixel image, where each pixel p has value xp. The image...
220
click to vote
FOGA
2011
14 years 9 months ago
2011
The distribution of fitness values across a set of states sharply influences the dynamics of evolutionary processes and heuristic search in combinatorial optimization. In this p...
257
click to vote
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
169
click to vote
POPL
2011
ACM
14 years 8 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...