96 search results - page 15 / 20 » A Dynamic Approach for Automatic Error Detection in Generati... |
ECBS
2010
IEEE
13 years 12 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
KBSE
2003
IEEE
14 years 27 days ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...
FPL
2005
Springer
14 years 1 months ago
2005
Springer
This article presents a power estimation tool integrated with an FPGA design flow. It is able to estimate total and individual-node average power consumption for combinational blo...
CGVR
2007
13 years 9 months ago
2007
We present an experiment on depth cues for knot visualization in desktop virtual reality (fishtank VR). We used a within-subjects experiment to investigate stereoscopic visuals an...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
Features generated by Non-Negative Matrix Factorization (NMF) have successfully been introduced into robust speech processing, including noise-robust speech recognition and detect...