334 search results - page 41 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
120
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
155
click to vote
ICCV
2011
IEEE
14 years 4 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, ...
114
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
161
click to vote
GRAPHICSINTERFACE
2003
15 years 5 months ago
2003
Modeling complex realistic objects is a difficult and time consuming process. Nevertheless, with improvements in rendering speed and quality, more and more applications require s...
128
click to vote
QSIC
2005
IEEE
15 years 9 months ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...