Search
Now showing items 1-3 of 3
A Reasoning System for Composition Verification and Security Validation
Publisher: IEEE
Year: 2014
Thermal-Aware On-Line Scheduler for 3-D Many-Core Processor Throughput Optimization
Publisher: IEEE
Year: 2014