Search

نمایش تعداد 1-7 از 7

Post-silicon validation of the IBM POWER8 processor

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

نوع: Conference Paper

نویسنده : Andre, E. , Petrucci, L. , Kordon, F.

ناشر: IEEE

سال: 2014

Breach path to target area detection reliability in Wireless Sensor Networks

نوع: Conference Paper

نویسنده : Elmorsy, M.; Elmallah, E.S.

ناشر: IEEE

سال: 2014

Using computational methods for the prediction of drug vehicles

نوع: Conference Paper

نویسنده : Mistry, P.; Palczewska, A.; Neagu, D.; Trundle, P.

ناشر: IEEE

سال: 2014

A grasp synthesis algorithm based on postural synergies for an anthropomorphic arm-hand robotic system

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Cooperative sparse spectrum mapping for cognitive radio networks in a history-aware framework

نوع: Conference Paper

نویسنده : Mohammadghasemi, Hasan; Sabahi, Mohammadfarzan; Forouzan, Amirreza

ناشر: IEEE

سال: 2014

Mobile ticket dispenser system with waiting time prediction

نوع: Conference Paper

نویسنده : Lin, Yun-Wei; Lin, Yi-Bing

ناشر: IEEE

سال: 2014

Search

Post-silicon validation of the IBM POWER8 processor

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Breach path to target area detection reliability in Wireless Sensor Networks

Using computational methods for the prediction of drug vehicles

A grasp synthesis algorithm based on postural synergies for an anthropomorphic arm-hand robotic system

Cooperative sparse spectrum mapping for cognitive radio networks in a history-aware framework

Mobile ticket dispenser system with waiting time prediction

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

Post-silicon validation of the IBM POWER8 processor

Teaching formal methods: Experience at UPMC and UP13 with CosyVerif

Breach path to target area detection reliability in Wireless Sensor Networks

Using computational methods for the prediction of drug vehicles

A grasp synthesis algorithm based on postural synergies for an anthropomorphic arm-hand robotic system

Cooperative sparse spectrum mapping for cognitive radio networks in a history-aware framework

Mobile ticket dispenser system with waiting time prediction