Sciweavers

1027 search results - page 15 / 206
» Callgraph properties of executables
Sort
View
RV
2010
Springer
119views Hardware» more  RV 2010»
13 years 8 months ago
LarvaStat: Monitoring of Statistical Properties
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...
Christian Colombo, Andrew Gauci, Gordon J. Pace
PEPM
1991
ACM
14 years 1 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen
DATE
2004
IEEE
114views Hardware» more  DATE 2004»
14 years 1 months ago
Workload Characterization Model for Tasks with Variable Execution Demand
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
Alexander Maxiaguine, Simon Künzli, Lothar Th...
ICECCS
1995
IEEE
108views Hardware» more  ICECCS 1995»
14 years 1 months ago
Using speculative execution for fault tolerance in a real-time system
Achieving fault-tolerance using a primary-backup approach involves overhead of recovery such as activating the backup and propagating execution states, which may a ect the timelin...
Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, ...
ACSAC
2008
IEEE
13 years 12 months ago
Preventing Information Leaks through Shadow Executions
A concern about personal information confidentiality typically arises when any desktop application communicates to the external network, for example, to its producer's server...
Roberto Capizzi, Antonio Longo, V. N. Venkatakrish...