3473 search results - page 372 / 695 » Aspect-Oriented Programming with C |
148
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D...
206
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. We introduce the notion of array-based system as a suittraction of infinite state systems such as broadcast protocols or sorting programs. By using a class of quantified-...
170
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...
156
click to vote
IFIP
2009
Springer
16 years 1 months ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
152
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Limited numerical precision of nVidia GeForce 8800 GTX and other GPUs requires careful implementation of PRNGs. The Park-Miller PRNG is programmed using G80’s native Value4f ï...