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 converter
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 converter
137. high voltage power converters
138. hybrid power system
139. hydraulic power
140. hydroelectric power generation
141. hydroelectric power station (HEPS)
142. inductive power transfer
143. inductive power transfer (IPT)
144. inductive power transmission
145. inductive wireless power transfer link
146. industrial power systems
147. instantaneous power balancing
148. integration of solar power plants
149. Interconnected power system
150. isolated power conditioning unit (PCU)
151. isolated power converters
152. Kalman-filter based maximum power point tracking (KF-MPPT)
153. leakage current and reactive power supporting
154. limited power
155. lithium batteries and power system modeling
156. local power supply system
157. low power
158. low-power ASIC design
159. low-power decoupling
160. low-power designs
161. low-power device
162. market power
163. market power mitigation
164. maximum available power
165. maximum power point
166. maximum power point tracker
167. Maximum power point trackers
168. maximum power point tracking
169. maximum power point tracking (MPPT)
170. medium voltage power cables
171. Mini-block power plant
172. Modern power system
173. module level power electronics (MLPE)
174. module-level power electronics (MLPE)
175. multi-machine industrial power plant
176. multi-machine power system
177. narrowband power line communications
178. non-active power
179. non-coercive power
180. normative power
181. nuclear power
182. off-grid hybrid power supply
183. Off-shore wind power
184. offshore wind power plants
185. oil shale-fired power plants
186. oil-shale power generation
187. parallel active power filter
188. partial power based on buck-boost resonance converter
189. partial power based on isolated Z - Source converter(PPZSC)
190. partial power conversion
191. partial power converter
192. partial power converter (PPC)
193. partial power converters
194. partial power converters (PPC)
195. partial power DC-DC converter
196. partial power processing
197. Partial power processing (PPP)
198. peak power limiting
199. photovoltaic power plant
200. photovoltaic power systems
201. power
202. power allocation
203. power amplifier
204. Power amplifiers
205. power aware computing
206. power balance
207. power based control
208. power bed fusion
209. power cable
210. Power cables
211. power capacitors
212. power chart
213. power combiner
214. power conditioner
215. power conditioning
216. power conditioning units (PCUs)
217. power consensus
218. power consumption
219. power consumption of production
220. power control
221. power conversion
222. power converter
223. power converter interfaces
224. power converters
225. power converters design
226. power converters for EV
227. power decoupling
228. Power Delay Product (PDP)
229. power delivery network
230. power demand
231. power density
232. power devices
233. power diodes
234. power dissipation
235. power disspation
236. power distribution
237. power distribution control
238. power distribution faults
239. power distribution lines
240. power distribution network
241. power distribution system
242. power electronic building block
243. power electronic converter
244. power electronic converters
245. power electronic interfaces
246. power electronic interfaces for renewable energy sources
247. power electronic transformer
248. power electronics
249. power electronics (PE)
250. power electronics converter
251. power electronics converters
252. power electronics solutions
253. power engineering
254. power engineering computing
255. power exchange
256. power factor
257. power factor correction
258. power factor correction (PFC)
259. power flow
260. power flow equations
261. power forecasting
262. power frequency
263. power generation
264. power generation dispatch
265. power generation economics
266. power generation planning
267. power grid
268. power grid imbalance
269. power grid project
270. power grids
271. power harmonic filters
272. power imbalance
273. Power industry
274. power injection
275. power inverter
276. power inverters
277. Power Iteration Clustering (PIC)
278. power law
279. Power leveling strategy
280. power limitation
281. power line communication
282. power line construction
283. power loss
284. power loss minimization
285. power loss model
286. power losses
287. power management
288. power market model
289. power markets
290. power measurement
291. power mismatch analysis
292. power module
293. power MOSFET
294. power of discrimination
295. power optimization
296. power optimizer
297. Power oscillation damping controller (PODC)
298. power outage
299. Power Plant
300. power plant cycling
301. power plant pollution
302. Power plants
303. power quality
304. Power quality (PQ)
305. power quality benchmarking
306. power quality case study
307. Power Quality Disturbances (PQD)
308. power quality disturbances (PQDs)
309. power quality legislation
310. power quality measurement
311. power quality measurement equipment
312. power quality measurements
313. power quality monitoring
314. power quality parameters
315. power reduction
316. power reliability
317. power semiconductor device
318. power semiconductor devices
319. power semiconductor switches
320. power series
321. power sharing
322. power signature
323. power smoothing
324. power sources
325. power spectral density
326. power spectrum
327. Power storage
328. power supplier
329. power supplies
330. power supplies to apparatus
331. power supply
332. power swings
333. power system
334. power system analysis computing
335. power system control
336. power system dynamics
337. power system economics
338. power system faults
339. power system harmonics
340. power system management
341. power system measurements
342. power system modeling
343. power system modelling
344. power system operation
345. power system parameter estimation
346. power system planning
347. power system protection
348. power system reliability
349. power system resilience
350. power system restoration
351. power system security
352. power system simulation
353. power system simulations
354. Power system stabilizer (PSS)
355. power system stability
356. power system transient stability
357. power systems
358. Power systems expansion
359. power systems flexibility
360. power sytems
361. power to hydrogen technology
362. power transfer distribution factor
363. power transformers
364. power transistors
365. power transmission
366. power transmission lines
367. power variations
368. power-aware
369. power-electronic converters
370. power-factor correction
371. power-flow equations
372. power-hardware-in-the-loop
373. power-laws
374. power-sharing
375. power-to-gas based storage system
376. Power-to-heat
377. power-to-hydrogen
378. power-to-X
379. PQ (Power Quality)
380. PQM (Power Quality Monitoring)
381. pulse width modulated power converters
382. pulsed power load (PPL)
383. pulsewidth-modulated power converters
384. PV module level power electronics
385. PV power generation
386. PV power output
387. PV power plant
388. reactive power
389. reactive power compensation
390. reactive power control
391. reactive power injection
392. reactive power management
393. reactive power provision
394. relative band power
395. relative gamma power
396. resonant power convertors
397. reverse power flow
398. reverse power transfer
399. r-th power residue symbol
400. series partial power converter (S-PPC)
401. series partial power converter (S-PPC) based on the push-pull
402. shade-tolerant maximum power point tracking (MPPT)
403. shale oil and power cogeneration
404. shunt active power filter
405. smart power electronics
406. smart power grids
407. Soft power
408. solar power
409. solar power forecasting
410. solar power generation
411. solar power plant integration
412. space-based solar power
413. static power converters
414. surplus power factor
415. sustainable power engineering
416. switch mode power supply
417. switched mode power supplies
418. switched-mode power supplies
419. switchedmode power supply
420. switched-mode power supply
421. symbolic power
422. talkative power conversion
423. thermal power plant
424. thermal power plants
425. Thermal Power Station
426. theta band power
427. three-phase power factor correction (PFC) converter
428. time-delay renewable power systems
429. topological power plant
430. topology/power control
431. Unified power flow controller (UPFC)
432. uninterruptible power supply (UPS)
433. wave power
434. welding power supply
435. wind power
436. wind power forecasting
437. wind power generation
438. wind power generators
439. wind power plants
440. wind power production
441. Wind-photovoltaic-thermal-bundled power
442. wireless power transfer
443. virtual power plant
444. virtual power plant (VPP)
445. virtual power plants
446. virtual power plant's (VPPs)
447. working power of luminaires
448. voting power
449. 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 449

TalTech department 1

subject term 1

author 1