Search

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

Flow-Sensitive Points-to Analysis for Java Programs using BDDs

نوع: Conference Paper

نویسنده : Hamid A. Toussi; عباس رسول زادگان; Abbas Rasoolzadegan

سال: 2014

خلاصه:

are able to overcome these limitations by representing and manipulating points-to sets more efficiently. Binary Decision Diagrams (BDDs) have been shown to be a very efficient representation of points-to sets. A reasonable formulation of the solution...

Contribution of electric fields and active species in nanosecond pulsed DBD plasma treatment for stimulation of murine mesenchymal C3H10T1/2 cells

نوع: Conference Paper

نویسنده : Lin, A.; Dobrynin, D.; Fridman, G.; Fridman, A.; Miller, V.; Chernets, N.; Freeman, T.

ناشر: IEEE

سال: 2014

Technology assessment for energy efficiency programs in Pacific Northwest

نوع: Conference Paper

نویسنده : Iskin, Ibrahim , Daim, Tugrul U.

ناشر: IEEE

سال: 2014

Dual polarized transmitarray lens

نوع: Conference Paper

ناشر: IEEE

سال: 2014

A novel LCD snubber for bifilar-wound permanent magnet synchronous motors

نوع: Conference Paper

نویسنده : Shi Qibiao; Zhao Feng; Wen Xuhui; Wang Yongxing

ناشر: IEEE

سال: 2014

One-dimensional reaction-diffusion simulation of Cu migration in polycrystalline CdTe solar cells

نوع: Conference Paper

نویسنده : Guo, D.; Akis, R.; Brinkman, D.; Sankin, I.; Fang, T.; Vasileska, D.; Ringhofer, C.

ناشر: IEEE

سال: 2014

Visible information on health and safety effects from building materials in adaptation activities

نوع: Conference Paper

نویسنده : Isnin, Zarina; Ahmad, Sabarinah Sh; Yahya, Zaharah; Salleh, Mustapha Mohd

ناشر: IEEE

سال: 2014

A non-ZUPT gait reconstruction method for ankle sensors

نوع: Conference Paper

نویسنده : Xiaoxu Wu; Yan Wang; Pottie, G.

ناشر: IEEE

سال: 2014

Vehicle monitoring system using IEEE 802.11p device and Android application

نوع: Conference Paper

ناشر: IEEE

سال: 2014

MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures

نوع: Journal Paper

نویسنده : Yuchang Mo; Liudong Xing; Dugan, Joanne Bechta

ناشر: IEEE

سال: 2014

Search

Flow-Sensitive Points-to Analysis for Java Programs using BDDs

Contribution of electric fields and active species in nanosecond pulsed DBD plasma treatment for stimulation of murine mesenchymal C3H10T1/2 cells

Technology assessment for energy efficiency programs in Pacific Northwest

Dual polarized transmitarray lens

A novel LCD snubber for bifilar-wound permanent magnet synchronous motors

One-dimensional reaction-diffusion simulation of Cu migration in polycrystalline CdTe solar cells

Visible information on health and safety effects from building materials in adaptation activities

A non-ZUPT gait reconstruction method for ankle sensors

Vehicle monitoring system using IEEE 802.11p device and Android application

MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures

نویسنده

ناشر

سال

کلیدواژه

نوع

زبان

نوع محتوا

عنوان ناشر

Search

Filters

Flow-Sensitive Points-to Analysis for Java Programs using BDDs

Contribution of electric fields and active species in nanosecond pulsed DBD plasma treatment for stimulation of murine mesenchymal C3H10T1/2 cells

Technology assessment for energy efficiency programs in Pacific Northwest

Dual polarized transmitarray lens

A novel LCD snubber for bifilar-wound permanent magnet synchronous motors

One-dimensional reaction-diffusion simulation of Cu migration in polycrystalline CdTe solar cells

Visible information on health and safety effects from building materials in adaptation activities

A non-ZUPT gait reconstruction method for ankle sensors

Vehicle monitoring system using IEEE 802.11p device and Android application

MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures