Otsing - TalTech teadusportaal

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

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

extra-functional verification (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/99)
Ekspordi

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

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus

Towards multidimensional verification : where functional meets non-functionalJenihhin, Maksim; Lai, Xinhui; Ghasempouri, Tara; Raik, Jaan2018 IEEE Nordic Circuits and Systems Conference (NORCAS) : NORCHIP and International Symposium of System-on-Chip (SoC) : 30-31 October 2018, Tallinn, Estonia : proceedings in IEEE Xplore2018 / 7 p. : ill https://doi.org/10.1109/NORCHIP.2018.8573495

artikkel kogumikus
Seotud publikatsioonid 1
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Understanding multidimensional verification : where functional meets non-functionalLai, Xinhui; Balakrishnan, Aneesh; Lange, Thomas; Jenihhin, Maksim; Ghasempouri, Tara; Raik, Jaan; Alexandrescu, DanMicroprocessors and microsystems2019 / art. 102867, 13 p. : ill https://doi.org/10.1016/j.micpro.2019.102867 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG
Seotud publikatsioonid 2
- A synthetic, hierarchical approach for modelling and managing complex systems' quality and reliability = Sünteetiline, hierarhiline lähenemine keerukate süsteemide kvaliteedi ja töökindluse modelleerimiseks ja haldamiseks
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid

Kirjeid leitud 2, kuvan 1 - 2

1. extra-functional verification
2. functional verification
3. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
4. extra entropy flux
5. extra-trees classifier
6. extra-tropical cyclones
7. assertion-based verification
8. Automata, Formal Verification
9. Automatic Security Verification
10. automatic speaker verification
11. compliance verification
12. compositional verification
13. constraint random verification
14. deductive verification
15. forecast verification
16. formal verification
17. grid verification
18. Hardware Verification
19. independent verification and validation
20. model verification
21. model-based verification
22. power verification
23. program verification
24. Quantum state verification
25. reliability verification
26. RISC-V Security Verification
27. safety verification
28. security verification
29. simple payment verification (SVP)
30. simulation-based verification
31. speaker verification
32. timing verification
33. validation and verification
34. verification
35. verification and validation
36. verification by model checking
37. verification methods
38. cross-functional teams
39. density functional calculations
40. density functional theory
41. density functional theory (DFT)
42. FIM (functional independence measure)
43. FIM + FAM (functional assessment measure)
44. functional diversity
45. functional approximation
46. functional biomaterials
47. functional BIST
48. functional capacity of cooperation
49. functional capacity of integration
50. functional complexes
51. functional components
52. functional connectivity
53. functional data analysis
54. functional derating
55. functional de-rating
56. functional dispersion
57. functional diversity
58. functional equivalence principle
59. Functional Failure Rate (FFR)
60. functional fault model
61. functional food
62. functional food ingredients
63. functional gene analysis
64. functional groups
65. functional imaging
66. functional institutional analysis
67. functional ionic liquids
68. functional iteration
69. functional material
70. functional materials
71. functional models
72. functional morphology
73. functional polymer
74. functional power plants
75. functional power-plants
76. functional prediction
77. functional profiling
78. functional programming
79. functional properties
80. functional reactive programming
81. functional recovery
82. functional requirements
83. functional safety
84. functional self-test
85. functional smoothie
86. Functional specialist in AI for public services
87. functional state of the muscles -tiredness
88. functional stress programs
89. functional test generation
90. functional trait diversity
91. functional-safety
92. high-level functional fault model
93. hybrid functional
94. mathematical structures in functional programming
95. non-robust and functional sensitization
96. non-robust and functional sensitization of delay faults
97. plant-functional types
98. size of functional groups
99. time-dependent density functional theory (TD-DFT)

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