5898 search results - page 58 / 1180 » Parallel Computing Environments and Methods |
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we explore a parallelization of BMC based on state space partitioning. The parallelization is accomplished by executing multiple instances of BMC independently from ...
HICSS
1995
IEEE
14 years 1 months ago
1995
IEEE
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
IPPS
2003
IEEE
14 years 3 months ago
2003
IEEE
The Adaptive Parallelism Environment is introduced as a means of effectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...
VL
1998
IEEE
14 years 1 months ago
1998
IEEE
We report on the development of a visual programming environment for building applications for execution on a range of parallel computing platforms. This work exploits the dataflo...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
Video parsing refers to the detection of scene changes and special e ects in the video stream and is used to extract key frames from a video stream. In this paper, we propose paral...