Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Maâmar el-amine Hamri"'
Autor:
Tuncer Ören, Paul K. Davis, Rhys Goldstein, Azam Khan, Laurent Capocchi, Maâmar El-Amine Hamri, Navonil Mustafee, Alison L. Harper, Baocun Hou, Bo Hu Li, Yang Liu
Publikováno v:
Simulation Foundations, Methods and Applications ISBN: 9783031110849
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5785fe500273642f0d72f89f4c6a2fe
https://doi.org/10.1007/978-3-031-11085-6_3
https://doi.org/10.1007/978-3-031-11085-6_3
Publikováno v:
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2020, 96 (11), ⟨10.1177/0037549720946107⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2020, 96 (11), ⟨10.1177/0037549720946107⟩
International audience; Modeling, verifying, and validating are essential steps in order to build systems and software that do what designers expect. If formal verification, and especially model-checking, is a popular method for proving the correctne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7db80a101dc6d7b48ed34c87b05a7b9f
https://hal-amu.archives-ouvertes.fr/hal-03538522/document
https://hal-amu.archives-ouvertes.fr/hal-03538522/document
Publikováno v:
SIMULATION
SIMULATION, SAGE Publications, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, pp.003754971878544. ⟨10.1177/0037549718785442⟩
SIMULATION, SAGE Publications, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, ⟨10.1177/0037549718785442⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2018, pp.003754971878544. ⟨10.1177/0037549718785442⟩
International audience; The delay is a very important element in modeling hardware behavior, and is realized in many hardware description languages such as ADLIB-SABLE, Verilog, and VHDL. The state of the art on hardware delay identifies four classes
Publikováno v:
SIGSIM-PADS '16 SIGSIM Principles of Advanced Discrete Simulation Banff, AB, Canada May 15-18, 2016
SIGSIM-PADS '16 SIGSIM Principles of Advanced Discrete Simulation Banff, AB, Canada May 15-18, 2016, 2016, Unknown, Unknown Region. pp.245-253
SIGSIM-PADS
SIGSIM-PADS '16 SIGSIM Principles of Advanced Discrete Simulation Banff, AB, Canada May 15-18, 2016, 2016, Unknown, Unknown Region. pp.245-253
SIGSIM-PADS
Efficient modelling and verification of models need an accurate representation of systems. Especially, PROMELA cannot represent time as quantitative properties. That means some properties depending on time cannot be checked with SPIN model-checker. D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::131f8de356841c47830bda0af5b985c6
https://hal-amu.archives-ouvertes.fr/hal-01490105
https://hal-amu.archives-ouvertes.fr/hal-01490105
Publikováno v:
Simulation Modelling Practice and Theory. 14:909-929
International audience; The representation of timing, a key element in modeling hardware behavior, is realized in hardware description languages including ADLIB-SABLE, Verilog, and VHDL, through delay constructs. The use of delays in the literature m
Publikováno v:
International Journal of Simulation and Process Modelling
International Journal of Simulation and Process Modelling, 2017, 12 (3/4), ⟨10.1504/IJSPM.2017.085564⟩
International Journal of Simulation and Process Modelling, 2017, 12 (3/4), pp.313. ⟨10.1504/IJSPM.2017.085564⟩
Scopus-Elsevier
International Journal of Simulation and Process Modelling, 2017, 12 (3/4), ⟨10.1504/IJSPM.2017.085564⟩
International Journal of Simulation and Process Modelling, 2017, 12 (3/4), pp.313. ⟨10.1504/IJSPM.2017.085564⟩
Scopus-Elsevier
International audience; PROMELA is a well-known formalism for the modeling and the verification of concurrent systems. PROMELA deals with high-level specifications. As a result, PROMELA models are expressed in a high-level abstraction which not consi
Publikováno v:
WSC '12 Proceedings of the Winter Simulation Conference
WSC '12 Winter Simulation Conference
WSC '12 Winter Simulation Conference, Dec 2012, Berlin, Germany. pp.409:1--409:12
HAL
WSC '12 Winter Simulation Conference
WSC '12 Winter Simulation Conference, Dec 2012, Berlin, Germany. pp.409:1--409:12
HAL
International audience; The paper presents an approach to automatically generate object-oriented code from DEVS graphical model specification. Afterward the generated DEVS code is given to the LSIS DME DEVS simulator to execute the corresponding beha
Publikováno v:
SIMULATION
SIMULATION, SAGE Publications, 2010, 86 (3), pp.181-197. ⟨10.1177/0037549709359357⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2010, 86 (3), pp.181-197. ⟨10.1177/0037549709359357⟩
SIMULATION, SAGE Publications, 2010, 86 (3), pp.181-197. ⟨10.1177/0037549709359357⟩
SIMULATION: Transactions of The Society for Modeling and Simulation International
SIMULATION: Transactions of The Society for Modeling and Simulation International, 2010, 86 (3), pp.181-197. ⟨10.1177/0037549709359357⟩
International audience; The objective of the paper is to specify a new flattened Generalized Discrete Event System simulation engine structure and the Workflow modeling and simulation environment embedding it. We express first the new flattened simul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2bfbd3740b13157ecd67c1d347b6405
https://hal.archives-ouvertes.fr/hal-00456101/document
https://hal.archives-ouvertes.fr/hal-00456101/document
Publikováno v:
Proceedings of AIS-CMS International modeling and simulation multiconference
AIS-CMS International modeling and simulation multiconference
AIS-CMS International modeling and simulation multiconference, Feb 2007, Buenos Aires, Argentina. pp.55-60
HAL
AIS-CMS International modeling and simulation multiconference
AIS-CMS International modeling and simulation multiconference, Feb 2007, Buenos Aires, Argentina. pp.55-60
HAL
International audience; The paper presents a software tool to model and simulate DEVS models. The tool can be used for education of DEVS formalism or developing complex models of real systems. It is based on two main features: 1) a graphical environm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c330e2dfcac02f914557eaf3a574fef0
https://hal.archives-ouvertes.fr/hal-00173661
https://hal.archives-ouvertes.fr/hal-00173661
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540244769
AIS
AI Simulation and Planning
AI Simulation and Planning, Oct 2004, Jeju, South Korea
AIS
AI Simulation and Planning
AI Simulation and Planning, Oct 2004, Jeju, South Korea
The representation of timing, a key element in modeling hardware behavior, is realized in hardware description languages including ADLIB-SABLE, Verilog, and VHDL, through delay constructs. In the real world, precise values for delays are very difficu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c549b4aac22657f029651110c4b29ff
https://doi.org/10.1007/978-3-540-30583-5_74
https://doi.org/10.1007/978-3-540-30583-5_74