Search
Now showing items 1-5 of 5
Accelerating Coverage Estimation Through Partial Model Checking
Publisher: IEEE
Year: 2014
A High Level approach to mean value modeling of an automotive engine during cold-start
Publisher: IEEE
Year: 2014
The optimum selection method and performance analysis for Weil code of satellite navigation system
Publisher: IEEE
Year: 2014
Adapting an Implicit Path Delay Grading Method for Parallel Architectures
Publisher: IEEE
Year: 2014
Reflectance and light source estimation for indoor AR Applications
Publisher: IEEE
Year: 2014