1226 search results - page 156 / 246 » Generating Abstractions from Static Domain Analysis |
ICIAR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A major problem in surveillance systems is the storage requirements for video archival; videos are recorded continuously for long periods of time, resulting in large amou...
FORMATS
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
RV
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. We present a new approach for developing robust software applications that breaks dependences on the failed parts of an application’s execution to allow the rest of the...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
- Muscle fatigue is defined as the point at which the muscle is no longer able to sustain the required force or work output level. The overexertion of muscle force and muscle fatig...
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
A context-sensitive analysis is an analysis in which program elements are assigned sets of properties that depend upon the context in which they occur. For analyses on imperative ...