Search
Now showing items 1-10 of 15
Quantitative model verification in VANET based on interval probabilistic timed automata
Publisher: IEEE
Year: 2014
Impacts of Back Gate Bias Stressing on Device Characteristics for Extremely Thin SoI (ETSoI) MOSFETs
Publisher: IEEE
Year: 2014
Gate-Bias Stress Stability of P-Type SnO Thin-Film Transistors Fabricated by RF-Sputtering
Publisher: IEEE
Year: 2014
Realization of an Image-Based XXY Positioning Platform Control
Publisher: IEEE
Year: 2014
Energy Consumption of Photo Sharing in Online Social Networks
Publisher: IEEE
Year: 2014
Towards an SLA-Based Service Allocation in Multi-cloud Environments
Publisher: IEEE
Year: 2014
Achieving security assurance with assertion-based application construction
Publisher: IEEE
Year: 2014
AIM-Spice Integration of a Recursive Model for Threshold Voltage Shift in Thin Film Transistors
Publisher: IEEE
Year: 2014
Temperature-Dependent Instability of Bias Stress in InGaZnO Thin-Film Transistors
Publisher: IEEE
Year: 2014
Research on active voltage stability of distribution network based on the bifurcation theory
Publisher: IEEE
Year: 2014