Posts Tagged modelchecking

Trailing comma in IEEEXplore BibTeX

Posted by on Friday, 28 September, 2012

As a frequent user of the IEEEXplore database to search for literature concerning wireless networking, I often export a citation to BibTeX for use in my papers.

One of the things which has puzzled me for a long time, is why the BibTeX exporter adds a trailing comma after the last field.

Read the rest of this entry »

LaTeX and PRISM: syntax highlighting in the listing environment

Posted by on Wednesday, 19 September, 2012

You may be using the PRISM Model Checker for your research. You may also want to put some code in your text, for instance in your PhD thesis. Using and the Listings environment is probably your best bet. Read the rest of this entry »

spaces in MiXiM makemakefiles

Posted by on Friday, 20 July, 2012

MiXiM uses a ‘makemakefiles’ script, which makes the Makefiles by means of the following command:

make -f makemakefiles

However, after some modifications (adding own stuff) it stopped making new Makefile files. From visual inspection, nothing is wrong with the file. However, there’s a subtle thing you may want to check: the TAB in front of each line. DO NOT make the mistake of adding a few spaces, this is not just there to prettify things, opp_makemake apparently delimits on this TAB and gets severely upset from spaces there.

Removing any spaces and adding a TAB fixes the problem.

Clustercomputing with mpirun and torque

Posted by on Wednesday, 18 July, 2012

Some time ago I wrote about Clustercomputing with Torque, with a focus on discrete event simulations (using the method of independent replications). Turns out that method was not really efficient, so we try something else. Read the rest of this entry »

Speeding up OMNeT++/MiXiM simulations

Posted by on Wednesday, 21 December, 2011

Compiler optimisation flags can be quite helpful in bringing the (sometimes huge) duration of your OMNeT++ simulations to an acceptable level. Using a compute cluster can help, but even then the execution of a single process can take many hours for large networks. So let’s look at how you compile your code; I got a speed-up of approximately 10 times on some of my simulations. Read the rest of this entry »