Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
coarse overapproximation

Examples with "coarse overapproximation" and their translation in Duits

We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
coarse
grob grobkörnig rau
This allows abstraction of an array's elements, for example, by a coarse overapproximation of the program heap on which the elements reside, in addition to the introduction of invariants regarding the values of said array elements.
Dies erlaubt es zum Beispiel Wissen über die Werte der Elemente eines Arrays beizubehalten, die ansonsten bei der Durchführung der Abstraktion verloren gegangen wären.

Andere resultaten

As abstract domains are hard to fine-tune, additional invariants are introduced when abstracting, to counteract the coarse overapproximations.
Da abstrakte Domänen sich nur schwer problemspezifisch anpassen lassen, werden zusätzliche Invarianten beim Abstrahieren eingeführt, um den Folgen der Überapproximation etwas entgegenzuarbeiten.
Er zijn geen resultaten gevonden voor deze term.

Synoniemen voor coarse overapproximation in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
eye mask: soft covering for eyes to block light
Ontdek het woord
eye mask
Publiciteit

Resultaten: 2. Exact: 1. Verstreken tijd: 52 ms.