Search
Now showing items 1-4 of 4
Automated formal approach for debugging dividers using dynamic specification
Publisher: IEEE
Year: 2014
Energy-efficient concurrent testing approach for many-core systems in the dark silicon age
Publisher: IEEE
Year: 2014
Pervasive health monitoring based on Internet of Things: Two case studies
Publisher: IEEE
Year: 2014
Towards energy-efficient HealthCare: An Internet-of-Things architecture using intelligent gateways
Publisher: IEEE
Year: 2014