61 search results - page 9 / 13 » Evaluation of Static Analysis Techniques for Fixed-Point Pre... |
AUTOMATICA
2007
13 years 8 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...
SP
2010
IEEE
14 years 13 days ago
2010
IEEE
—To handle the growing flood of malware, security vendors and analysts rely on tools that automatically identify and analyze malicious code. Current systems for automated malwar...
SAC
2010
ACM
13 years 8 months ago
2010
ACM
Traffic classification through Deep Packet Inspection (DPI) is considered extremely expensive in terms of processing costs, leading to the conclusion that this technique is not su...
SMI
2008
IEEE
14 years 2 months ago
2008
IEEE
Many 3D face matching techniques have been developed to perform face recognition. Among these techniques are variants of 3D facial curve matching, which are techniques that reduce...
ICS
1999
Tsinghua U.
14 years 25 days ago
1999
Tsinghua U.
Hydra is a chip multiprocessor (CMP) with integrated support for thread-level speculation. Thread-level speculation provides a way to parallelize sequential programs without the n...