6800 search results - page 137 / 1360 » Testing with Functions as Specifications |
131
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper the concept of a reconfigurable hardware macro to be used as a generic building block in lowpower, low-cost SoC for multioperable GNSS positioning is described, feat...
133
Voted
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
This paper makes two main contributions towards establishing support for application-specific factors in middleware security mechanisms. First, it develops a simple classification...
110
Voted
FIMH
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...
179
Voted
CVPR
2006
IEEE
15 years 6 months ago
2006
IEEE
Segmentation of ultrasound images is often a very challenging task due to speckle noise that contaminates the image. It is well known that speckle noise exhibits an asymmetric dis...
127
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...