Showing 1–2 of 2 results for author: Šurkovský, M

Haydi: Rapid Prototy** and Combinatorial Objects

Authors: Stanislav Böhm, Jakub Beránek, Martin Šurkovský

Abstract: Haydi (http://haydi.readthedocs.io) is a framework for generating discrete structures. It provides a way to define a structure from basic building blocks and then enumerate all elements, all non-isomorphic elements, or generate random elements in the structure. Haydi is designed as a tool for rapid prototy**. It is implemented as a pure Python package and supports execution in distributed enviro… ▽ More Haydi (http://haydi.readthedocs.io) is a framework for generating discrete structures. It provides a way to define a structure from basic building blocks and then enumerate all elements, all non-isomorphic elements, or generate random elements in the structure. Haydi is designed as a tool for rapid prototy**. It is implemented as a pure Python package and supports execution in distributed environments. The goal of this paper is to give the overall picture of Haydi together with a formal definition for the case of generating canonical forms. △ Less

Submitted 27 September, 2019; originally announced September 2019.

Journal ref: Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings. Lecture Notes in Computer Science 10833, Springer 2018, ISBN 978-3-319-90049-0

MP net as Abstract Model of Communication for Message-passing Applications

Authors: Martin Šurkovský

Abstract: MP net is a formal model specifically designed for the field of parallel applications that use a message passing interface. The main idea is to use MP net as a comprehensible way of presenting the actual structure of communication within MPI applications. The goal is to provide users with the kind of feedback that can help them to check quickly whether or not the actual communication within their… ▽ More MP net is a formal model specifically designed for the field of parallel applications that use a message passing interface. The main idea is to use MP net as a comprehensible way of presenting the actual structure of communication within MPI applications. The goal is to provide users with the kind of feedback that can help them to check quickly whether or not the actual communication within their application corresponds to the intended one. This paper introduces MP net that focuses on the communication part of parallel applications and emphasizes its spatial character, which is rather hidden in sequential (textual) form. △ Less

Submitted 29 March, 2019; v1 submitted 19 March, 2019; originally announced March 2019.

Comments: Fix typos; Modify layout of figures 1. and 4. and add figure 13. (message broker); Add a paragraph to conclusion