Search
CSV
RISFlow-Sensitive Points-to Analysis for Java Programs using BDDs
Year: 2014
Abstract:
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...
Technology assessment for energy efficiency programs in Pacific Northwest
Publisher: IEEE
Year: 2014
Dual polarized transmitarray lens
Publisher: IEEE
Year: 2014
A novel LCD snubber for bifilar-wound permanent magnet synchronous motors
Publisher: IEEE
Year: 2014
One-dimensional reaction-diffusion simulation of Cu migration in polycrystalline CdTe solar cells
Publisher: IEEE
Year: 2014
Visible information on health and safety effects from building materials in adaptation activities
Publisher: IEEE
Year: 2014
A non-ZUPT gait reconstruction method for ankle sensors
Publisher: IEEE
Year: 2014
Vehicle monitoring system using IEEE 802.11p device and Android application
Publisher: IEEE
Year: 2014
MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures
Publisher: IEEE
Year: 2014