The complexity gap in the static analysis of cache accesses grows if procedure calls are added (Q6108428)
From MaRDI portal
scientific article; zbMATH DE number 7704600
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The complexity gap in the static analysis of cache accesses grows if procedure calls are added |
scientific article; zbMATH DE number 7704600 |
Statements
The complexity gap in the static analysis of cache accesses grows if procedure calls are added (English)
0 references
29 June 2023
0 references
cache memories
0 references
LRU
0 references
PLRU
0 references
NMRU
0 references
NP-completeness
0 references
ExpTime-completeness
0 references
complexity
0 references
static analysis
0 references
pushdown system
0 references
procedure calls
0 references
