Other The Design of Arithmetic Logic Unit Based on ALM Procedia Engineering 2012 Read Paper The Design of Arithmetic Logic Unit Based on ALM Hui Zhang, Zhiqiang Wang, Wei Liu, Zheng Tan Procedia Engineering 2012 Open access Embedded Systems Design Techniques Low-power high-performance VLSI design Parallel Computing and Optimization Techniques
Other The Sketching Approach to Program Synthesis Lecture notes in computer science 2009 Read Paper The Sketching Approach to Program Synthesis Armando Solar-Lezama Lecture notes in computer science 2009 and type systems Embedded Systems Design Techniques Logic Logic, programming, and type systems