Übersetzung für "Program verification" in Deutsch
The
verification
program
is
called
by
a
service
program
which
is
stored
in
the
read-only
memory.
Das
Überprüfungsprogramm
wird
mittels
eines
Serviceprogramms
aufgerufen,
welches
im
Nur-Lese-Speicher
gespeichert
ist.
EuroPat v2
This
program
combines
verification
of
sellers
with
ongoing
monitoring.
Dieses
Programm
kombiniert
Überprüfung
der
Verkäufer
mit
der
fortwährenden
Überwachung.
ParaCrawl v7.1
When
manipulation
is
detected,
that
verification
program
takes
a
countermeasure,
which
usually
takes
the
form
of
a
RESET
being
triggered.
Dieses
Überprüfungsprogramm
ergreift
bei
erkannter
Manipulation
eine
Gegenmaßnahme,
die
meist
im
Auslösen
eines
RESET
besteht.
EuroPat v2
That
verification
program
is
stored
as
code
sequence
in
the
write-once-only
memory
area
in
the
internal
flash.
Dieses
Überprüfungsprogramm
ist
als
Codesequenz
im
nur
einmal
beschreibbaren
Speicherbereich
im
internen
Flash
gespeichert.
EuroPat v2
Verification
program
to
determine
if
Catalyst
Mobility
is
compatible
with
the
system
and
driver
download.
Verification
Programms
zu
bestimmen,
ob
Catalyst
Mobility
ist
kompatibel
mit
dem
System
und
Treiber
herunterladen.
ParaCrawl v7.1
Furthermore,
it
has
been
verified
by
the
U.S.
EPA
Environmental
Technology
Verification
Program
(ETV).
Darüber
hinaus
wurde
es
vom
US-amerikanischen
EPA
Environmental
Technology
Verification
Program
(ETV)
zugelassen.
ParaCrawl v7.1
He
received
the
Turing
Award
in
1978
"for
having
a
clear
influence
on
methodologies
for
the
creation
of
efficient
and
reliable
software,
and
for
helping
to
found
the
following
important
subfields
of
computer
science:
the
theory
of
parsing,
the
semantics
of
programming
languages,
automatic
program
verification,
automatic
program
synthesis,
and
analysis
of
algorithms".
Floyd
erhielt
1978
den
Turing
Award
für
seinen
Einfluss
auf
die
Methoden
zur
Erzeugung
effizienter
und
verlässlicher
Software
und
für
seinen
Beitrag
zur
Gründung
der
folgenden
Gebiete
der
Informatik:
Theorie
des
Parsens,
Semantik
von
Programmiersprachen,
automatische
Programmverifikation,
automatische
Programmsynthese
und
Analyse
von
Algorithmen.
Wikipedia v1.0
His
research
focuses
on
various
facets
of
formal
methods
ranging
from
program
analysis
and
verification,
to
workflow
synthesis,
and
to
test-based
modeling.
Seine
Forschung
konzentriert
sich
auf
die
verschiedenen
Facetten
der
formalen
Methoden,
die
von
Programmanalyse
und
Überprüfung,
um
die
Synthese
Workflow,
und
testbasierte
Modellierung.
WikiMatrix v1
He
obtained
this
position
without
a
Ph.D.
He
received
the
Turing
Award
in
1978
"for
having
a
clear
influence
on
methodologies
for
the
creation
of
efficient
and
reliable
software,
and
for
helping
to
found
the
following
important
subfields
of
computer
science:
the
theory
of
parsing,
the
semantics
of
programming
languages,
automatic
program
verification,
automatic
program
synthesis,
and
analysis
of
algorithms".
Floyd
erhielt
1978
den
Turing
Award
für
seinen
Einfluss
auf
die
Methoden
zur
Erzeugung
effizienter
und
verlässlicher
Software
und
für
seinen
Beitrag
zur
Gründung
der
folgenden
Gebiete
der
Informatik:
Theorie
des
Parsens,
Semantik
von
Programmiersprachen,
automatische
Programmverifikation,
automatische
Programmsynthese
und
Analyse
von
Algorithmen.
WikiMatrix v1
Daily
promotions
are
the
norm,
and
players
will
quickly
start
enjoying
monthly
bonuses,
season
bonus,
birthday
bonus,
anniversary
bonus,
$1.000
weekly
awards,
Quick
verification
program,Â
Vegas
loyalty
program,
refer
a
friend
promotion,
tournaments
and
free
trial.
Tägliche
Aktionen
sind
die
norm,
und
die
Spieler
werden
schnell
beginnen,
genießen
monatliche
Bonus
-,
Saison-bonus,
Geburtstag
Prämie,
Jubiläums-Prämie,
$1.000
wöchentliche
Preise,
Schnelle
Verifikation
Programm,
Vegas
Treueprogramm,
Refer
a
Friend
Förderung,
Turniere
und
kostenlose
Testversion.
ParaCrawl v7.1
Current
trends
in
robotics
are
well
covered
by
the
institute's
expertise
in
program
analysis
and
verification
of
embedded
systems
software,
the
design
of
programming
languages
and
models
for
parallelism
and
concurrency,
and
extensive
know-how
in
software
architecture
for
distributed
embedded
real-time
systems.
Â
Aufgrund
seines
Expertenwissens
in
den
Bereichen
Programmanalyse
und
-verifikation
der
Software
von
eingebetteten
Systemen,
Design
von
Programmiersprachen
und
-modellen
für
Parallelität
und
Nebenläufigkeit,
und
seines
umfangreichen
Know-hows
in
der
Softwarearchitektur
für
verteilte
eingebettete
Echtzeitsysteme
deckt
das
Institut
aktuelle
Trends
in
der
Robotik
sehr
gut
ab.
ParaCrawl v7.1
His
research
interests
include
program
analysis
and
verification,
programming
languages
for
high-performance
computing,
compiler
construction,
and
software
development
tools.
Seine
Forschung
umfasst
die
Bereiche
von
Programmanalyse
und
Verifikation,
Programmiersprachen
für
High-Performance
Computing,
Compilerbau
und
Softwareentwicklungswerkzeuge.
ParaCrawl v7.1
On
the
more
applied
side,
the
cluster
members
explore
fundamental
algorithmic
and
complexity
issues
in
computational
logic,
program
and
systems
verification
as
well
as
mathematical
optimization,
computer
vision
and
scientific
computing.
Im
Bereich
Anwendungen
erforschen
die
Cluster-Mitglieder
grundlegende
algorithmische
und
komplexitätstheoretische
Probleme
in
der
Berechnungslogik,
Programm-
und
Systemverifikation,
mathematischer
Optimierung,
Bilderkennung
sowie
im
wissenschaftlichen
Rechnen.
ParaCrawl v7.1
In
addition,
the
adjustment
can
be
performed
with
the
aid
of
a
contact
test
loop,
that
is
to
say
a
program
for
the
verification
of
the
contact
between
each
needle
and
an
associated
pad.
Auch
kann
mit
Hilfe
einer
Kontakttestschleife,
d.h.
einem
Programm
zur
Verifikation
des
Kontaktes
jeder
Nadel
zu
einem
zugehörigen
Pad,
die
Justage
vorgenommen
werden.
EuroPat v2
When
the
service
program
is
called
by
the
control
program,
on
the
one
hand
the
verification
program
is
called
and,
on
the
other
hand,
the
counter
is
reset.
Bei
Aufruf
des
Serviceprogramms
durch
das
Steuerprogramm
wird
zum
einen
das
Überprüfungsprogramm
aufgerufen
und
zum
anderen
der
Zähler
zurückgesetzt.
EuroPat v2
The
object
of
the
present
invention
is
furthermore
also
achieved
by
a
control
unit
for
a
motor
vehicle
having
a
microcontroller,
in
which
a
write-once
memory
area
of
the
rewritable
memory
area
is
provided
for
storing
a
verification
program,
the
read-only
memory
area
is
provided
for
storing
a
service
program,
the
processor
core
processes
the
service
program
after
calling
by
the
control
program
at
regular
intervals,
the
processor
core
processes
the
verification
program
after
calling
by
the
service
program,
a
counter
is
provided
which
is
resettable
by
the
service
program
when
called
by
the
control
program,
at
least
part
of
the
rewritable
memory
area
is
verifiable
by
the
verification
program,
a
RESET
is
triggerable
by
the
verification
program
in
the
event
of
manipulation
of
the
verified
memory
area
or
in
the
event
of
counter
overflow.
Des
weiteren
wird
die
Aufgabe
der
Erfindung
noch
durch
ein
Steuergerät
für
ein
Kraftfahrzeug
mit
einem
Mikrocontroller
gelöst,
bei
dem
ein
einmal
beschreibbarer
Speicherbereich
des
wiederbeschreibbaren
Speicherbereiches
zur
Speicherung
eines
Überprüfungsprogramms
vorgesehen
ist,
der
Nur-Lese-Speicherbereich
zur
Speicherung
eines
Serviceprogramms
vorgesehen
ist,
der
Rechnerkern
in
regelmäßigen
Abständen
das
Serviceprogramm
nach
Aufruf
durch
das
Steuerprogramm
verarbeitet,
der
Rechnerkern
das
Überprüfungsprogramm
nach
Aufruf
durch
das
Serviceprogramm
verarbeitet,
ein
Zähler
vorgesehen
ist,
der
durch
das
Serviceprogramm
bei
Aufruf
durch
das
Steuerprogramm
rücksetzbar
ist,
wenigstens
ein
Teil
des
wiederbeschreibbaren
Speicherbereiches
durch
das
Überprüfungsprogramm
überprüfbar
ist,
ein
RESET
durch
das
Überprüfungsprogramm
bei
Manipulation
des
überprüften
Speicherbereiches
oder
bei
Überlauf
des
Zählers
auslösbar
ist.
EuroPat v2
Furthermore,
the
verification
program
may
be
individually
adapted
to
needs
or
requirements
since
this
code
sequence
is
not
contained
in
the
ROM
mask.
Weiterhin
kann
das
Überprüfungsprogramm
individuell
an
Anforderungen
oder
Bedürfnisse
angepasst
werden,
da
diese
Codesequenz
nicht
in
der
ROM-Maske
enthalten
ist.
EuroPat v2
In
the
read-only
memory,
a
verification
program
is
stored
that
constructs
a
code
word
from
the
memory
contents
of
the
rewritable
memory
using
a
key.
Im
nur
Lesespeicher
ist
ein
Überprüfungsprogramm
gespeichert,
das
mittels
eines
Schlüssels
aus
dem
Speicherinhalt
des
wiederbeschreibbaren
Speichers
ein
Codewort
bildet.
EuroPat v2