225 search results - page 33 / 45 » Model Based Test Generation for Microprocessor Architecture ... |
HT
2010
ACM
14 years 20 days ago
2010
ACM
The rise of social interactions on the Web requires developing new methods of information organization and discovery. To that end, we propose a generative community-based probabil...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— The purpose of this article is to provide potential neuroscientists and computer scientists with an artificial retina model, delivering spikes to higher-level visual tasks sim...
SAFECOMP
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
ASPDAC
2004
ACM
13 years 11 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...