Search
نمایش تعداد 1-10 از 971
Post-silicon validation of the IBM POWER8 processor
ناشر: IEEE
سال: 2014
Teaching formal methods: Experience at UPMC and UP13 with CosyVerif
ناشر: IEEE
سال: 2014
Coordinated Multiple Views to Support Image Retrieval
ناشر: IEEE
سال: 2014
Design of a multiple-rail high-voltage power supply for ultrasound scanners
ناشر: IEEE
سال: 2014