9842 search results - page 267 / 1969 » Compositional timing analysis |
126
click to vote
RTSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...
153
click to vote
DOA
2001
15 years 5 months ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
242
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
Mining time series data is an important approach for the analysis in many application areas as diverse as biology, environmental research, medicine, or stock chart analysis. As nea...
163
click to vote
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
146
click to vote
ICSC
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper introduces a method for quantization of imagesequences which takes into account the human sensitivities in both space and time. A weighted clustering approach ...