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/95)
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. model verification
20. model-based verification
21. power verification
22. program verification
23. Quantum state verification
24. reliability verification
25. RISC-V Security Verification
26. security verification
27. simple payment verification (SVP)
28. simulation-based verification
29. speaker verification
30. timing verification
31. validation and verification
32. verification
33. verification and validation
34. verification by model checking
35. verification methods
36. cross-functional teams
37. density functional calculations
38. density functional theory
39. density functional theory (DFT)
40. FIM (functional independence measure)
41. FIM + FAM (functional assessment measure)
42. functional diversity
43. functional approximation
44. functional biomaterials
45. functional BIST
46. functional capacity of cooperation
47. functional capacity of integration
48. functional complexes
49. functional components
50. functional connectivity
51. functional data analysis
52. functional derating
53. functional de-rating
54. functional dispersion
55. functional diversity
56. functional equivalence principle
57. Functional Failure Rate (FFR)
58. functional fault model
59. functional food
60. functional food ingredients
61. functional gene analysis
62. functional groups
63. functional institutional analysis
64. functional ionic liquids
65. functional iteration
66. functional material
67. functional materials
68. functional models
69. functional morphology
70. functional polymer
71. functional power plants
72. functional power-plants
73. functional prediction
74. functional profiling
75. functional properties
76. functional reactive programming
77. functional recovery
78. functional requirements
79. functional safety
80. functional self-test
81. functional smoothie
82. Functional specialist in AI for public services
83. functional state of the muscles -tiredness
84. functional stress programs
85. functional test generation
86. functional trait diversity
87. functional-safety
88. high-level functional fault model
89. hybrid functional
90. mathematical structures in functional programming
91. non-robust and functional sensitization
92. non-robust and functional sensitization of delay faults
93. plant-functional types
94. size of functional groups
95. 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