Ich bin Softwareentwickler und nach einer Diskussion mit einigen Kollegen habe ich festgestellt, dass ich die Serialisierung des Konzepts nicht gut verstehe. Wie ich verstehe, ist Serialisierung der Prozess des Konvertierens einer Entität, wie z. B. eines Objekts in OOP, in eine Folge von Bytes, so...
Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end...
Ich versuche zu verstehen, wie das 2. Paritätsbit oder -byte in RAID 6 gesetzt wird. Ich lese einen Artikel von H. Peter Anvin und er geht in die Galois-Feldalgebra, die für mich etwas neu ist. Wie auch immer, eine Mitarbeiterin von HP versuchte mir RAID 6 zu erklären und sie dachte, es seien nur...