Tag Archives: Simulation

07/09/2016 – Talk by Mohsin Jafri

Title:  Simulating Depth-based routing in Underwater Networks
Time: 13:45
Location: Meeting room
Type: Research Result
Speaker: Mohsin Jafri
Abstract: In this talk, I will briefly discuss my ongoing research activities. I will present the implementation of a simulator for
studying Depth-Based Routing (DBR) in Underwater Wireless Sensor Networks (UWSNs). One of the major challenges for DBR is the configuration of a parameter called “holding time” which influences the network throughput, response time and energy consumption. I will show how it is possible to use the simulator to support the validation of a choice for a given value of the holding time, as well as other network parameters. The presentation will also discuss the important features that distinguish the implemented simulator with respect to the other ones available in the scientific literature and its validation against previous simulation models or measurements.

21/10/2015: Talk by Ivan Stojic

Title: Perfect sampling in stochastic Petri nets using decision diagrams
Time: 13:00
Location: Meeting Room, building Zeta
Type: Research result
Speaker: Ivan Stojic
Abstract: Stochastic Petri nets (SPN) are an important formalism for performance evaluation of telecommunication systems and computer hardware and software architectures whose underlying process is a continuous time Markov chain (CTMC). Since solving a CTMC underlying an SPN is often computationally too expensive due to state space explosion, simulation and sampling techniques are often used in analysis of SPN models. In this talk we present an algorithm for generating samples from stationary probability distribution of the CTMC underlying an SPN. The algorithm uses uniformization and decision diagrams to exploit regularities in structure of CTMCs obtained from SPNs in order to efficiently implement coupling from the past, a well known algorithm for perfect sampling.