• LinkedIn
  • Twitter
  • Youtube
  • Instagram
  • Soundcloud
  • Pinterest
  • Mail
  • DATENSCHUTZ
  • SEO gratis!
  • datenschmutz.Bulletin
datenschmutz.blog | Ritchie Pettauer
  • Home
    • datenschmutz.blog
    • Online Marketing Tutorials
    • Online Marketing News
    • Videopodcasts
    • datenschmutz KULINARIUM
    • Astrids Kolumne
    • Archiv 2006 – 2019
  • Beratung
    • Workshop: LinkedIn für Unternehmen
    • Workshops: Online Strategie
    • Fachartikel: Marketing mit LinkedIn
    • Fachartikel: HR mit LinkedIn
  • Vorträge
    • Keynotes & Moderation
    • Keynote-Themen
    • Referenzen
    • Vortragsanfrage
  • #LinkedInShow
    • Aktuelle Sendung
    • Archiv
    • LinkedIn Profiloptimierung (E-Book)
    • Marketing mit LinkedIn
  • Podcast
    • Staffel 1
    • Staffel 2
  • Glossar
  • Literatur
  • Termine
  • Shop
  • RitchieRitchie Pettauer, der Autor
    • Presse-Clippings
    • Ritchie im Social Web
    • Ritchie bewerten!
    • Partner | pnc Netzwerk
  • Kontakt
    • Video-Call buchen
    • Testimonial einreichen
    • Werbung / Mediakit
  • Suche
  • Menü Menü
Sir Tony Hoare: Informatiklegende an der TU Wien

Sir Tony Hoare: Informatiklegende an der TU Wien

17.11.2007/1 Kommentar/in Digitale Kommunikation, Online Marketing Beratung /von Ritchie Pettauer
Teilen
Teilen
Twittern
WhatsApp
Print

Zuletzt aktualisiert am 3. Dezember 2014 um 10:46

hoareSir Charles Antony Richard Hoare ist (inzwischen emeritierter) Professor of Computing in Oxford und arbeitet bei Microsoft Research Cambridge. Informatik-StudentInnen kennen ihn als den Erfinder des Quicksort-Algorithmus und Turing Award Preisträger – diesen „Nobelpreis der Informatik“ erhielt der Brite im Jahr 1980. An der TU Wien hält Hoare einen Vortrag mit anschließender Diskussion.

Ort: TU Wien, Neues Elektrotechnisches Institutsgebäude, Hörsaal EI 9, Gußhausstraße 25, EG

Der Vortrag beginnt pünktlich um 17 Uhr, im Fokus steht das Thema Fine-Grain Concurrency:

I have always been frightened by concurrent programs which share a common memory, with fine-grained interleaving of access to it. But with multi-core computers, that is the way of the future. Fortunately, the recent development of separation logic gives an elegant way of expressing ownership of storage locations and the transfer of ownership.

I will introduce a semantics based on Petri nets, using separation logic to annotate their arcs and to prove absence of race conditions as well as assertional correctness.

Weitere Infos zur Veranstaltung
Tony Hoare: Biographie

Was hat’s auf sich mit Quicksort?

Die Problemstellung, Daten anhand bestimmter Parameter zu sortieren, tritt bei der Programmierung sehr häufig auf. Quicksearch nutzt einen rekursiven Algorithmus, der mit einer kurzen inneren Schleife äußerst performante und speicherschonende Sortierverfahren erlaubt. Er bedient sich dabei des sogenannten „Teile und herrsche“ bzw. „divide et impera“ Prinzips – dabei geht es um die Zerlegung eines komplexen Problems in viele kleine Einzelprobleme. Quicksort etwa generiert viele kleine Ergebnislisten, aus denen das Gesamtergebnis dann zusammengesetzt wird. Näheres weiß die Wikipedia:

Zunächst wird die zu sortierende Liste in zwei Teillisten umsortiert. Dazu wählt Quicksort ein sogenanntes Pivotelement aus der Liste aus, das die Grenze zwischen den beiden Teillisten festlegt. Alle Elemente die kleiner als das Pivotelement sind, kommen in die linke, untere Teilliste und alle die größer sind, in die rechte, obere Teilliste. Die Längen der Teillisten werden also nicht schon vorher festgelegt, sondern ergeben sich aus der Wahl des Pivotelements. Die Positionen der Elemente, die gleich dem Pivotelement sind, hängen vom verwendeten Teilungsalgorithmus ab. Sie können sich beliebig auf die Teillisten verteilen.

