4041 search results - page 166 / 809 » time 2009 |
173
click to vote
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Although low-thrust propulsion is an interesting option for scientific and reconnaissance missions to targets in planetary space, like the Moon, associated transfer strategies pose...
186
click to vote
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
183
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
Functional validation is a major bottleneck in the current SOC design methodology. While specification-based validation techniques have proposed several promising ideas, the time ...
191
click to vote
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
Intravascular ultrasound (IVUS) is a useful imaging technique that can be used to assess the health of coronary arteries. However, manual segmentation of the lumen and adventia bou...
170
click to vote
IWPEC
2009
Springer
16 years 1 months ago
2009
Springer
We describe a framework for expressing the complexity of algorithms for FPT problems with two separate parameters k, m and with exponential time bounds O∗ (xk ym ) where x, y &g...