11217 search results - page 1757 / 2244 » Network Coding for Wireless Networks |
131
click to vote
NDSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection...
142
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
113
click to vote
AINA
2006
IEEE
15 years 8 months ago
2006
IEEE
HMMer is a widely used tool for protein sequence homology detection, as well as functional annotation of homologous protein sequences, and protein family classification. The HMMer...
135
click to vote
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
Models of computation like Kahn and dataflow process networks provide convenient means for modeling signal processing applicahis is partly due to the abstract primitives that thes...
146
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their com...