Search
CSV
RISA modified sum-product algorithm over graphs with isolated short cycles
Publisher: IEEE
Year: 2014
Investigation of data encryption impact on broadcasting visible light communications
Publisher: IEEE
Year: 2014
Stability of interacting grid-connected power converters
Publisher: IEEE
Year: 2014
Module integrated isolated solar microinverter by using current unfolding topology
Publisher: IEEE
Year: 2014
Next generation front end solutions for mobile application
Publisher: IEEE
Year: 2014
Probabilistic Model Checking: A Comparison of GPMC versus PRISM
Year: 2007
Abstract:
We introduce a new tool for probabilistic model checking, GPMC, with a graphical user interface, and compare it with existing well-known tool in this scope PRISM. Some case studies are presented to show the efficiency and performance of it against...
Role of micro and nanostructures in enhancing near IR optical absorption in Silicon
Publisher: IEEE
Year: 2014
Digital predistortion of concurrent dual-band power amplifier based on two-dimensional multi-branch DPD
Publisher: IEEE
Year: 2014
A spare link based reliable Network-on-Chip design
Publisher: IEEE
Year: 2014