Sciweavers

Share
14 search results - page 1 / 3
» Reduced Execution Semantics of MPI: From Theory to Practice
Sort
View
FM
2009
Springer
110views Formal Methods» more  FM 2009»
11 years 8 months ago
Reduced Execution Semantics of MPI: From Theory to Practice
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
Sarvani S. Vakkalanka, Anh Vo, Ganesh Gopalakrishn...
CBMS
2007
IEEE
11 years 7 months ago
Ontology Engineering to Model Clinical Pathways: Towards the Computerization and Execution of Clinical Pathways
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
Katrina F. Hurley, Syed Sibte Raza Abidi
IPPS
2006
IEEE
11 years 7 months ago
Selecting the tile shape to reduce the total communication volume
In this paper we revisit the tile-shape selection problem, that has been extensively discussed in bibliography. An efficient approach is proposed for the selection of a suitable t...
Nikolaos Drosinos, Georgios I. Goumas, Nectarios K...
AOSD
2009
ACM
11 years 5 months ago
The dataflow pointcut: a formal and practical framework
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
Dima Alhadidi, Amine Boukhtouta, Nadia Belblidia, ...
EUROSYS
2007
ACM
11 years 5 months ago
Discrete control for safe execution of IT automation workflows
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
Yin Wang, Terence Kelly, Stéphane Lafortune
books