Title :
Panel: Nano-computing - do we need new formal approaches ?
Author :
Hsiao, Michael ; Shukla, Sandeep ; Gokhale, Maya ; Lebeck, Alvin
Keywords :
CMOS technology; Concurrent computing; DNA computing; Fabrics; Hardware; Nanobioscience; Parallel processing; Parallel programming; Quantum computing; Software design;
Conference_Titel :
Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. Fourth ACM and IEEE International Conference on
Print_ISBN :
1-4244-0421-5
DOI :
10.1109/MEMCOD.2006.1695906