Teilen
Teilen
Twittern
WhatsApp
Print
Schlagworte: Algorithmus, Microsoft, Nobelpreis, Vortrag, Wien
https://datenschmutz.net/wp-content/uploads/2013/04/standard-thumb595.jpg 360 622 Ritchie Pettauer https://datenschmutz.net/wp-content/uploads/2020/02/datenschmutz-weblogo2.png Ritchie Pettauer2007-11-17 12:25:382014-12-03 10:46:19Sir Tony Hoare: Informatiklegende an der TU Wien
Das könnte Dich auch interessieren
Blogistan-Panoptikum Woche 14 2k7 Blogistan-Panoptikum Woche 14 2k7
Frische Ausstellung im net.culture.space: E-MOTION Frische Ausstellung im net.culture.space: E-MOTION
Metalab: Wiener Innovationsforum am 20. April Metalab: Wiener Innovationsforum am 20. April
Traurige Youtube Stars und Prognosen Online (Marketing) Panoptikum: Das große Heulen & Zähneknirschen & viele 2017er Prognosen
Almcamp 2010: Fotos, Fazit und die Barcamp-Zukunft Mix 2010: Silverlight 4 und Windows Mobile 7
Lenny Kravitz singt in Wien für Barack Obama Lenny Kravitz singt in Wien für Barack Obama
1 Kommentar

Hinterlasse einen Kommentar

Schreibe einen Kommentar Antworten abbrechen

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.

Möchten Sie neue Kommentare abonnieren?
Wann möchten Sie Ihre Benachrichtungen erhalten?
Sie können auch Kommentare zu diesem Beitrag abonnieren, ohne selbst zu kommentieren.

Ritchie Pettauer, Online Strategie Berater
Herzlich willkommen! Als erfahrener Online-Stratege und LinkedIn-Experte berate ich dich in allen Content-Marketing, Social-Selling und Personal-Branding Fragen.
Buchen jetzt deinen kostenfreien Strategie-Call!

Dieser Newsletter ist zu exklusiv. Bitte nicht abonnieren.

Pflichtfeld!
Pflichtfeld!
Pflichtfeld!
Pflichtfeld!
Pflichtfeld!
Pflichtfeld!
Absenden
Datenschutz, Analyse & Widerruf

Neueste Blogbeiträge

  • LinkedIn Algorithmus Update: Dwell Time / VerweildauerLinkedIn Dwell-Time Update: Der neue Algorithmus (Juni 2020), die Verweildauer & 1 Experiment02.06.2020 - 8:47
  • Als LinkedIn Company Page postenAuf LinkedIn als Company Page Status Updates kommentieren & liken (Hack)24.02.2020 - 8:53
  • LinkedIn: Die neue Featured Media ProfilboxLinkedIn: Die neue „Featured“ Box aus Personal Branding Sicht17.02.2020 - 9:35
  • Video Streaming im Heimstudio: Die beste HardwareVideo Hardware fürs Streaming Studio: Greenscreen, Kamera, Mikrofon & Licht12.01.2020 - 15:55
  • Happy New Decade!Prosit 2020! Auf ein gutes, neues Jahr & Jahrzehnt!02.01.2020 - 14:11

Zuletzt aktualisiert am 15. Mai 2020 um 14:31

#LinkedInShow #live

#LinkedInShow #44 mit Felix Thönnessen

#LinkedInShow #44: Felix Thönnessen über Start-Up Marketing | Wie viele Kontakte brauchst du?

https://datenschmutz.net/wp-content/uploads/2020/06/f0-lishow44.jpg 355 700 Ritchie Pettauer https://datenschmutz.net/wp-content/uploads/2020/02/datenschmutz-weblogo2.png Ritchie Pettauer2020-06-22 12:27:262020-06-22 12:27:26#LinkedInShow #44: Felix Thönnessen über Start-Up Marketing | Wie viele Kontakte brauchst du?

Aktueller Podcast

Profilerin Patricia Staniek im datenschmutz Podcast

Patricia Staniek über Profiling in Video-Konferenzen (s02e16)

https://datenschmutz.net/wp-content/uploads/2020/06/s02e16-patricia-staniek-blog.jpg 355 700 Ritchie Pettauer https://datenschmutz.net/wp-content/uploads/2020/02/datenschmutz-weblogo2.png Ritchie Pettauer2020-06-16 11:05:492020-06-16 11:05:49Patricia Staniek über Profiling in Video-Konferenzen (s02e16)

Druckfrische #Buchempfehlung

Digitale Marketing Strategien

Rupp, Miriam: Storytelling für Unternehmen

https://datenschmutz.net/wp-content/uploads/2018/01/f0-socialmedialiteratur.jpg 355 700 Ritchie Pettauer https://datenschmutz.net/wp-content/uploads/2020/02/datenschmutz-weblogo2.png Ritchie Pettauer2019-11-27 09:37:302020-01-16 22:56:34Rupp, Miriam: Storytelling für Unternehmen

Zufälliger Glossar-Eintrag

Online Marketing Fachbegriffe einfach erklärt

User Agent

https://datenschmutz.net/wp-content/uploads/2016/12/f0-ds-glossar-online-marketing.jpg 355 700 Ritchie Pettauer https://datenschmutz.net/wp-content/uploads/2020/02/datenschmutz-weblogo2.png Ritchie Pettauer2016-12-11 14:13:112016-12-11 14:13:11User Agent

Öffentliche Vorträge & Workshops

28Jun

Blog- und Website-Erstellung mit WordPress (2-Tages-Kurs)öffentlich / kostenpflichtig

Montag, bfi Wien
Details
29Jun

