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

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

TalTech department 1

subject term 1

author 1