3281 search results - page 302 / 657 » An Approach to use Executable Models for Testing |
164
Voted
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
The use of statistical pattern recognition models to segment the left ventricle of the heart in ultrasound images has gained substantial attention over the last few years. The mai...
178
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we describe a new methodology based on game theory for minimizing the average power of a circuit during scheduling in behavioral synthesis. The problem of schedulin...
241
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
It has long been recognized that multi-stream operators, such as union and join, often have to wait idly in a temporarily blocked state, as a result of skews between the timestamp...
131
click to vote
JCST
2008
15 years 4 months ago
2008
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
130
Voted
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
We present a new sketch-based modeling approach in which models are interactively designed by drawing their 2D silhouettes from different views. The core idea of our paper is to l...