Engineering & Materials Science
Flow control
100%
Binary codes
85%
Malware
65%
Merging
53%
Static analysis
41%
Repair
33%
Dynamic analysis
32%
Side channel attack
31%
Data storage equipment
30%
Computer hardware
28%
Detectors
24%
Reverse engineering
22%
Specifications
22%
Testing
22%
Cache memory
22%
Acoustic waves
21%
Polymorphism
21%
Virtual machine
20%
Experiments
20%
Semantics
20%
Virtualization
20%
Tracers
19%
Commercial off-the-shelf
19%
Servers
19%
Channel capacity
19%
Data structures
18%
Computer programming languages
18%
Integer programming
18%
Formal specification
16%
Application programming interfaces (API)
16%
Surface mount technology
16%
Engines
15%
Agglomeration
14%
Program processors
14%
Linux
14%
Cryptography
14%
Dynamical systems
14%
Control systems
13%
Concretes
12%
Glues
12%
Decomposition
12%
Reduced instruction set computing
10%
Explosions
10%
Monitoring
9%
Bandwidth
8%
Seed
8%
Banking
7%
Theorem proving
7%
Mathematics
Symbolic Execution
68%
Java
48%
Transactional Memory
33%
Information Flow
31%
Virtualization
30%
Attack
26%
Channel Capacity
25%
Flow Graphs
23%
False Positive
22%
Merging
22%
Statistical Estimation
20%
Polymorphism
20%
Hardware
20%
Path
20%
Binary
19%
Repair
19%
Coverage
16%
Likely
16%
Dynamic Analysis
16%
Count
14%
Counting
14%
Approximate Model
14%
Libraries
14%
Strings
14%
Vulnerability
13%
Influence
13%
Flow Control
12%
Scalability
11%
Performance
10%
Experimental Results
9%
Software Components
9%
Branching
9%
Invariant
9%
Architecture
9%
Wrapper
9%
Speedup
9%
Linux
9%
Probabilistic Inference
8%
Object-oriented
7%
Multi-core Processor
7%
Model
7%
Query
7%
Privacy
7%
Floating point
7%
Nondeterminism
6%
Security Analysis
6%
Probability Model
6%
Concurrent Programming
6%
Satisfiability
6%