Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

automatic assertion mining (keyword)

—

—

Add criteria Simple search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

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

export all inquiry results (2)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

book article

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

book article
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

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
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

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

vaste

sort

Otsing
Valikud 0

year of publication

author

TTÜ department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digikogu Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu