2144 search results - page 194 / 429 » Exact Flow Analysis |
147
click to vote
LOPSTR
2007
Springer
15 years 11 months 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...
128
Voted
MSR
2005
ACM
15 years 10 months ago
2005
ACM
Software continually changes due to performance improvements, new requirements, bug fixes, and adaptation to a changing operational environment. Common changes include modificatio...
151
click to vote
VIZSEC
2004
Springer
15 years 10 months ago
2004
Springer
The analysis of the vast storehouse of email content accumulated or produced by individual users has received relatively little attention other than for specific tasks such as spa...
152
click to vote
KBSE
1999
IEEE
15 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
132
click to vote
BMVC
1998
15 years 6 months ago
1998
To be able to understand the motion of deformable objects, techniques in image processing and computer vision are essential for non-rigid motion analysis in this active research a...