hardware design

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Lectures (Lecture Notes in Computer Science)

International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th 2006 Bertinoro, Italy)

Higher-Level Hardware Synthesis

Richard Sharp

Embedded Computer Systems: Architectures, Modeling, and Simulation: 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings (Lecture Notes in Computer Science)

Stamatis Vassiliadis, Mladen Berekovic, Timo D. Hämäläinen

Field-Programmable Logic and Applications. The Roadmap to Reconfigurable Computing: 10th International Conference, FPL 2000 Villach, Austria, August 27-30, ... (Lecture Notes in Computer Science)

International Conference on Field-Programmable Logic and Applications (10th 2000 Villach, Austria)

Reconfigurable Computing: Architectures, Tools and Applications: Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proceedings (Lecture Notes in Computer Science)

Koen Bertels, Eduardo Marques, Pedro C. Diniz

Reconfigurable Computing: Architectures and Applications: Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers (Lecture Notes in Computer Science)

Koen Bertels

Power-Aware Computer Systems: 4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

Babak Falsafi

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, Belgium, ... (Lecture Notes in Computer Science)

Embedded Software and Systems: First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu