Search
Now showing items 1-10 of 971
Post-silicon validation of the IBM POWER8 processor
Publisher: IEEE
Year: 2014
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
Publisher: IEEE
Year: 2014
A low-complexity 3D spatio-temporal FIR filter for enhancing linear trajectory signals
Publisher: IEEE
Year: 2014
Coordinated Multiple Views to Support Image Retrieval
Publisher: IEEE
Year: 2014
Design of a multiple-rail high-voltage power supply for ultrasound scanners
Publisher: IEEE
Year: 2014
Optimal PMU placement for identification of multiple power line outages in smart grids
Publisher: IEEE
Year: 2014