243 search results - page 5 / 49 » Error Detection Using Dynamic Dataflow Verification |
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Dataflow descriptions have been used in a wide range of Digital Signal Processing (DSP) applications, such as multi-media processing, and wireless communications. Among various f...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
CVPR
2000
IEEE
14 years 10 months ago
2000
IEEE
Design and development of novel human-computer interfaces poses a challenging problem: actions and intentions of users have to be inferred from sequences of noisy and ambiguous mu...
TACAS
2010
Springer
13 years 6 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
TASLP
2008
13 years 8 months ago
2008
Abstract--Motivated by potential applications in second-language pedagogy, we present a novel approach to using articulatory information to improve automatic detection of typical p...