Results 41 to 50 of about 5,480,236 (317)
The Use of Language Projection for Compositional Verification of Discrete Event Systems [PDF]
, 2008 This paper proposes the use of abstraction by language projection to improve the performance of compositional verification to prove or disprove that a large system of composed finite-state machines satisfies a given safety property.
Simon Ware +3 more
core +1 more source
Event Scheduling in Simulation of Discrete Event Systems with Application on Queuing Systems. [PDF]
المجلة العراقية للعلوم الاحصائية, 2010 Queuing theory and other of discrete and continuous event systems have theory aesthetic but the more assumptions which indepent these theories are not accurate as compared with real situation, also the queue problem is one of the most scientific problems
doaj +1 more source
NIHR Open Research, 2023 One aim of Open Science is to increase the accessibility of research. Within health services research that uses discrete-event simulation, Free and Open Source Software (FOSS), such as Python, offers a way for research teams to share their models with ...
Alison Harper, Thomas Monks
doaj +1 more source
Distributed discrete-event simulation [PDF]
ACM Computing Surveys, 1986 Traditional discrete-event simulations employ an inherently sequential algorithm. In practice, simulations of large systems are limited by this sequentiality, because only a modest number of events can be simulated. Distributed discrete-event simulation (carried out on a network of processors with asynchronous message-communicating capabilities) is ...
openaire +1 more source
A methodology for the decomposition of discrete event models for parallel simulation [PDF]
, 1993 Parallel simulation has presented the possibility of performing high-speed simulation. However, when attempting to make a link between the requirements of parallel simulation and discrete event simulation used in commercial areas such as manufacturing, a
Wilson, D R, Taylor, S J E, Winter, S C
core +6 more sources
Process Mining Contributions to Discrete-event Simulation Modelling
Business Systems Research, 2020 Background: Over the last 20 years, process mining has become a vibrant research area due to the advances in data management technologies and techniques and the advent of new process mining tools. Recently, the links between process mining and simulation
Jadrić Mario +2 more
doaj +1 more source
Estimated societal costs of stroke in the UK based on a discrete event simulation
Age and Ageing, 2019 Background there are around 100,000 new stroke cases and over a million people living with its consequences annually in the UK. This has large impacts on health and social care, unpaid carers and lost productivity.
Anita Patel +5 more
semanticscholar +1 more source
Artery-C: An OMNeT++ Based Discrete Event Simulation Framework for Cellular V2X [PDF]
International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, 2020 Introduced with LTE Release 14, Cellular V2X enables device-to-device communication to support road safety and traffic efficiency applications. We present Artery-C, a simulation framework for the performance evaluation of Cellular V2X protocols and V2X ...
A. Hegde, Andreas Festag
semanticscholar +1 more source
Enhancing Construction Process Employing Lean Principles and Discrete Event Simulation [PDF]
مهندسی عمران شریف, 2021 Traditional push-based planning systems often result in several types of waste due to mainly improper distribution of resources. Waste may have several adverse effects on a project, including the increases in cost, duration, and emission.
kh. Aseyedesmaeili +2 more
doaj +1 more source
Discrete event simulation in livestock management
Journal of Rural Studies, 2020 The agricultural sector in the UK is facing unprecedented challenges as a result of changes in the macroeconomic environment and the future of the livestock sub-sector is particularly uncertain.
P. Gittins, Gerard McElwee, N. Tipi
semanticscholar +1 more source