Suchergebnisse für Anfrage "termination"

1 die antwort

Dateierstellung mit Watchdog erkennen

Ich versuche zu erkennen, wann eine Datei mit einem bestimmten Namen in einem Verzeichnis erstellt wird. Ich mache es dankWachhund. Die Erstellung wird korre...

7 die antwort

Programmabbruch erkennen (C, Windows)

Ich habe ein Programm, das bestimmte Aufgaben ausführen muss, bevor es abgeschlossen ist. Das Problem ist, dass das Programm manchmal mit einer Ausnahme abst...

6 die antwort

Unterstützung von Agdas Terminierungsprüfer

TOP-Veröffentlichungen

2 die antwort

Automatischen Terminierungsnachweis erstellen, andere Größenfunktion verwenden

Ich habe eine benutzerdefinierte Größenfunktion geschriebensize2 für meinen Datentyp. Mit dieser Funktion kann ich die Beendigung meiner Funktion manuell nachweisen: termination apply (relation "measure (λ(a,b,c). size2 c)") apply auto done ...

10 die antwort

Wie werden untergeordnete Prozesse beendet, wenn der übergeordnete Prozess in C # @ beendet wurd

Aufgabe Alle untergeordneten Prozesse automatisch beenden, wenn der übergeordnete Prozess beendet wird. Übergeordnete Prozesse können nicht nur auf korrekte Weise beendet werden, sondern beispielsweise auch durch Beenden in ProcessExplorer. Wie ...

4 die antwort

Wie ist eine Executor Termination Rekursion in Java?

Dies ist ein Programm, das die Informationsseite für das vorherige Format liest. Es verwendet Rekursion und Executor. Es funktioniert einwandfrei. Mein Problem besteht darin, zu testen, ob das Programm abgeschlossen ist, und eine Erfolgsmeldung ...

6 die antwort

Verwenden eines Iterators zum Teilen eines Arrays in Teile mit ungleicher Größe

Ich habe ein Array, das ich in 3-Element-Sub-Arrays aufteilen muss. Ich wollte dies mit Iteratoren tun, aber am Ende iteriere ich über das Ende des Arrays hinaus und störe obwohl ich den Iterator nicht dereferenziere. gegeben:auto foo = { 1, 2, ...