Das Online-Info-Center für IT-Ausschreibungen Ausschreibungen
Kundenservice für Ausschreibungen



Ausschreibung "Analyse Programm CryptoMiniSat"


Details zur Ausschreibung Nr. 40192



Titel der Ausschreibung:
Analyse Programm CryptoMiniSat
Gegenstand der Ausschreibung
Das Programm CryptoMiniSat ist eines der besten Open-Source SW-Pakete für die Lösung von aussagenlogischen Erfüllbarkeitsproblemen (SAT-Problemen) aus dem Bereich der Kryptoanalyse. Es handelt sich um einen kompletten Depth-First-Search Solver, dessen Quellcode ca. 50.000 Zeilen in moderner OO-Sprache umfasst.
Der Auftragnehmer identifiziert und analysiert im Rahmen einer Machbarkeitsstudie mögliche Lösungsansätze zur Steigerung von Effizienz und / oder Effektivität von "CryptoMiniSat" durch Softwareoptimierungen / Softwareerweiterungen. Dabei sind die Erfolgsaussichten der ermittelten Lösungsansätze sowie die für deren Umsetzung benötigten Aufwände abzuschätzen.
Zur Vorbereitung der Machbarkeitsstudie ist vom Auftragnehmer zunächst eine umfassende statische und dynamische Analyse des gesamten Source-Codes von CryptoMiniSat zu erstellen (High-Level Code-Review).
Die praktische Umsetzung der vom Auftragnehmer im Rahmen der Machbarkeitsstudie beschriebenen Lösungsansätze ist nicht Teil der hier zu vergebenden Leistung.

Diese Ausschreibung wurde am 10.03.2017 bei IT-Ausschreibung.de veröffentlicht.

Die Ausschreibung ist bereits beendet, weil die Angebotsfrist abgelaufen ist.
Eine Bewerbung um diesen Auftrag ist nicht mehr möglich.
Ort der Ausschreibung
Bonn

Die vollständige Ausschreibung mit detaillierter Auftragsbeschreibung und Kontaktdaten zum Auftraggeber ist nur für registrierte Anbieter (Auftragnehmer) abrufbar.

Wenn Sie bereits Mitglied sind, loggen Sie sich bitte ein, um die Ausschreibung vollständig einzusehen.
Wenn Sie noch kein registriertes Mitglied sind, klicken Sie bitte auf 'Jetzt Registrieren'.

Jetzt registrierenInfos und Preise



Weitere Ausschreibungen mit ähnlichen Inhalten finden Sie unter folgenden Kategorien.

  Ausschreibungen der Rubrik "Software"
  Ausschreibungen der Rubrik "Sonstiges"

[ zurueck zur Liste ]