Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014.
Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org). Berlin : Humboldt University of Berlin, 2014.
Academic editor: Popova-Zeugmann L.
This volume contains the papers presented at CS&P 2014: 23th International Workshop on Concurrency, Specification and Programming held on September 28 - October 1, 2014 in Chemnitz. Since the early seventies Warsaw University and Humboldt-University have alternately organized an annual workshop - since 1993 as CS&P. Over time, it has grown from a bilateral seminar to a meeting attended also by colleagues from other countries than Poland and Germany. This year there are 34 participants from 10 countries.
Lomazova I. A., , , in : Concurrency, Specification and Programming. CS&P 2014. Proceedings of the 23th International Workshop on Concurrency, Specification and Programming. Chemnitz, Germany, September 29 - October 1, 2014. Vol. 1269: CEUR Workshop Proceedings (CEUR-WS.org).: Berlin : Humboldt University of Berlin, 2014. P. 126-137.
In this paper we examine how it is possible to control Petri net behavior with the help of time constraints. Controlling here means to force a process to behave in a desirable way by ascribing priorities to transitions and hence transforming a classic Petri net into a Priority Petri net. Liveness and boundedness are crucial ...
Added: October 24, 2014
Research target: Computer Science
Priority areas: IT and mathematics
Program Semantics, Specification and Verification: Theory and Applications. Proceedings of the IV International Workshop PSSV 2013. Yekaterinburg, Russia, June 24, 2013
Yaroslavl : Yaroslavl State University, 2013
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop are dedicated to formalisms for program semantics, formal models and verication, programming and specification languages, etc. ...
Added: July 14, 2013
Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016.
Humboldt-Universität zu Berlin, 2016
This volume contains the papers presented at CS&P 2016, the 25th International Workshop on Concurrency, Speciﬁcation and Programming, held on September 28 - 30, 2016 in Rostock, Germany. Since the early seventies Warsaw University and Humboldt University have alternately organized an annual workshop - since the early nineties known as CS&P. Over time, it has ...
Added: October 13, 2016
Concurrency, Specification & Programming. 24th International Workshop, CS&P 2015. Rzeszow, Poland, September 28-30, 2015. Proceedings
University of Rzeszow, 2015
Added: October 11, 2015
Proceedings of 9th Workshop “Program Semantics, Specification and Verification: Theory and Applications" (PSSV-2018), Yaroslavl, Russia, June 21-22, 2018
Yaroslavl : Ярославский государственный университет им. П.Г. Демидова, 2018
Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the ninth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, algebraic and logical aspects of programming. ...
Added: October 26, 2018
Bialystok : Bialystok University of Technology, 2013
This volume contains the Proceedings of 22nd Concurrency, Specification and Programming (GS&P) Workshop held on September 25-27, 2013 in Warsaw. There were 48 submissions. Each submission was reviewed by two program committee members. The committee decided to accept 40 papers. The Workshop was initiated in the mid 1970s by computer scientists and mathematicians from Warsaw ...
Added: September 30, 2013
, , et al., Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2018 № 2 С. 2-8
In this paper, a specification-based test program generator for functional verification of RISC-V microprocessors is presented. The tool is based on the MicroTESK framework and consists of two main parts: (1) the formal specifications of the RISC-V ISA and (2) the ISA-independent generation core. Test programs are generated on the basis of the ISA specifications and test templates ...
Added: October 30, 2018
Структура со свойствами тесного мира для решения задачи поиска ближайшего соседа в метрическом пространстве
, , et al., Вестник Нижегородского университета им. Н.И. Лобачевского 2012 № 5 С. 409-415
A novel approach to solving the nearest neighbor search problem in metric space is considered. It is proposed as a data structure to use a graph with navigable small world properties and a gradient descent algorithm as a search algorithm. The problem of the existence of local minima is solved by a series of independent ...
Added: October 4, 2013
, М. : МАКС Пресс, 2018
This textbook is devoted to formal methods for program verification and is based on the lectures given by the author at CMC MSU, DCAM MIPT, and FCS HSE. It describes the basics of such approaches as deductive analysis and model checking. The list of topics includes formal semantics of programming languages (operational and axiomatic semantics), ...
Added: November 2, 2018
, , Бизнес-информатика 2013 № 2 С. 55-62
For an comprehensive evaluation of individual work of software developers this paper suggests the method of assigning priorities. It also describes approaches to factors which affect the assessment of work of software developers, ranging of these factors and ranging of software developers by these factors. The suggested methodology can be used for making management accounts ...
Added: June 27, 2013
Application and Theory of Petri Nets and Concurrency. 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings
Berlin : Springer, 2014
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 ...
Added: July 3, 2014
Third International Conference on the History and Philosophy of Computing [HaPoC 2015]. October 8-11, 2015. Pisa, Italy. Preliminary Proceedings
Piza : Pisa University Press, 2015
Volume contains papers presented during the symposium. They display very well polimorphism of modern computing. ...
Added: March 15, 2016
, , et al., Проблемы развития корабельного вооружения и судового радиоэлектронного оборудования 2015 № 4 С. 92-100
The paper discusses the methods and technologies used in the development of special software for control panel of shipboard laser complex (SLC) and a set of software simulators information flows generated by the equipment SLC interaction with the control panel. ...
Added: November 18, 2015
Концептуальные и логические модели для распределённых программных систем поддержки контрольно-измерительных мероприятий
, , Программные системы: теория и приложения 2017 Т. 8 № 4 С. 31-46
The paper concerns on the approaches, models and methods for educational software design and development. It focuses on complex support of computerized educational measurements. The main result is a formalization of educational assessment material concept, its lifecycle and relevant concepts from the technological point of view. The formalization is given at conceptual level. Several questions ...
Added: September 21, 2017
Критерии отклонения распределения случайных величин от нормального в математическом обеспечении программных систем поддержки измерений в образовании
, , , Программные системы: теория и приложения 2018 Т. 9 № 4 С. 199-218
The paper discusses estimation of normality of data collected from educational software. It reviews tests for normality which have discrete approximations and may be directly implemented in program systems. The paper discusses the necessity of these tests to educational data and their place in automation of education. The results of the review are used a ...
Added: November 18, 2018
Комбинаторная генерация тестовых программ для микропроцессоров на основе формальных спецификаций системы команд
, Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС) 2016 Т. II С. 38-45
Test program generation and simulation is the most widely used approach to functional verification of microprocessors. Functional verification is a quite time consuming process. According to various estimates, it accounts for more than 70% of overall resources spent on designing a new microprocessor. This can be explained by the fact that modern hardware designs have ...
Added: December 12, 2017
, , et al., Proceedings of the ACM on Programming Languages 2021 Vol. 5 No. OOPSLA Article 98
Liveness properties, such as termination, of even the simplest shared-memory concurrent programs under sequential consistency typically require some fairness assumptions about the scheduler. Under weak memory models, we observe that the standard notions of thread fairness are insufficient, and an additional fairness property, which we call memory fairness, is needed. In this paper, we propose ...
Added: February 2, 2022
, , et al., Programming and Computer Software 2015 Vol. 41 No. 6 P. 325-335
Checking the correctness of distributed systems is one of the most difficult and urgent problems in software engineering. A combined toolset for the verification of real-time distributed systems (RTDS) is described. RTDSs are specified as statecharts in the Universal Modeling Language (UML). The semantics of statecharts is defined by means of hierarchical timed automata. The ...
Added: October 13, 2015
An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms
, , , Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 125-138
A memory subsystem is one of the key components of a microprocessors. It consists of a number of storage devices (instruction buffers, address translation buffers, multilevel cache memory, main memory, and others) organized into a complex hierarchical structure. Huge state space of a memory subsystem makes its functional verification extremely labor consuming. Nowadays, the main ...
Added: December 10, 2017
, , Procedia Engineering 2015 Vol. 100 P. 1696-1705
Exponential growth in data production and a prominent trend in data center design architecture – a shift from expensive hardware towards a multitude of simple servers – pose new tasks and demand the use of different strategies for data center architects. In this work, a new solutions to distributed systems design are discussed, which are ...
Added: March 6, 2015
, , Journal of Physics: Condensed Matter 2013 Vol. 25 No. 22 P. 1-10
We investigate the multiquantum vortex states in a type-II superconductor in both 'clean' and 'dirty' regimes defined by impurity scattering rate. Within a quasiclassical approach we calculate self-consistently the order parameter distributions and electronic local density of states (LDOS) profiles. In the clean case we find the low temperature vortex core anomaly predicted analytically by ...
Added: November 19, 2013
, , , Automatic Control and Computer Sciences 2014 Vol. 48 No. 7 P. 398-406
Software-dened networking (SDN) is an approach to building computer net- works that separate and abstract data planes and control planes of these systems. In a SDN a centralized controller manages a distributed set of switches. A set of open commands for packet forwarding and ow-table updating was dened in the form of a protocol known ...
Added: September 30, 2015
, Известия высших учебных заведений. Физика 2016 Т. 59 № 8-2 С. 97-100
The paper proposes a method of automated construction of behavior models of microprocessors, which are used in the process of test program generation to predict the results. The proposed method is based on using formal specifications of instruction set architecture. The method is implemented in MicroTESK, a test program generation tool being developed at ISP ...
Added: February 2, 2018
, , et al., Труды Института системного программирования РАН 2016 Т. 28 № 6 С. 87-102
ARM is a family of microprocessor instruction set architectures developed in a company with the same name. The newest architecture of this family, ARMv8, contains a large number of instructions of various types and is notable for its complex organization of virtual memory, which includes hardware support for multilevel address translation and virtualization. All of ...
Added: November 24, 2017
, , et al., Программирование 2015 № 6 С. 72-86
Проверка правильности функционирования распределенных программ --- это одна из наиболее трудных и актуальных задач современного программирования. В статье описано комбинированное программно-инструментальное средство верификации распределенных вычислительных систем реального времени (РВС РВ). Для описания РВС РВ используется универсальный язык моделирования UML. Семантика диаграмм состояний UML определяется на основе модели вычислений иерархических временных автоматов. Средство верификации диаграмм UML ...
Added: October 13, 2015