2144 search results - page 166 / 429 » Exact Flow Analysis |
115
click to vote
CSDA
2006
15 years 4 months ago
2006
A recently proposed Bayesian multiscale tool for exploratory analysis of time series data is reconsidered and umerous important improvements are suggested. The improvements are in...
180
click to vote
TIT
2010
14 years 11 months ago
2010
Orthogonal matching pursuit (OMP) is the canonical greedy algorithm for sparse approximation. In this paper we demonstrate that the restricted isometry property (RIP) can be used f...
130
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
130
click to vote
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
This work presents the first worst-case execution times (WCET) analysis of MPEG-decoding. Solutions for two scenarios (Video-on-Demand (VoD), live) are presented, serving as exam...
144
click to vote
CACM
2010
15 years 4 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...