2662 search results - page 211 / 533 » Tools Demonstrations |
130
Voted
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
140
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
Image model plays a critical role in recovering diagnosis-relevant information from noisy observation data. Unlike conventional denoising techniques based on local models, a patch...
124
click to vote
ISVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
124
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
178
click to vote
WACV
2007
IEEE
15 years 11 months ago
2007
IEEE
Three-dimensional segmentation is reliable approach to achieve a proper estimation of tumor volume. Among all possible methods for this purpose, level set can be used as a powerfu...