432 search results - page 36 / 87 » The Interleaving Problem in Program Understanding |
MAS
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...
117
click to vote
WEA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
We analyze the computational complexity of kCFA, a hierarchy of control flow analyses that determine which functions may be applied at a given call-site. This hierarchy specifies ...
127
click to vote
VEE
2012
ACM
13 years 5 months ago
2012
ACM
Process virtualization provides a virtual execution environment within which an unmodified application can be monitored and controlled while it executes. The provided layer of co...
80
Voted
WSC
2000
14 years 11 months ago
2000
Over the last two decades, simulation of construction operations has gained momentum in its ability to provide solutions and understand complex problems. However, there still rema...