Blog- und Website-Erstellung mit WordPress (2-Tages-Kurs)öffentlich / kostenpflichtig

Dienstag, bfi Wien
Details
Keine Veranstaltung gefunden

Neu im Blog:

02.06.2020/von Ritchie PettauerSchlagworte:Algorithmus, Dwell-Time, LinkedIn, Newsfeed, Reichweite, Update, Verweildauer

LinkedIn Dwell-Time Update: Der neue Algorithmus (Juni 2020), die Verweildauer & 1 Experiment

08.05.2020/von Ritchie PettauerSchlagworte:mblog

LinkedIn Live: Zugriff bekommen, Reichweite steigern?

15.04.2020/von Ritchie PettauerSchlagworte:mblog

Frohe Ostern 2020 wünschen Pula, Capri & Ritchie!

24.02.2020/von Ritchie PettauerSchlagworte:Company Page, Identität, LinkedIn

Auf LinkedIn als Company Page Status Updates kommentieren & liken (Hack)

17.02.2020/von Ritchie PettauerSchlagworte:Featured Box, LinkedIn, Multimedia, Profiloptimierung

LinkedIn: Die neue „Featured“ Box aus Personal Branding Sicht

12.01.2020/von Ritchie Pettauer

Video Hardware fürs Streaming Studio: Greenscreen, Kamera, Mikrofon & Licht

02.01.2020/von Ritchie PettauerSchlagworte:2020, Neujahr, Silvester

Prosit 2020! Auf ein gutes, neues Jahr & Jahrzehnt!

18.11.2019/von Ritchie PettauerSchlagworte:Audiohardware, RCA Line-In, Soundblaster, Soundkarte, Streaming Audio, ZxR

Soundblaster ZxR: RCA Line-In Eingang unter Windows 10 aktivieren (Anleitung)

06.11.2019/von Anna PiankaSchlagworte:Backlinks, Keywords, SEO Tool, Werkzeug

SEO DIVER – Wir lassen die kostenlose SEO Toolsammlung auf datenschmutz.net los

26.10.2019/von Ritchie PettauerSchlagworte:b2b, DACH, Langzeitstudie

Social Media B2B Studie 2019: Die Ergebnisse sind da!

Blogheim.at Logo © Copyright pnc Online Marketing Beratung 2020 |
  • LinkedIn
  • Twitter
  • Youtube
  • Instagram
  • Soundcloud
  • Pinterest
  • Mail
  • Offenlegung
  • Datenschutz
  • Impressum
Bruce Willis Movie für Newsletteranmeldung Bruce Willis Movie für Newsletteranmeldung Club 2.0: The Making of Club 2.0: The Making of Nach oben scrollen

Diese Seite verwendet Cookies.

OKEinstellungenDatenschutz

Cookie and Privacy Settings



Wie Cookies verwendet werden

Wenn Sie diese Seite besuchen, werden möglicherweise Cookies auf Ihrem Gerät gespeichert. Ich verwende diese Cookies um herauszufinden, wann Sie meine Seite besuchen und wie Sie mit mir interagieren, um die Benutzererfahrung zu verbessern und personalisierte Inhalte anzubieten.

Klicken Sie auf die einzelnen Tabs, um mehr herauszufinden bzw. Ihre Privacy-Einstellungen zu ändern. Bitte beachten Sie aber, dass die Deaktivierung einzelner Cookies Funktionen der Seite beeinträchtigen kann.

Essential Website Cookies

Diese Cookies sind technisch unbedingt notwendig, um Ihnen bestimmte Funktionen meiner Webseite zur Verfügung zu stellen.

Die Deaktivierung dieser Cookies würde die Seite beeinträchtigen. Sie können Sie blockieren oder löschen, indem Sie ihre Browsereinstellungen entsprechend anpassen und alle Cookies von datenschmutz.net blockieren.

Google Analytics Cookies

Diese Cookies sammeln Informationen, die entweder in aggregierter Form verwenden werden, um mehr über die Nutzung der Webseite , und die Effektivität von Marketing-Kampagnen herauszufinden bzw. um die Webseite besser an die Bedürfnisse meiner Besucher anzupassen.

Wenn Sie nicht möchten, dass Google Analytics Ihre pseudonymisierten Daten trackt, dann können Sie die Funktion hier deaktivieren:

Andere externe Services

datenschmutz.net nutzt verschiedene externe Services wie Google Webfonts, Google Maps sowie externe Video-Provider. Da diese Anbieter möglicherweise Ihre persönlichen Daten (etwa die IP-Adressen speichern), ermöglichen wir Ihnen hier, sie zu blockieren. Bitte beachten Sie, dass diese Einstellungen möglicherweise die Funktion und das Design der Seite beeinträchtigen. Die Änderungen werden wirksam, sobald Sie die Seite neu laden.

Google Webfont Settings:

Google Map Settings:

Vimeo and Youtube video embeds:

Datenschutzerklärung

Ausführliche Informationen zur Verarbeitung Ihrer Daten auf datenschmutz.net finden Sie in meiner Datenschutzerklärung.

Accept settingsHide notification only