Walter Brown

According to our database, Walter Brown authored at least 9 papers between 2008 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2016

Formal Verification of Arithmetic Circuits by Function Extraction.

Cunxi Yu, Walter Brown, Duo Liu, André Rossi, Maciej J. Ciesielski

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

2015

Logic Debugging of Arithmetic Circuits.

Samaneh Ghandali, Cunxi Yu, Duo Liu, Walter Brown, Maciej J. Ciesielski

Proceedings of the 2015 IEEE Computer Society Annual Symposium on VLSI, 2015

Verification of arithmetic datapath designs using word-level approach - A case study.

Cunxi Yu, Walter Brown, Maciej J. Ciesielski

Proceedings of the 2015 IEEE International Symposium on Circuits and Systems, 2015

Verification of gate-level arithmetic circuits by function extraction.

Maciej J. Ciesielski, Cunxi Yu, Walter Brown, Duo Liu, André Rossi

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Function Extraction from Arithmetic Bit-Level Circuits.

Maciej J. Ciesielski, Walter Brown, Duo Liu, André Rossi

Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2014

2013

Arithmetic Bit-Level Verification Using Network Flow Model.

Maciej J. Ciesielski, Walter Brown, André Rossi

Proceedings of the Hardware and Software: Verification and Testing, 2013

2009

Innovations for digital inclusion: Leveraging next generation networks for human development from the bottom of the pyramid.

Walter Brown

Proceedings of the ITU Kaleidoscope 2009: Innovations for Digital Inclusions, Mar del Plata, Argentina, August 31, 2009

Towards a research framework for a human development-based "bottom of the pyramid" ICT development strategy in South Africa.

Walter Brown, Irwin Brown

Proceedings of the 17th European Conference on Information Systems, 2009

2008

Next generation ICT policy in South Africa: Towards a human development-based ICT policy.

Walter Brown, Irwin Brown

Proceedings of the Social Dimensions of Information And Communication Technology Policy, 2008