7065 search results - page 178 / 1413 » Iterative Scheduling Algorithms |
140
click to vote
CAV
2001
Springer
15 years 9 months ago
2001
Springer
Regular languages have proved useful for the symbolic state exploration of infinite state systems. They can be used to represent infinite sets of system configurations; the tran...
177
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
We present a new non-parametric model constraint graph min-cut algorithm for automatic kidney segmentation in CT images. The segmentation is formulated as a maximum a-posteriori es...
154
click to vote
IEEEPACT
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes a technique for utilizing predication to support software pipelining on EPIC architectures in the presence of dynamic memory aliasing. The essential idea is t...
159
click to vote
ECRTS
2007
IEEE
15 years 11 months ago
2007
IEEE
Since wireless ad-hoc networks use shared communication medium, accesses to the medium must be coordinated to avoid packet collisions. Transmission scheduling algorithms allocate ...
112
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents a set of comprehensive techniques for the intratask voltage scheduling problem to reduce energy consumption in hard real-time tasks of embedded systems. Based ...