2144 search results - page 181 / 429 » Exact Flow Analysis |
122
click to vote
KBSE
2006
IEEE
15 years 11 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
138
click to vote
FLAIRS
2010
15 years 7 months ago
2010
In this paper, we propose the application of standard decomposition approaches to find local correlations in multimodal data. In a test scenario, we apply these methods to correla...
151
click to vote
FORMATS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...
182
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
139
click to vote
IJCV
2006
15 years 4 months ago
2006
Subspace based factorization methods are commonly used for a variety of applications, such as 3D reconstruction, multi-body segmentation and optical flow estimation. These are usu...