243 search results - page 19 / 49 » Error Detection Using Dynamic Dataflow Verification |
ATVA
2006
Springer
14 years 11 days ago
2006
Springer
e Abstraction of Programs With Non-linear Computation Songtao Xia1 Ben Di Vito2 Cesar Munoz3 1 NASA Postdoc at NASA Langley Research Center, Hampton, VA 2 NASA Langley Research Cen...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
We describe recent progress in the field of prosodic modeling for speaker verification. In a previous paper, we proposed a technique for modeling syllable-based prosodic feature...
ICASSP
2011
IEEE
13 years 11 days ago
2011
IEEE
The work presented in this paper is an extension of our two previous works [1, 2]. In the first paper [1], we proposed a low dimensional feature (i-vectors) extractor which is su...
ICCSA
2004
Springer
14 years 2 months ago
2004
Springer
To solve the congestion problem, network nodes at near the zombies need to filter the attack traffic. But the amounts of attack packets are small at upstream node and it is hard t...
FMCAD
2007
Springer
14 years 15 days ago
2007
Springer
As VLSI fabrication technology progresses to 65nm feature sizes and smaller, transistors no longer operate as ideal switches. This motivates verifying digital circuits using contin...