6800 search results - page 580 / 1360 » Testing with Functions as Specifications |
199
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, ev...
188
click to vote
DATE
2008
IEEE
16 years 2 months ago
2008
IEEE
A generic and retargetable tool flow is presented that enables the export of timing data from software running on a cycle-accurate Virtual Prototype (VP) to a concurrent function...
189
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we consider region-based variational segmentation of two- and three-dimensional images by the minimization of functionals whose fidelity term is the quotient of two...
226
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
For CMOS technologies below 65nm, gate oxide direct tunneling current is a major component of the total power dissipation. This paper presents a simulated annealing based algorith...
209
click to vote
EMMCVPR
2005
Springer
16 years 1 months ago
2005
Springer
In this paper, a novel training method is proposed to increase the classification efficiency of support vector machine (SVM). The efficiency of the SVM is determined by the number ...