3544 search results - page 430 / 709 » Software Testing |
229
Voted
CONIELECOMP
2011
IEEE
14 years 10 months ago
2011
IEEE
This work focuses on developing systems of blocks in SIMULINK and VHDL to reuse on design of applications involving the recognition of polygonal objects. Usage of this work reduce...
196
click to vote
DMIN
2009
15 years 4 months ago
2009
Support vector machines are a valuable tool for making classifications, but their black-box nature means that they lack the natural explanatory value that many other classifiers po...
199
click to vote
ASM
2010
ASM
15 years 10 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
183
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
198
click to vote
WSC
1998
15 years 8 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...