620 search results - page 70 / 124 » Abstract Analysis of Symbolic Executions |
90
Voted
HOLOMAS
2007
Springer
15 years 6 months ago
2007
Springer
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
104
Voted
DSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
133
Voted
ICFP
2002
ACM
16 years 15 days ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
88
Voted
CC
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...
93
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a prior...