Sam Kolton's research while affiliated with Saint Petersburg Mining University and other places
What is this page?
This page lists the scientific contributions of an author, who either does not have a ResearchGate profile, or has not yet added these contributions to their profile.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
It was automatically created by ResearchGate to create a record of this author's body of work. We create such pages to advance our goal of creating and maintaining the most comprehensive scientific repository possible. In doing so, we process publicly available (personal) data relating to the author as a member of the scientific community.
If you're a ResearchGate member, you can follow this page to keep up with this author's work.
If you are this author, and you don't want us to display this page anymore, please let us know.
Publications (2)
One of the most serious problems when doing program analyses is dealing with function calls. While function inlining is the traditional approach to this problem, it nonetheless suffers from the increase in analysis complexity due to the state space explosion. Craig interpolation has been successfully used in recent years in the context of bounded m...
One of the most serious problems when doing program analyses is dealing with function calls. While function inlining is the traditional approach to this problem, it nonetheless suffers from the increase in analysis complexity due to the state space explosion. Craig interpolation has been successfully used in recent years in the context of bounded m...
Citations
... The existing methods [1][2][3][4] of calculating the QoS in specialized networks differ in the choice of characteristics for estimating this parameter, which leads to a number of assumptions and a decrease in the accuracy of the estimation, as well as ignoring the influence of unused network properties on the quality of service indicator [5][6][7][8]. The purpose of this article is to develop a method for assessing the QoS that would be suitable for all SPN, regardless of their architecture and the type of traffic being transmitted, as well as using a full set of characteristics that somehow affect the QoS [9][10][11]. At the initial stage, it is necessary to configure the network so that during its operation the maximum possible load is provided, and also to prepare and record the initial data. ...
![[object Object]](https://i1.rgstatic.net/ii/profile.image/284671507222528-1444882384747_Q64/Marat-Akhin.jpg)
![[object Object]](https://i1.rgstatic.net/ii/profile.image/272649293135911-1442016065976_Q64/Vladimir-Itsykson.jpg)
