4809 search results - page 320 / 962 » Scalable Analysis of Scalable Systems |
220
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
204
click to vote
DOCENG
2008
ACM
15 years 9 months ago
2008
ACM
Web content is notoriously difficult to capture on a printed page due to inconsistent and undesired results. Items that users may not want to print, such as media, navigation menu...
206
click to vote
ICDAR
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this paper, we present a novel approach to search and retrieve from document image collections, without explicit recognition. Existing recognition-free approaches such as wor...
243
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
—As the scales of parallel applications and platforms increase the negative impact of communication latencies on performance becomes large. Fortunately, modern High Performance C...
317
click to vote
ECOOP
2009
Springer
16 years 8 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...