Search

نمایش تعداد 1-10 از 16

Model Evolution-Based Theorem Proving

نوع: Journal Paper

نویسنده : Baumgartner, Philip

ناشر: IEEE

سال: 2014

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Media cloud: A secure and efficient virtualization framework for media service

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip

نوع: Conference Paper

ناشر: IEEE

سال: 2014

On evaluating skillville: An educational mobile game on visual perception skills

نوع: Conference Paper

ناشر: IEEE

سال: 2014

Fast and accurate solution for power estimation and DPA countermeasure design

نوع: Conference Paper

نویسنده : Vidal, Daniel; Cortes, Mario L.

ناشر: IEEE

سال: 2014

Analysis of Electric Machine Charateristics for Robot Eyes Using Analytical Electromagnetic Field Computation Method

نوع: Journal Paper

نویسنده : Dongwoo Kang; Ju Lee

ناشر: IEEE

سال: 2014

Preference Learning for Move Prediction and Evaluation Function Approximation in Othello

نوع: Journal Paper

نویسنده : Runarsson, Thomas; Lucas, Simon M.

ناشر: IEEE

سال: 2014

Molecular Dynamics Simulation of Lubricant Transfer at the Head-Disk Interface

نوع: Journal Paper

نویسنده : Seo, Young Woo; Pan, David Z.; Ovcharenko, Andrey; Yang, May; Talke, Frank E.

ناشر: IEEE

سال: 2014

3-D Coupled Electromagnetic-Fluid-Thermal Analysis of Oil-Immersed Triangular Wound Core Transformer

نوع: Journal Paper

نویسنده : Caibo Liao; Jiangjun Ruan; Chao Liu; Wu Wen; Zhiye Du

ناشر: IEEE

سال: 2014

Search

Model Evolution-Based Theorem Proving

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes

Media cloud: A secure and efficient virtualization framework for media service

Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip

On evaluating skillville: An educational mobile game on visual perception skills

Fast and accurate solution for power estimation and DPA countermeasure design

Analysis of Electric Machine Charateristics for Robot Eyes Using Analytical Electromagnetic Field Computation Method

Preference Learning for Move Prediction and Evaluation Function Approximation in Othello

Molecular Dynamics Simulation of Lubricant Transfer at the Head-Disk Interface

3-D Coupled Electromagnetic-Fluid-Thermal Analysis of Oil-Immersed Triangular Wound Core Transformer

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

Model Evolution-Based Theorem Proving

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes

Media cloud: A secure and efficient virtualization framework for media service

Design and Implementation of Dynamic Thermal-Adaptive Routing Strategy for Networks-on-Chip

On evaluating skillville: An educational mobile game on visual perception skills

Fast and accurate solution for power estimation and DPA countermeasure design

Analysis of Electric Machine Charateristics for Robot Eyes Using Analytical Electromagnetic Field Computation Method

Preference Learning for Move Prediction and Evaluation Function Approximation in Othello

Molecular Dynamics Simulation of Lubricant Transfer at the Head-Disk Interface

3-D Coupled Electromagnetic-Fluid-Thermal Analysis of Oil-Immersed Triangular Wound Core Transformer