Abstract | ||
---|---|---|
Our research is focused on the simplification of parallel programming for distributed memory systems. Our overall goal is to build a unifying framework for creating, debugging, profiling and verifying parallel applications. The key aspect is a visual model inspired by Colored Petri Nets. In this paper, we will present how to use the visual model for debugging and profiling as well. The presented ideas are integrated into our open source tool Kaira. |
Year | Venue | Keywords |
---|---|---|
2013 | Computer Science and Information Systems | Petri nets,application program interfaces,distributed memory systems,message passing,parallel programming,program debugging,program verification,public domain software,visual programming,Kaira,MPI applications,colored Petri nets,distributed memory systems,open source tool,parallel application debugging,parallel application profiling,parallel application verification,parallel programming,performance analysis,visual model,visual programming |
Field | DocType | ISSN |
Kaira,Petri net,Programming language,Profiling (computer programming),Computer science,Visual programming language,Message passing,Distributed memory systems,Algorithmic program debugging,Debugging | Conference | 2325-0348 |
Citations | PageRank | References |
1 | 0.38 | 7 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Stanislav Böhm | 1 | 50 | 8.69 |
marek bĕhalek | 2 | 20 | 3.91 |
Ondrej Meca | 3 | 17 | 5.00 |
Martin Surkovský | 4 | 1 | 0.38 |