897 search results - page 51 / 180 » Reuse, Validation and Verification of System Development Pro... |
DELTA
2006
IEEE
14 years 17 days ago
2006
IEEE
The mapping of image processing algorithms to hardware is complicated by several hardware constraints including limited processing time, limited access to data and limited resourc...
FMCAD
2004
Springer
14 years 19 days ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...
SELMAS
2004
Springer
14 years 2 months ago
2004
Springer
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Functional verification of microprocessors is one of the most complex and expensive tasks in the current system-on-chip design process. A significant bottleneck in the validatio...
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Test Driven Development (TDD) is a software development practice in which unit test cases are incrementally written prior to code implementation. In our research, we ran a set of ...