Browsing Computer Science by Subject "Prof Mamadou Kaba Traore"

Now showing items 1-3 of 3

  • Formal and Operational Study of P-Devs 

    Eli-Ake, Grace Eyitayo Kehinde (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 

    OLayiwola, Joy, Ugonma (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 

    Adekunle, Onaopepo Husamat (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 ...