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

TalTech department 1

subject term 1

author 1