robert.hilbri.ch » Theorie http://robert.hilbri.ch Willkommen auf der Homepage von Robert Hilbrich Thu, 01 Dec 2011 11:41:42 +0000 en hourly 1 http://wordpress.org/?v=3.2.1 Verifikation: Radix und Counting Sort http://robert.hilbri.ch/studium/theorie/proseminar-2003-computerverifikation/ http://robert.hilbri.ch/studium/theorie/proseminar-2003-computerverifikation/#comments Sat, 26 Apr 2008 19:28:30 +0000 Robert http://blog.hilbri.ch/?p=13 Ein sehr schönes Seminar, was die Verfikation von Algorithmen zum Ziel hatte, also Invarianten finden und ähnliches.

Ich habe dabei als Thema “Sortieren durch Zählen” genommen und die beiden Algorithmen Couting Sort und Radix Sort betrachtet.

Presentation zum Thema Radixsort (PDF)

]]> http://robert.hilbri.ch/studium/theorie/proseminar-2003-computerverifikation/feed/ 0