Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results

  • Alexandre Muzy
  • , Matthieu Lerasle
  • , Franck Grammont
  • , Van Toan Dao
  • , David R.C. Hill

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Usual Parallel Discrete Event System Specification (P-DEVS) allows specifying systems from modeling to simulation. However, the framework does not incorporate parallel and stochastic simulations. This work intends to extend P-DEVS to parallel simulations and pseudorandom number generators in the context of a spiking neural network. The discrete event specification presented here makes explicit and centralized the parallel computation of events as well as their routing, making further implementations easier. It is then expected to dispose of a well defined mathematical and computational framework to deal with networks of spiking neurons.

Original languageEnglish
Title of host publication2016 International Conference on High Performance Computing and Simulation, HPCS 2016
EditorsVesna Zeljkovic, Waleed W. Smari
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages925-934
Number of pages10
ISBN (Electronic)9781509020881
DOIs
Publication statusPublished - 13 Sept 2016
Externally publishedYes
Event14th International Conference on High Performance Computing and Simulation, HPCS 2016 - Innsbruck, Austria
Duration: 18 Jul 201622 Jul 2016

Publication series

Name2016 International Conference on High Performance Computing and Simulation, HPCS 2016

Conference

Conference14th International Conference on High Performance Computing and Simulation, HPCS 2016
Country/TerritoryAustria
CityInnsbruck
Period18/07/1622/07/16

Keywords

  • Spiking neuron networks
  • discrete event system specification
  • multithreading
  • parallel simulation
  • pseudorandomness

Fingerprint

Dive into the research topics of 'Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results'. Together they form a unique fingerprint.

Cite this