1027 search results - page 1 / 206 » Callgraph properties of executables |
72
Voted
AICOM
2007
15 years 22 days ago
2007
90
Voted
ICCS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, two tools are presented: an execution driven cache simulator which relates event metrics to a dynamically built-up call-graph, and a graphical front end able to visu...
125
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
113
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
110
Voted
CEJCS
2011
14 years 1 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...