184 search results - page 37 / 37 » Testing Distributed Systems Through Symbolic Model Checking |
ECRTS
2007
IEEE
15 years 3 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
108
click to vote
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Recently, the wide deployment of practical face recognition systems gives rise to the emergence of the inter-modality face recognition problem. In this problem, the face images in ...
IVC
2007
14 years 9 months ago
2007
A unified evolutionary approach to coplanar radiotherapy inverse planning is proposed. It consists of a genetic algorithm-based framework that solves with little modification tr...
108
click to vote
INFOCOM
2012
IEEE
12 years 12 months ago
2012
IEEE
Abstract—In this paper, we investigate the problem of controlling node sleep intervals so as to achieve the min-max energy fairness in asynchronous duty-cycling sensor networks. ...