3637 search results - page 172 / 728 » On Dynamic Bit-Probe Complexity |
142
Voted
CF
2011
ACM
13 years 10 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...
90
Voted
BIOINFORMATICS
2007
14 years 10 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...
109
click to vote
FM
2009
Springer
15 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...
83
Voted
CSR
2010
Springer
15 years 2 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
14 years 10 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....