Home | Conferences | Links | Reference | About | Search |
|
Paper Details@InProceedings{Faust06,title = "{A} {S}tudy of {P}ercolation {P}henomena in {P}rocess {N}etworks", author= "Faust, Oliver and Sputh, Bernhard H.C. and Allen, Alastair R.", editor= "Welch, Peter H. and Kerridge, Jon and Barnes, Frederick R. M.", pages = "109--121", booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2006", isbn= "978-1-58603-671-3", year= "2006", month= "sep", abstract= "Percolation theory provides models for a wide variety of natural phenomena. One of these phenomena is the dielectric breakdown of composite materials. This paper describes how we implemented the percolation model for dielectric breakdown in a massively parallel processing environment. To achieve this we modified the breadth-first search algorithm such that it works in probabilistic process networks. Formal methods were used to reason about this algorithm. Furthermore, this algorithm provides the basis for a JCSP implementation which models dielectric breakdowns in composite materials. The implementation model shows that it is possible to apply formal methods in probabilistic processing environments." } |
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to:
www at wotug.org