D120.de/forum

Hallo,

in einer der Vorlesungen erwähnte Herr Professor Weihe, dass Java bei laufzeitkritischen Anwendungen nicht verwendet wird.
Was ist der Hintergrund? Was bedeutet laufzeitkritisch? Was hat Java für Eigenschaften, die eine solche Verwendung ungünstig machen.

Vielen Dank schonmal.

vg

Werden die Videos der vergangenen Übungen noch hochgeladen?

Ich habe ebenfalls, dass Problem. Weiß da jemand was man da tun kann? Ich habe ISE ganz normal installiert, bekomme aber beim Start Probleme wegen der Lizenz.
Danke und vg

Ich habe vergessen, dass in der Aufgabenstellung steht das man subtract und add benutzen sollte, dabei entsteht aber nicht wirklich ein Rest.
Was ist mit dem Runden gemeint?

vg

Hallo,
ich möchte an einem Beispiel prüfen, ob ich das Runden richtig verstanden habe.
12,5 --> 13
12,4 --> 12
Ist das richtig?

Vielen Dank schonmal

vg

Hallo,

ich habe nullable bisher in Feldern und bei Parametern verwendet. Ist es eigentlich möglich nullable auch vor Rückgabewerten in der Methodensignatur zu verwenden?
vg

Hallo,

in der Vorlesung wurde mal gesagt, dass der Until-Operator auch nur mithilfe der temporal-logischen Konnektiven [] und <> geschrieben werden kann.
Meine Frage wäre, wie das geht. Ich würde folgendes vorschlagen: Statt (A U B) soll <>!A ==> <>[]B
geschrieben werden.
Vielen Dank schonmal.
vg

Hallo, ich wollte fragen was folgender Satz in der Aufgabenstellung bedeutet: "Verify safety without checking for invalid endstates" bzw. "with invalid endstates" Wie geht das mit Spin, wie geht man da vor, was bedeutet Sicherheit(muss ich davor nicht eine Sicherheitseigenschaft formuliert haben z.B...

Hallo,

mir geht es ähnlich. Hätte auch gerne die Zugangsdaten.
Vielen Dank und Viele Grüße

Hallo,

darf der Klausurzettel mit Bleistift geschrieben werden?

z.B. bei Bucketsort: http://wiki.algo.informatik.tu-darmstad ... Bucketsort
Im Video wurde zusätzlich erwähnt, dass die aktuelle Position die maximale Stringlänge - i + 1 ist.
Das steht im Wiki nicht. Deswegen war ich mir unsicher.

Hallo, ich habe eine Frage zur Nennung der Invariante. In den Videos sowie in den Musterlösungen der Klausur wird oft die aktuelle Positon beschrieben, z.B.Nach i >= 0 Iterationen ist die aktuelle Position |S| - i + 1. Im Wiki jedoch wird die aktuelle Position öfters weggelassen. Ich möchte mich wis...

Hallo,

ich wollte Bescheid sagen, dass auf die Sprechstundenübersicht in moodle nicht zugegriffen werden kann.

freundliche Grüße