It seems that everytime I boot into Windows, I spend most of my time staring at the below screen: In fact I have a suspicion, I spend more time updating Windows, anti virus, and other crap to get less malware that I do actually being productive in Windows. Unfortunately, I need to check an application […]
Tag: Work
Name Scheming
I may no longer be allowed to name tools at work, but I am still the only one able to make new builds of CPN Tools. Hence, I present the upcoming version 2.3.9: […]
Lecture on State Spaces in the CPN Course
I am to give a guest lecture on ASAP for the CPN course tomorrow. For that, I've prepared a couple videos – one showing off the SS tools of CPN Tools and two showing off the SS tool in ASAP. None of the videos have any sound, but I am planning on ustreaming the lecture […]
dDist Week 4: Synchronization
My lectures for this week in dDist on synchronization in distributed systems: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Live Streaming Lectures in dDist
After playing around with ustream for a bit, I decided to give it a shot for my lectures in Distributed Systems. It seemed to go surprisingly well, so I now plan to stream live from lectures each Monday from 08:15-10:00 and each Wednesday from 09:15-10:00 (CEST). In addition to the live streams, I’ll also record […]
Math and Tools for Running Experiments
I’m running experiments for a paper, I’m currently working on. We’re testing a new tool, we’re working on. Of course, we compare it to our old tools, so I’m currently generating state spaces for 6 different CPN models. Each model is parametrized, so in total I have 38 instances (at the moment). In order to […]