Searching - TalTech Research Portal

power verification (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

author

TalTech department

subject term

series

name of the person

keyword

Clear

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

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

book article
Related publications 1
- Approaches to extra-functional verification of security and reliability aspects in hardware designs = Riistvaraprojektide turva- ja töökindlusaspektide ekstrafunktsionaalse verifitseerimise lähenemisviisid
2

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

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

Number of records 2, displaying 1 - 2

1. power verification
2. verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
3. power electronics applications in power systems and utilities
4. assertion-based verification
5. Automata, Formal Verification
6. Automatic Security Verification
7. automatic speaker verification
8. compliance verification
9. compositional verification
10. deductive verification
11. extra-functional verification
12. forecast verification
13. formal verification
14. functional verification
15. grid verification
16. Hardware Verification
17. model verification
18. model-based verification
19. program verification
20. reliability verification
21. RISC-V Security Verification
22. security verification
23. simple payment verification (SVP)
24. simulation-based verification
25. speaker verification
26. timing verification
27. validation and verification
28. verification
29. verification and validation
30. verification by model checking
31. verification methods
32. AC power converters
33. AC/DC power converter
34. AC‐AC power convertors
35. ac-dc power conversion
36. AC-DC power converter
37. AC-DC power converters
38. active power
39. active power decoupling
40. adaptive power allocation
41. aircraft electric power system
42. alpha power variability
43. auxiliary power supply
44. balance of power
45. balancing power
46. bidirectional power flow
47. bidirectional power flow control
48. bidirectional power transfer
49. bisection based optimal power allocation
50. boost power converter
51. buck-boost full power converter
52. buck–boost power converter
53. capabilities of power electronics
54. capacitive power transfer
55. CHP (combined power and heat)
56. combined heat and power
57. combined heat and power economic dispatch (CHPED)
58. combined heat and power plant
59. common-ground power converter
60. concentrated solar power
61. condensing power plant
62. connection power
63. constant power load
64. constant power source
65. consumed power minimization
66. consumer power system
67. consumer-perceived power
68. contribution to power quality deterioration
69. conventional power plant
70. cyber physical power system (CPPS)
71. cyber power Europe
72. DC power supply
73. DC/DC power conversion
74. DC/DC power converters
75. DC-AC power conversion
76. DC-AC power converters
77. DC-AC power convertors
78. DC-DC power conversion
79. DC‐DC power conversion
80. DC-DC power converter
81. DC-DC power converters
82. DC–DC power converters
83. DC-DC power convertors
84. DC‐DC power convertors
85. Differential Power Analysis (DPA)
86. dimensioning cooling power
87. directional power spectral density
88. Discrete power device
89. distributed power
90. distributed power generation
91. distributed power systems
92. distrubuted power generation
93. double power-law
94. dual-purpose dc-dc/ac power converter
95. economic power dispatch
96. Egyptian power system
97. electric power distribution
98. electric power generation
99. electric power storage system
100. electric power system control
101. electric power system stability
102. electric power systems
103. electric power transmission
104. electric power transmission networks
105. electric power utilization
106. electrical power quality
107. electrical power systems
108. emerging power converters
109. faults in power system
110. flexibility in power systems
111. fluid power feeding system with a pneumo-hydraulic accumulator
112. fluid power system
113. fossil fuel power plants
114. fractional power zero-pole
115. fuel cell power systems
116. full power converter
117. full power Z -source converter
118. functional power plants
119. functional power-plants
120. GaAs power devices
121. galvanically isolated DC-DC power converter
122. Geological Power Bank
123. global maximum power point
124. grid-connected power supply
125. grid-forming power converters
126. heat and power plant
127. heating power
128. high percentage of wind power
129. high power density
130. high step-up power converter
131. high voltage power converters
132. hybrid power system
133. hydraulic power
134. hydroelectric power generation
135. hydroelectric power station (HEPS)
136. inductive power transfer
137. inductive power transfer (IPT)
138. inductive power transmission
139. inductive wireless power transfer link
140. industrial power systems
141. instantaneous power balancing
142. integration of solar power plants
143. Interconnected power system
144. isolated power conditioning unit (PCU)
145. isolated power converters
146. Kalman-filter based maximum power point tracking (KF-MPPT)
147. leakage current and reactive power supporting
148. limited power
149. lithium batteries and power system modeling
150. local power supply system
151. low power
152. low-power ASIC design
153. low-power decoupling
154. low-power designs
155. low-power device
156. market power
157. market power mitigation
158. maximum available power
159. maximum power point
160. maximum power point tracker
161. Maximum power point trackers
162. maximum power point tracking
163. maximum power point tracking (MPPT)
164. medium voltage power cables
165. Mini-block power plant
166. Modern power system
167. module level power electronics (MLPE)
168. module-level power electronics (MLPE)
169. multi-machine industrial power plant
170. multi-machine power system
171. narrowband power line communications
172. non-active power
173. non-coercive power
174. normative power
175. nuclear power
176. off-grid hybrid power supply
177. Off-shore wind power
178. offshore wind power plants
179. oil shale-fired power plants
180. oil-shale power generation
181. parallel active power filter
182. partial power based on buck-boost resonance converter
183. partial power based on isolated Z - Source converter(PPZSC)
184. partial power conversion
185. partial power converter
186. partial power converter (PPC)
187. partial power converters
188. partial power processing
189. Partial power processing (PPP)
190. peak power limiting
191. photovoltaic power plant
192. photovoltaic power systems
193. power
194. power allocation
195. power amplifier
196. power aware computing
197. power balance
198. power based control
199. power bed fusion
200. power cable
201. Power cables
202. power capacitors
203. power chart
204. power combiner
205. power conditioner
206. power conditioning
207. power conditioning units (PCUs)
208. power consensus
209. power consumption
210. power consumption of production
211. power control
212. power conversion
213. power converter
214. power converter interfaces
215. power converters
216. power converters design
217. power converters for EV
218. power decoupling
219. Power Delay Product (PDP)
220. power delivery network
221. power demand
222. power density
223. power devices
224. power diodes
225. power dissipation
226. power disspation
227. power distribution
228. power distribution control
229. power distribution faults
230. power distribution lines
231. power distribution network
232. power distribution system
233. power electronic building block
234. power electronic converter
235. power electronic converters
236. power electronic interfaces
237. power electronic interfaces for renewable energy sources
238. power electronic transformer
239. power electronics
240. power electronics (PE)
241. power electronics converter
242. power electronics converters
243. power engineering
244. power engineering computing
245. power exchange
246. power factor
247. power factor correction
248. power factor correction (PFC)
249. power flow
250. power flow equations
251. power forecasting
252. power frequency
253. power generation
254. power generation dispatch
255. power generation economics
256. power generation planning
257. power grid
258. power grid imbalance
259. power grid project
260. power grids
261. power harmonic filters
262. power imbalance
263. Power industry
264. power injection
265. power inverter
266. power inverters
267. Power Iteration Clustering (PIC)
268. power law
269. Power leveling strategy
270. power limitation
271. power line communication
272. power line construction
273. power loss
274. power loss minimization
275. power loss model
276. power losses
277. power management
278. power market model
279. power markets
280. power measurement
281. power module
282. power MOSFET
283. power of discrimination
284. power optimization
285. power optimizer
286. Power oscillation damping controller (PODC)
287. power outage
288. Power Plant
289. power plant cycling
290. power plant pollution
291. Power plants
292. power quality
293. power quality benchmarking
294. power quality case study
295. Power Quality Disturbances (PQD)
296. power quality disturbances (PQDs)
297. power quality legislation
298. power quality measurement
299. power quality measurement equipment
300. power quality measurements
301. power quality monitoring
302. power quality parameters
303. power reduction
304. power reliability
305. power semiconductor device
306. power semiconductor devices
307. power semiconductor switches
308. power series
309. power signature
310. power smoothing
311. power sources
312. power spectral density
313. power spectrum
314. Power storage
315. power supplier
316. power supplies
317. power supplies to apparatus
318. power supply
319. power swings
320. power system
321. power system analysis computing
322. power system control
323. power system dynamics
324. power system economics
325. power system faults
326. power system harmonics
327. power system management
328. power system measurements
329. power system modeling
330. power system modelling
331. power system operation
332. power system parameter estimation
333. power system planning
334. power system protection
335. power system reliability
336. power system resilience
337. power system restoration
338. power system security
339. power system simulation
340. power system simulations
341. Power system stabilizer (PSS)
342. power system stability
343. power system transient stability
344. power systems
345. Power systems expansion
346. power systems flexibility
347. power sytems
348. power to hydrogen technology
349. power transfer distribution factor
350. power transformers
351. power transistors
352. power transmission
353. power transmission lines
354. power variations
355. power-aware
356. power-electronic converters
357. power-factor correction
358. power-flow equations
359. power-hardware-in-the-loop
360. power-laws
361. power-sharing
362. power-to-gas based storage system
363. Power-to-heat
364. power-to-X
365. PQ (Power Quality)
366. PQM (Power Quality Monitoring)
367. pulse width modulated power converters
368. pulsed power load (PPL)
369. pulsewidth-modulated power converters
370. PV module level power electronics
371. PV power generation
372. PV power output
373. PV power plant
374. reactive power
375. reactive power compensation
376. reactive power control
377. reactive power injection
378. reactive power management
379. reactive power provision
380. relative band power
381. relative gamma power
382. resonant power convertors
383. reverse power flow
384. reverse power transfer
385. r-th power residue symbol
386. series partial power converter (S-PPC)
387. series partial power converter (S-PPC) based on the push-pull
388. shade-tolerant maximum power point tracking (MPPT)
389. shale oil and power cogeneration
390. shunt active power filter
391. smart power electronics
392. smart power grids
393. Soft power
394. solar power
395. solar power forecasting
396. solar power generation
397. solar power plant integration
398. space-based solar power
399. static power converters
400. surplus power factor
401. sustainable power engineering
402. switch mode power supply
403. switched mode power supplies
404. switched-mode power supplies
405. switchedmode power supply
406. switched-mode power supply
407. symbolic power
408. thermal power plant
409. thermal power plants
410. Thermal Power Station
411. theta band power
412. three-phase power factor correction (PFC) converter
413. time-delay renewable power systems
414. topological power plant
415. topology/power control
416. Unified power flow controller (UPFC)
417. uninterruptible power supply (UPS)
418. wave power
419. welding power supply
420. wind power
421. wind power forecasting
422. wind power generation
423. wind power generators
424. wind power plants
425. wind power production
426. Wind-photovoltaic-thermal-bundled power
427. wireless power transfer
428. virtual power plant
429. virtual power plant (VPP)
430. virtual power plants
431. virtual power plant's (VPPs)
432. working power of luminaires
433. voting power
434. 15min power balance

1. Department of Electrical Power Engineering and Mechatronics

1. Enefit Power

1. Power, Ian M.

power verification (keyword)

types of item

keyword 434

TalTech department 1

subject term 1

author 1