Zobrazeno 1 - 10
of 774
pro vyhledávání: '"Promela"'
Publikováno v:
IEEE Access, Vol 11, Pp 111846-111859 (2023)
The use of Underwater Sensor Networks (UWSN) for underwater ocean applications such as seismic event detection, target detection, marine resource monitoring, and oil bed monitoring is growing. In contrast to conventional WSNs, these networks communic
Externí odkaz:
https://doaj.org/article/8a6d3de80e324041a1832864a48dfa9e
Publikováno v:
Xibei Gongye Daxue Xuebao, Vol 40, Iss 5, Pp 1180-1187 (2022)
聚焦安全关键软件, 研究基于PROMELA形式模型验证C程序中违反断言、数组越界、空指针解引用、死锁及饥饿等5类故障技术。建立C程序抽象语法树节点到PROMELA模型, 验证属性相关函数到PROMELA模
Externí odkaz:
https://doaj.org/article/6f0776523ef74fc48b92c30d80c112a7
Publikováno v:
Моделирование и анализ информационных систем, Vol 28, Iss 4, Pp 338-355 (2021)
The paper presents a new approach to autotuning data-parallel programs. Autotuning is a search for optimal program settings which maximize its performance. The novelty of the approach lies in the use of the model checking method to find the optimal t
Externí odkaz:
https://doaj.org/article/5bf3d49d330d42d486cae9e867a365b0
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Sensors, Vol 22, Iss 3, p 1084 (2022)
IoT environments are forecasted to grow exponentially in the coming years thanks to the recent advances in both edge computing and artificial intelligence. In this paper, a model of remote computing scheme is presented, where three layers of computin
Externí odkaz:
https://doaj.org/article/e9ec799a5d6e439ba9259ad87b2d9ed8
Autor:
V. S. Burenkov, A. S. Kamkin
Publikováno v:
Труды Института системного программирования РАН, Vol 28, Iss 4, Pp 57-76 (2018)
This paper introduces a method for scalable verification of cache coherence protocols described in the Promela language. Scalability means that resources spent on verification (first of all, machine time and memory) do not depend on the number of pro
Externí odkaz:
https://doaj.org/article/07be596aa44c46e9b29bfc5c9403b61e
Autor:
V. S. Burenkov
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 4, Pp 231-246 (2018)
This paper introduces a technique for scalable functional verification of cache coherence protocols that is based on the verification method, which was previously developed by the author. Scalability means that verification efforts do not depend on t
Externí odkaz:
https://doaj.org/article/a7b5c8f2f65f431a85c6f6eac82244a5
Publikováno v:
Sensors, Vol 21, Iss 21, p 7276 (2021)
Edge computing applications leverage advances in edge computing along with the latest trends of convolutional neural networks in order to achieve ultra-low latency, high-speed processing, low-power consumptions scenarios, which are necessary for depl
Externí odkaz:
https://doaj.org/article/6da783816b7c48069c81351dd6d4dee1
Publikováno v:
International Journal of Software Engineering and Knowledge Engineering. 31:1017-1042
Business process specified in Business Process Execution Language (BPEL), which integrates existing services to develop composite service for offering more complicated function, is error-prone. Verification and testing are necessary to ensure the cor
Publikováno v:
IEEE Transactions on Parallel and Distributed Systems
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname
[EN] Reversibility enables a program to be executed both forwards and backwards. This ability allows programmers to backtrack the execution to a previous state. This is essential if the computation is not deterministic because re-running the program