2451 search results - page 87 / 491 » The Octagon Abstract Domain |
162
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
149
click to vote
KI
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
162
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. For systems that share enough structural and functional commonalities, reuse in schema development and data manipulation can be achieved by defining problem-oriented lang...
161
click to vote
GLOBECOM
2006
IEEE
16 years 12 days ago
2006
IEEE
Abstract—In a mobile ad-hoc network scenario, where communication nodes are mounted on moving platforms (like jeeps, trucks, tanks, etc.), use of V-BLAST requires that the number...
286
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...