6862 search results - page 298 / 1373 » Modeling Parallel Applications Performance on Heterogeneous ... |
134
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
152
click to vote
TC
1998
15 years 4 months ago
1998
—The achievement of media synchronization has been dealt with in the Object Composition Petri Net (OCPN) model and the extended OCPN (XOCPN) model. Yet these two models are not e...
161
click to vote
MEMICS
2010
14 years 11 months ago
2010
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...
119
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
We propose a practical parallel on-the-fly algorithm for enumerative LTL model-checking. The algorithm is designed for a cluster of workstations communicating via MPI. The detect...
153
click to vote
CF
2009
ACM
15 years 2 months ago
2009
ACM
Emulation sits between simulation and experimentation to complete the set of tools available for software designers to evaluate their software and predict behavior under condition...