Search
Now showing items 1-10 of 16
Model Evolution-Based Theorem Proving
Publisher: IEEE
Year: 2014
A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes
Publisher: IEEE
Year: 2014
Media cloud: A secure and efficient virtualization framework for media service
Publisher: IEEE
Year: 2014
Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip
Publisher: IEEE
Year: 2014
On evaluating skillville: An educational mobile game on visual perception skills
Publisher: IEEE
Year: 2014
Fast and accurate solution for power estimation and DPA countermeasure design
Publisher: IEEE
Year: 2014
Preference Learning for Move Prediction and Evaluation Function Approximation in Othello
Publisher: IEEE
Year: 2014
Molecular Dynamics Simulation of Lubricant Transfer at the Head-Disk Interface
Publisher: IEEE
Year: 2014
3-D Coupled Electromagnetic-Fluid-Thermal Analysis of Oil-Immersed Triangular Wound Core Transformer
Publisher: IEEE
Year: 2014