461 search results - page 9 / 93 » Verifying parallel programs with dynamic communication struc... |
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
The ability to dynamically adapt an unstructured grid (or mesh) is a powerful tool for solving computational problems with evolving physical features; however, an efficient parall...
IEEEPACT
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...
ICDE
2011
IEEE
12 years 10 months ago
2011
IEEE
Abstract— In recent years, XML-based Publish-Subscribe Systems have become popular due to the increased demand of timely event-notification. Users (or subscribers) pose complex ...
COMPASS
1994
13 years 10 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
FPL
2008
Springer
13 years 8 months ago
2008
Springer
Many of today's software-to-hardware compiler projects try to find dataflow parallelism in a sequential program description and use it to generate parallel running hardware c...