2488 search results - page 105 / 498 » An improvement in formal verification |
101
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
126
click to vote
FLAIRS
2008
15 years 3 months ago
2008
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustra...
150
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
133
click to vote
ECBS
2010
IEEE
15 years 5 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...
SPEECH
2008
15 years 19 days ago
2008
In this paper an unsupervised compensation method based on Gestalt, ISVC, is proposed to address the problem of limited enrolling data and noise robustness in text-dependent speak...