3637 search results - page 172 / 728 » On Dynamic Bit-Probe Complexity |
CF
2011
ACM
12 years 9 months ago
2011
ACM
Dynamic Information Flow Tracking (DIFT) is a powerful technique that can protect unmodified binaries from a broad range of vulnerabilities such as buffer overflow and code inj...
BIOINFORMATICS
2007
13 years 9 months ago
2007
Motivation: High-throughput expression profiling allows researchers to study gene activities globally. Genes with similar expression profiles are likely to encode proteins that ma...
FM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
CSR
2010
Springer
14 years 1 months ago
2010
Springer
We study one-head machines through symbolic and topological dynamics. In particular, a subshift is associated to the subshift, and we are interested in its complexity in terms of r...
INFORMATICALT
2008
13 years 9 months ago
2008
In this paper the immune network system was presented by the sequence of species with new immunological components allowing more plausible to reflect the immune response processes....