Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

Karputkin, Anton (autor)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 11
Vaata veel.. (4/90)
Ekspordi

ekspordi kõik päringu tulemused (11)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

A synthesis-agnostic behavioral fault model for high gate-level fault coverageKarputkin, Anton; Raik, JaanProceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) : 14-18 March 2016, ICC, Dresden, Germany2016 / p. 1124-1127 : ill https://ieeexplore.ieee.org/document/7459477/figures#figures

artikkel kogumikus
2

artikkel kogumikus

Automated correction of design errors by edge redirection on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, Jaan13th International Symposium on Quality Electronic Design (ISQED), 20122012 / p. 686-693 : ill https://ieeexplore.ieee.org/document/6113980

artikkel kogumikus
3

artikkel ajakirjas

Canonical representations of high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Raik, Jaan; Tombak, MatiEstonian journal of engineering2010 / 1, p. 39-55 : ill

artikkel ajakirjas
4

dissertatsioon

Formal verification and error correction on high-level decision diagrams = Formaalne verifitseerimine ja vigade parandamine kõrgtasemelistel otsustusdiagrammidelKarputkin, Anton2012

dissertatsioon
5

artikkel kogumikus

Generating directed tests for C programs using RTL ATPGRaik, Jaan; Drenkhan, Tiia; Jenihhin, Maksim; Viilukas, Taavi; Karputkin, Anton; Tšepurov, Anton; Ubar, Raimund-JohannesProceedings of the IEEE 13th Workshop on RTL and High Level Testing (WRTLT'12)2012 / p. 1-6

artikkel kogumikus
6

artikkel kogumikus

High level decision diagrams and characteristic polynomialsKarputkin, AntonInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK viienda aastakonverentsi artiklite kogumik : 25.-26. novembril 2011, Nelijärve2011 / p. 143-146 : ill

artikkel kogumikus
7

artikkel ajakirjas

Identifying untestable faults in sequential circuits using test path constraintsViilukas, Taavi; Karputkin, Anton; Raik, Jaan; Jenihhin, Maksim; Ubar, Raimund-Johannes; Fujiwara, HideoJournal of electronic testing : theory and applications (JETTA)2012 / p. 511-521 : ill

artikkel ajakirjas
8

artikkel kogumikus

Interactive presentation abstract : automated correction of design errors by edge redirection on high-level decision diagrams [Electronic resource]Karputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanIEEE International High Level Design Validation and Test Workshop (HLDVT'11), November 9-11, 2011, Napa Valley, CA2011 / p. 83 : ill. [CD-ROM] http://doi.ieeecomputersociety.org/10.1109/HLDVT.2011.6113980

artikkel kogumikus
9

artikkel kogumikus

Probabilistic equivalence checking based on high-level decision diagramsKarputkin, Anton; Ubar, Raimund-Johannes; Tombak, Mati; Raik, JaanProceedings of the 2011 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems : April 13-15, 2011, Gottbus, Germany2011 / p. 423-428 : ill https://ieeexplore.ieee.org/document/5783130

artikkel kogumikus
10

artikkel kogumikus

Synthesis of high-level decision diagrams for functional test pattern generationUbar, Raimund-Johannes; Raik, Jaan; Karputkin, Anton; Tombak, MatiProceedings of the 16th International Conference Mixed Design of Integrated Circuits and Systems MIXDES 2009 : Lodz, Poland, 25-27 June, 20092009 / p. 519-524 : ill

artikkel kogumikus
11

raamat

Verification and error correction on High-Level Decision DiagramsKarputkin, Anton2013

raamat

Kirjeid leitud 11, kuvan 1 - 11

1. Anton, Johan 1973
2. Anton, Mart 1979
3. Anton, Riina
4. Arhipov, Anton 1981
5. Bogdanov, Anton 1916-1960
6. Jürisson, Anton 1919-2001
7. Kesküla, Anton
8. Kutser, Anton 1961
9. Laur, Anton 1906-1989
10. Laur, Anton 1951
11. Pashkevich, Anton 1986
12. Rassõlkin, Anton 1985
13. Soans, Anton Lembit 1885-1966
14. Tammert, Anton 1902-1980
15. Tammert, Anton Baldwin
16. Tramberg, Anton
17. Trampärk, Anton
18. Tsertov, Anton
19. Tšertov, Anton 1984
20. Uesson, Anton 1879-1942
21. Vedešin, Anton 1984

1. Karputkin, Anton
2. Anton, Johan
3. Anton, Maia-Liisa
4. Anton, Mart, 1979-
5. Bogdanov, Anton
6. Keks, Anton
7. Rassõlkin, Anton, 1985-
8. Savitš, Anton
9. Soans, Anton, 1885-1966
10. Zeilinger, Anton, 1945-
11. Tšepurov, Anton
12. Tšertov, Anton
13. Uesson, Anton, 1879-1942
14. Vedešin, Anton
15. Üksti, Anton

1. Anton Heilmann, kaubanduse ja tööstuse aktsiaselts

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu