Christopher B. Harris

According to our database, Christopher B. Harris authored at least 8 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Towards the Simulation Based Design and Validation of Mobile Robotic Cyber-Physical Systems.

Christopher B. Harris, R. Iris Bahar

J. Low Power Electron., 2018

2017

A Research Tool for the Power and Performance Analysis of Sensor-Based Mobile Robots.

Christopher B. Harris, R. Iris Bahar

Proceedings of the New Generation of CAS, 2017

2016

A residual battery-aware routing algorithm based on DSR for BLE sensor networks.

Zonglin Guo, Ian G. Harris, Christopher B. Harris, Yutong Jiang, Lih-feng Tsaur

Proceedings of the 2016 Wireless Telecommunications Symposium, 2016

Hardware acceleration of feature detection and description algorithms on low-power embedded platforms.

Onur Ulusel, Christopher B. Picardo, Christopher B. Harris, Sherief Reda, R. Iris Bahar

Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

GLAsT: Learning formal grammars to translate natural language specifications into hardware assertions.

Christopher B. Harris, Ian G. Harris

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Generating Formal Verification Properties from Natural Language Hardware Specifications.

Christopher B. Harris

PhD thesis, 2015

Generating formal hardware verification properties from Natural Language documentation.

Christopher B. Harris, Ian G. Harris

Proceedings of the 9th IEEE International Conference on Semantic Computing, 2015

2014

Automating the translation of assertions using natural language processing techniques.

Mathias Soeken, Christopher B. Harris, Nabila Abdessaied, Ian G. Harris, Rolf Drechsler

Proceedings of the 2014 Forum on Specification and Design Languages, 2014