Search Sciweavers | Sciweavers

5525 search results - page 63 / 1105

» Verification of Model Transformations

click to vote

CODES
1996
IEEE

92views Software Engineering» more CODES 1996»

A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study

15 years 1 months ago

Download www.cecs.uci.edu

This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...

Tommy King-Yin Cheung, Graham R. Hellestrand, Pras...

claim paper

Read More »

click to vote

WSC
2000

123views Modeling And Simulation» more WSC 2000»

Planning for verification, validation, and accreditation of modeling and simulation applications

14 years 11 months ago

Download www.informs-sim.org

Osman Balci, William F. Ormsby, John T. Carr III, ...

claim paper

Read More »

click to vote

ICPR
2008
IEEE

221views Computer Vision» more ICPR 2008»

Contour grouping with shape manifold and distance transform

15 years 4 months ago

Download figment.cse.usf.edu

Object detection in clutter or occlusion is a hard problem in computer vision. We propose an object detection method based on contour grouping. Two stages are included: a novel di...

Zou Qi, Luo Siwei, Huang Yaping, Li Yan

claim paper

Read More »

click to vote

PADS
2006
ACM

106views Modeling and Simulation» more PADS 2006»

Using Abstraction in the Verification of Simulation Coercion

15 years 3 months ago