5481 search results - page 467 / 1097 » Application Analysis for Parallel Processing |
230
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
268
click to vote
ICCS
1999
Springer
15 years 12 months ago
1999
Springer
Conceptual Graphs and Formal Concept Analysis have in common basic concerns: the focus on conceptual structures, the use of diagrams for supporting communication, the orientation b...
216
Voted
ICIAR
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. In this article we present the results of an unsupervised segmentation algorithm based on a multiresolution method. The algorithm uses color and edge information in an it...
209
Voted
VL
2003
IEEE
16 years 25 days ago
2003
IEEE
The object-oriented modeling of interactive multimedia applications in the OMMMA approach is designed to enable multimedia software developers to create comprehensive analysis and...
248
click to vote
SAINT
2008
IEEE
16 years 1 months ago
2008
IEEE
In the ubiquitous computing environment, we believe that P2P-based context-aware application utilizing sensing data is important. However, since sensors are not placed under the c...