Title
Panel: Nano-computing - do we need new formal approaches ?
Abstract
With current CMOS technologies reaching beyond 65 nanometers mark, and the highlights of computing fabrics such as molecular, DNA guided assemblies, quantum computing, carbon nanotube based transistors etc. are bringing the focus onto nanotechnology. The term nano-computing now implies computing with alternative emerging nano-scale technologies as well as with large scale parallelism afforded by the shrinking silicon technologies, with the added burden of rampant defects and faults. The optimization factors and assumptions we made so far in hardware designs become no longer valid for such computing fabrics. The parallelism heretofore unavailable can now be applied, and help us realize newer ways of designing softwares and algorithms. The question therefore to ask is: do we need drastic new approaches to design hardware and software? This panel comprising of experts from formal methods, reliability, spatial computing, hardware/software design will discuss this question from individual perspectives in an attempt to come up with a cogent set of questions researchers need to answer.
Year
DOI
Venue
2006
10.1109/MEMCOD.2006.1695906
MEMOCODE
Keywords
Field
DocType
dna computing,hardware,software design,parallel programming,quantum computing,concurrent computing,parallel processing,reconfigurable hardware,concurrency,process algebra,cmos technology
Software design,Software engineering,Computer science,Handel-C,Theoretical computer science,Software,Concurrent computing,Formal methods,Process calculus,Reconfigurable computing,DNA computing
Conference
ISBN
Citations 
PageRank 
1-4244-0421-5
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
M. Hsiao1382.52
S. Shukla200.34
M. Gokhale300.34
A. Lebeck400.34