5639 search results - page 163 / 1128 » Timed Abstract Non-interference |
125
click to vote
MICCAI
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. In this paper, we propose a generic framework for intersubject non-linear registration of 4D time-series images. In this framework, spatio-temporal registration is define...
125
click to vote
MICCAI
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. High performance computing has become a key step to introduce computer tools, like real-time registration, in the medical field. To achieve real-time processing, one usua...
240
Voted
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
232
click to vote
CC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...
121
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...