Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

automatic assertion mining (võtmesõna)

—

—

—

—

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 2
Vaata veel.. (1/83)
Ekspordi

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

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

ARTmine : automatic association rule mining with temporal behavior for hardware verificationHeidari Iman, Mohammad Reza; Jervan, Gert; Ghasempouri, Tara2024 Design, Automation & Test in Europe Conference & Exhibition (DATE) : Valencia, Spain, 25-27 March 2024 : proceedings2024 / p. 1-6 : ill https://ieeexplore.ieee.org/document/10546742

artikkel kogumikus
Seotud publikatsioonid 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

An automated method for mining high-quality assertion setsHeidari Iman, Mohammad Reza; Raik, Jaan; Jenihhin, Maksim; Jervan, Gert; Ghasempouri, TaraMicroprocessors and microsystems2023 / art. 104773 https://doi.org/10.1016/j.micpro.2023.104773 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

Kirjeid leitud 2, kuvan 1 - 2

1. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2. automatic assertion mining
3. Assertion Mining
4. Security Assertion Mining
5. assertion
6. assertion candidate
7. assertion checkers
8. Assertion Minimization
9. assertion qualification
10. assertion sign
11. assertion-based verification
12. Husserl on inclusion and assertion
13. Peirce on inclusion and assertion
14. sheet of assertion
15. automatic AI (autoAI)
16. automatic calibration
17. automatic clutch engagement
18. automatic code generation
19. automatic composition method
20. automatic control
21. automatic control systems
22. automatic error correction
23. automatic evaluation
24. automatic fault diagnosis
25. Automatic generation control
26. automatic GUI model generation
27. automatic identification system (AIS)
28. automatic machine learning (autoML)
29. automatic model creation
30. automatic processing of solutions
31. automatic program synthesis
32. automatic programming
33. Automatic Security Verification
34. automatic speaker verification
35. automatic speech recognition
36. automatic test case generation
37. automatic test pattern generation
38. automatic test program generation
39. automatic tide gauges
40. automatic weather stations
41. automatic voltage control
42. DLL for automatic calibration
43. association rule mining
44. Australian mining industry
45. business process mining
46. data mining
47. data stream mining
48. data-mining
49. distributed data mining
50. distributed data mining (DDM)
51. educational data mining
52. European mining
53. informal mining
54. knowledge discovery and data mining
55. metal mining
56. mining
57. mining block
58. mining co- and by-products
59. mining industry
60. Mining life cycle
61. mining line patterns from event logs
62. mining losses
63. mining organization
64. mining patterns from event logs
65. mining regulations
66. mining technology
67. mining waste
68. mining waste management
69. numerical association rule mining
70. oil shale mining
71. pattern mining for event logs
72. pattern mining from event logs
73. pattern mining from log files
74. post-mining land use
75. quantitative association rule mining
76. room-and-pillar mining
77. selective mining
78. sustainable mining
79. text mining
80. underground mining
81. web usage mining
82. vulnerability mining
83. (Mining and Metallurgy Regions of EU, 2018-2020) MIREU

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