Christopher B. Harris
Titel
Geciteerd door
Geciteerd door
Jaar
Hardware acceleration of feature detection and description algorithms on low-power embedded platforms
O Ulusel, C Picardo, CB Harris, S Reda, RI Bahar
2016 26th International Conference on Field Programmable Logic and …, 2016
282016
Generating formal hardware verification properties from Natural Language documentation
CB Harris, IG Harris
Proceedings of the 2015 IEEE 9th International Conference on Semantic …, 2015
202015
Glast: Learning formal grammars to translate natural language specifications into hardware assertions
CB Harris, IG Harris
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 966-971, 2016
192016
Automating the translation of assertions using natural language processing techniques
M Soeken, CB Harris, N Abdessaied, IG Harris, R Drechsler
Proceedings of the 2014 Forum on Specification and Design Languages (FDL …, 2014
152014
A residual battery-aware routing algorithm based on DSR for BLE sensor networks
Z Guo, IG Harris, CB Harris, Y Jiang, L Tsaur
2016 Wireless Telecommunications Symposium (WTS), 1-6, 2016
52016
Simulating and Evaluating a Quaternary Logic FPGA Based on Floating-gate Memories and Voltage Division
A Fadamiro, P Rezaie, S Millican, C Harris
The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays …, 2021
2021
A Quaternary FPGA Architecture Using Floating Gate Memories
A Fadamiro, P Rezaie, C Harris, S Millican
2020 IEEE 28th Annual International Symposium on Field-Programmable Custom …, 2020
2020
Generation of Verification Artifacts from Natural Language Descriptions
IG Harris, CB Harris
Natural Language Processing for Electronic Design Automation, 37-70, 2020
2020
Towards the Simulation Based Design and Validation of Mobile Robotic Cyber-Physical Systems
CB Harris, RI Bahar
Journal of Low Power Electronics 14 (1), 148-156(9), 2018
2018
A Research Tool for the Power and Performance Analysis of Sensor-Based Mobile Robots
CB Harris, RI Bahar
2017 New Generation of CAS (NGCAS), 25-28, 2017
2017
Generating Formal Verification Properties from Natural Language Hardware Specifications
CB Harris
University of California, Irvine, 2015
2015
Using Natural Language Documentation in the Formal Verification of Hardware Designs
CB Harris, IG Harris
2014
Automatic Generation of Formal Verification Properties from English Language
C Harris
2014 Workshop on Supporting Diversity in Systems Research (Diversity 14), 2014
2014
Abdolrahim Poorheravi, Parisa 136 Aknesil, Can 160 Al-Askar, Saad 128 Amirany, Abdolah 172
JT Astola, A Avron, M Bao, M Behrisch, JT Butler, R Deng, R Drechsler, ...
Chair: Peter Flake, Elda Technology Ltd Co-Chair: Frank Oppenheimer, OFFIS
M Soeken, CB Harris, N Abdessaied, IG Harris, R Drechsler, L Musat, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15