Search
CSV
RISPost-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
Breach path to target area detection reliability in Wireless Sensor Networks
Publisher: IEEE
Year: 2014
Using computational methods for the prediction of drug vehicles
Publisher: IEEE
Year: 2014
A grasp synthesis algorithm based on postural synergies for an anthropomorphic arm-hand robotic system
Publisher: IEEE
Year: 2014
Cooperative sparse spectrum mapping for cognitive radio networks in a history-aware framework
Publisher: IEEE
Year: 2014
Mobile ticket dispenser system with waiting time prediction
Publisher: IEEE
Year: 2014