Shows simple execution of a dead-locking Dining Philosophers example created using coloured Petri nets in CPN Tools. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Model Demo
Tag: Videos
Bit-state hashing og hash-compaction i ASAP
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
ASAP demo
Quick introduction to ASAP 1.1 testing (Jun 2009), a state space exploration tool developed by the CPN Group at Aarhus University. ASAP is available free of charge from http://www.daimi.au.dk/~ascoveco/download.html This video shows how to create a project, import a model, create a simple job for checking for dead-locks, and how to execute that job. MichaelTime […]
SML loading in ASAP
MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
FuClipse
Demonstrattion of my tool, FuClipse, which analyzes feature and plugin dependencies for Eclipse products. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Britney Spears’ Guide to DNS Cache Poisoning
Slideshow from a distributed systems course; it explains DNS cache poisoning and Kaminsky's exploit. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Britney Spears’ Guide to DNS Cache Poisoning