5639 search results - page 733 / 1128 » Timed Abstract Non-interference |
124
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
156
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
An ever increasing number of dynamic interactive applications are implemented on portable consumer electronics. Designers depend largely on operating systems to map these applicat...
148
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
Abstract-- Network processors (NPs) have emerged as successful platforms to providing both high performance and flexibility in building powerful routers. Typical NPs incorporate mu...
164
click to vote
MICCAI
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. This study presents a novel automatic approach for the identification of anatomical brain structures in magnetic resonance images (MRI). The method combines a fast multis...
139
click to vote
MICCAI
2006
Springer
16 years 6 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...