Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

Znaleziono wyników: 5

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: programming language

Sortuj według:

Ogranicz wyniki do:

A formal method to detect possible P4 specific errors

100%

Tóth G. , Tejfel M.

tom Vol. 19

49--56

P4 is a programming language to develop data processing of networks. These kind of programs are used in network devices - like switches - to describe the way of forwarding the received packets to the proper device. Checking the correctness of these program is not an obvious task, because they can easily hide the run time errors. We are working on a method to detect violation of P4 specific properties for these programs. The method if based on a rule system, which can detect suspicious program parts and indicate the violated property to correct it easily. As a first step, we introduce the main idea, dealing with the access of invalid header and uninitialized fields with presenting it with a case study.

Języki programowania a programowanie robotów

100%

Kaczmarek W. , Panasiuk J.

tom R. 21, nr 3

72--79

Istnieje wiele definicji języka programowania. Przykładem może być definicja zaproponowana przez profesora Mordechaja Ben-Ariego. "Język programowania to zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje [I.2]."

Measures and visualization methods of map projection distortions with the use of “python matplotlib library” as an example

100%

Pędzich P.

tom Vol. 48, No. 3

101--114

The aim of the author of this article is to show the users of Geographical Information Systems how to present the distortions in a simple way. The intention of the author is also to popularize the knowledge in the scope of map projections and to inform the users of the maps that, despite all the advanced modern tools, an elimination of the problem, connected with the map projections and cartographical distortions occurring in them, has failed so far. The author presents a brief overview of the measures in the scope of distortions and methods of their presentation. It is also shown how the users can generate the maps, presenting a distortion by themselves. It is much easier to perform this type of visualization with the help of “matplotlib library”, basically everyone can compile such a map.

Python w zastosowaniach naukowych

84%

Pietrasieński J. , Siergiejuk P.

tom R. 85, nr 7CD

755--762

W pracy opisano możliwości języka Pythona w zastosowaniach naukowych w porównaniu z popularnym komercyjnym pakietem Matlab. Omówione w nim zostały najważniejsze różnice między tymi środowiskami oraz przykłady ich zastosowania.

This paper describes the scientific application of python in the correlation with commercial Matlab environment. Paper show the main difference between the this to tools and examples useage of them.

Program for Modelling Queuing Systems in Transport

84%

Dimitrov S.

tom 15

85-90

This paper presents an example application of a software program developed using the programming language VBA and designed for modelling queuing systems in the field of transport. The program enables users to quantitatively determine the indicators of the queuing systems. In order to show the program’s capabilities and how it can be used, two scenarios have been considered - modelling single-server and multi-server queuing systems of type M/M/1 and M/M/S, respectively, having a Poisson incoming flow of requests and exponentially distributed service times.