8056 search results - page 200 / 1612 » Object Behavior Analysis |
154
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
176
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
We study observation-based strategies for partially-observable Markov decision processes (POMDPs) with parity objectives. An observationbased strategy relies on partial information...
197
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
250
click to vote
SIGMETRICS
2010
ACM
15 years 1 months ago
2010
ACM
Space efficiency and data reliability are two primary concerns for modern storage systems. Chunk-based deduplication, which breaks up data objects into single-instance chunks that...
191
click to vote
INFOVIS
2000
IEEE
15 years 11 months ago
2000
IEEE
Data visualization environments help users understand and analyze their data by permitting interactive browsing of graphical representations of the data. To further facilitate und...