8056 search results - page 164 / 1612 » Object Behavior Analysis |
179
click to vote
LOPSTR
2007
Springer
16 years 18 days ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
172
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
The developers of high-performance scientific applications often work in complex computing environments that place heavy demands on program analysis tools. The developers need to...
193
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
156
click to vote
TACAS
1999
Springer
15 years 10 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
151
click to vote
HPCC
2007
Springer
16 years 19 days ago
2007
Springer
In mobile-AdHoc networks (MANETs), many applications need the support of layer-structure. Clustering solution is the most widely used layerstructure and the choosing of clusterhead...