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

TalTech department 1

subject term 1

author 1