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 »
Tags:
Bugs,
Code,
Database,
Howto,
modelchecking,
Networking,
Research,
Science,
Scripting Category:
Reviews,
Science,
Troubleshooting
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 »
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.
Tags:
Code,
Howto,
Linux,
modelchecking,
Networking,
Research,
Science,
Scripting,
Simulation Category:
Config files,
Howto,
Science,
Troubleshooting
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 »
Tags:
Code,
Howto,
Linux,
modelchecking,
Networking,
Research,
Science,
Scripting,
Simulation Category:
Config files,
Howto,
Science,
Troubleshooting
There’s a great tool to master control over your harddrives, and it’s called hdparm. It has many options but this article will only cover those relevant to power saving. Read the rest of this entry »