1724 search results - page 38 / 345 » Types as models: model checking message-passing programs |
CVPR
2010
IEEE
14 years 3 months ago
2010
IEEE
Markov random fields with higher order potentials have emerged as a powerful model for several problems in computer vision. In order to facilitate their use, we propose a new rep...
GCC
2007
Springer
14 years 1 months ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...
JPDC
2006
13 years 7 months ago
2006
We describe a new suite of computational benchmarks that models applications featuring multiple levels of parallelism. Such parallelism is often available in realistic flow comput...
FORTE
2011
12 years 11 months ago
2011
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
APCSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
MPI (the Message Passing Interface) continues to be the dominant programming model for parallel machines of all sizes, from small Linux clusters to the largest parallel supercomput...