Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
Model-based verification with error localization and error correction for C designs (pealkiri)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
1
Vaata veel..
(1/49)
Ekspordi
ekspordi kõik päringu tulemused
(1)
Salvesta TXT fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas
Model-based verification with error localization and error correction for C designs
Repinski, Urmas
Программные продукты и системы = Programmnye produkty i sistemy = Software & systems
2012
/
p. 221-229 : ill
artikkel ajakirjas
Kirjeid leitud 1, kuvan
1 - 1
võtmesõna
49
1.
Vector Error Correction Model
2.
automatic error correction
3.
design error localization
4.
error correction
5.
error correction code
6.
error localization
7.
vector error correction
8.
model-based verification
9.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
10.
assessment error
11.
bit error rate
12.
Bit Error Rate (BER)
13.
bit-error rate test
14.
conversion error
15.
error
16.
error analysis
17.
error detection
18.
error emulation
19.
error management
20.
error message
21.
error propagation
22.
error quantification
23.
error source
24.
Estimation error
25.
gating-aware error injection
26.
human error
27.
machine error
28.
maximum permissible error (deviation) of measurement result
29.
mean squared error estimation
30.
measurement error in household surveys
31.
online design error debug
32.
output error
33.
packet error rate
34.
packet error ratio
35.
sampling error
36.
soft error protection
37.
soft-error reliability
38.
symbol error rate
39.
symbol error rate (SER)
40.
tool inclination angle error
41.
truncation error
42.
weighted prediction error
43.
word error rate
44.
map-based localization
45.
model verification
46.
spectrum-based fault localization
47.
verification by model checking
48.
assertion-based verification
49.
simulation-based verification
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT