Certain circles have named today “Bad humor day”. In recognition of this, I have published my very funny (not funny) Petri net jokes, but thought I’d make a more firm statement by reposting some bad (very bad) cartoons I made for Mads Føk many years ago (4 years ago if the time-stamps on the files […]
Bad Petri Net Jokes
You know how some times you get an idea and, while knowing it is a bad idea, you still go with it? Yeah, taking these bad (very bad) Petri net jokes made it off Twitter and onto my blog. I may have surpassed Troels: You know how many movies have a token black dude? You […]
Characteristics of a Parallel State-space Analysis Algorithm
I’m running some experiments with a parallel implementation of state-space generation and observed something very interesting. I was running the experiments on my own computer (iMac, Core i7 2.8 GHz w/ 4 cores (8 HT) and 8 GiB 1067 MHz RAM). The experiment has been running for almost 4 days now and have just about […]
Read More… from Characteristics of a Parallel State-space Analysis Algorithm
Mission: Imperative
Looking at my fridge, I’d say it’s imperative that I go grocery shopping today. That, or man up and have a couple cans of beer for breakfast. This interesting notice was brought to you by the Gotta-wait-for-the-washing-machine-to-finish-before-I -head-to-the-supermarket foundation. […]
Idiots and Technology
When idiots get access to technology, they do stuff like this: Did I mention, I just created a profile on Foursquare? You should totally add me as a friend, so you can see when I go to the crapper. […]
Parallel State-space Generation
I’m doing some state-space analysis at the moment. Instead of bogging down my computer at home, I am running the experiments on our grid. It is a bit overkill, but there is something sexy by running a parallel algorithm on a machine with 16 CPUs. Unfortunately, it seems my algorithm doesn’t really scale that high, […]