Browsing Computer Science by Subject "Prof Mamadou Kaba Traore"
Now showing items 1-3 of 3
-
Formal and Operational Study of P-Devs
(2011-12-15)Discrete Event System Specification (DEVS) is a sound formal modeling and simulation (M&S) structure based on generic dynamic system concepts. PDEVS (Parallel Discrete Event System Specification) is a well-known formalism ...
-
Generic Animation Tool for Traffic Simulation
(2016-06-23)Traffic simulation has become one of the most used approaches for traffic analysis in support of the design and evaluation of traffic systems. Although traffic flow models have been applied for almost a century to describe, ...
-
Strategies to Implement Parallel Discrete Event System Specification Algorithms
(AUST, 2014-12-15)Discrete Event System Specification (DEVS) formalism is a Modeling and Simulation (M&S) framework that provides a means of specifying systems. It separates a model from its simulator. The former describes the structure and ...