4491 search results - page 321 / 899 » Algorithm Engineering |
247
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
147
Voted
VMCAI
2010
Springer
16 years 27 days ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
121
Voted
ICSM
2007
IEEE
15 years 10 months ago
2007
IEEE
Time series analysis is a promising approach to discover temporal patterns from time stamped, numeric data. A novel approach to apply time series analysis to discern temporal info...
103
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
106
Voted
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
Just-in-time compilers are invoked during application execution and therefore need to ensure fast compilation times. Consequently, runtime compiler designers are averse to impleme...