Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- ZeitschriftenartikelDeduktion: von der Theorie zur Anwendung(Informatik-Spektrum: Vol. 33, No. 5, 2010) Baader, Franz; Beckert, Bernhard; Nipkow, Tobias
- ZeitschriftenartikelUsability testing: affective interfaces(Informatik-Spektrum: Vol. 33, No. 5, 2010) Buscher, Georg; Biedert, Ralf
- ZeitschriftenartikelPraktische Programmverifikation durch statische Analyse(Informatik-Spektrum: Vol. 33, No. 5, 2010) Seidl, Helmut
- ZeitschriftenartikelLogik und Automaten: ein echtes Dreamteam(Informatik-Spektrum: Vol. 33, No. 5, 2010) Björklund, Henrik; Martens, Wim; Schweikardt, Nicole; Schwentick, Thomas
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 205. Folge(Informatik-Spektrum: Vol. 33, No. 5, 2010)
- Zeitschriftenartikel,,When nobody else dreamed of these things“ – Axel Thue und die Termersetzung(Informatik-Spektrum: Vol. 33, No. 5, 2010) Thomas, Wolfgang
- ZeitschriftenartikelDas SAT-Problem(Informatik-Spektrum: Vol. 33, No. 5, 2010) Schöning, Uwe
- ZeitschriftenartikelMitteilungen der Schweizer Informatik Gesellschaft / 5_2010(Informatik-Spektrum: Vol. 33, No. 5, 2010)
- ZeitschriftenartikelAlgorithmische Grundlagen verteilter Speichersysteme(Informatik-Spektrum: Vol. 33, No. 5, 2010) Meyer auf der Heide, Friedhelm; Scheideler, ChristianDie Verwaltung von und der effiziente Zugriff auf Daten aus einer riesigen Datenmenge führen klassische Speichersysteme wegen ihrer beschränkten Kapazität und I/O-Fähigkeit an ihre Grenzen. Einen Ausweg zeigen verteilte Speichersysteme wie z. B. Storage Area Networks (SANs) auf. Solche Systeme bestehen aus vielen, durchaus auch unterschiedlichen, über ein Netzwerk verbundenen Speichersystemen und sind bei wachsenden Datenmengen erweiterbar. Bei der Entwicklung solcher Systeme stellen sich interessante algorithmische Fragen: Wie werden die Daten im verteilten Speichersystem so verteilt, dass die Speicher gleichmäßig ausgelastet werden, und zwar sowohl bezüglich der Menge der zu verwaltenden Daten als auch hinsichtlich der Anfragen? Wie sehen derartige Verteilungen bei Speichern sehr unterschiedlicher Kapazität aus? Wie kann sich die Datenverteilung an Veränderungen des Systems, etwa das Einfügen oder Entfernen von Speichern, anpassen? Wie kann sich das Netzwerk an die Veränderung des Systems anpassen? In diesem Artikel geben wir einen Überblick über einige Aspekte der algorithmischen Forschung über verteilte Speichersysteme.
- ZeitschriftenartikelBerechnung von Nash-Gleichgewichten(Informatik-Spektrum: Vol. 33, No. 5, 2010) Hoefer, Martin; Vöcking, Berthold