Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

automatic assertion mining (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 2
Look more.. (1/92)
Export

export all inquiry results (2)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article EST / book article ENG

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 https://doi.org/10.23919/DATE58400.2024.10546742 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG
Related publications 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
2

journal article EST / journal article 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

journal article EST / journal article ENG
Related publications 1
- Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks

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

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu