1497 search results - page 159 / 300 » Extended static checking |
101
click to vote
MICCAI
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
86
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— In previous work we presented a multi-robot strategy for routing missions in large scenarios where network connectivity must be explicitly preserved. This strategy is founded o...
113
Voted
CCGRID
2006
IEEE
15 years 7 months ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper focuses on statistical interconnect timing analysis in a parameterized block-based statistical static timing analysis tool. In particular, a new framework for performin...
ICW
2005
IEEE
15 years 6 months ago
2005
IEEE
- To alleviate the problem of high priority traffic hogging of all the available network capacity and to optimize the network traffic in the DiffServ network, we introduce the mult...