607 search results - page 54 / 122 » Unifying Exact Completions |
161
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— The Dynamic Voltage Scaling (DVS) technique is the basis of numerous state-of-the-art energy management schemes proposed for real-time embedded systems. However, recent researc...
173
click to vote
AAIM
2007
Springer
16 years 13 days ago
2007
Springer
An acyclic edge colouring of a graph is a proper edge colouring having no 2-coloured cycle, that is, a colouring in which the union of any two colour classes forms a linear forest...
160
click to vote
FROCOS
2007
Springer
16 years 12 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
172
click to vote
PPAM
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. We consider the problem of computing a weighted edge matching in a large graph using a parallel algorithm. This problem has application in several areas of combinatorial ...
167
click to vote
ICDCS
2006
IEEE
16 years 9 days ago
2006
IEEE
— We consider applications of sensor networks wherein data packets generated by every node have to reach the base station. This results in a many-to-one communication paradigm re...