69 search results - page 3 / 14 » spin 2007 |
GECCO
2007
Springer
13 years 11 months ago
2007
Springer
CORR
2007
Springer
13 years 5 months ago
2007
Springer
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
PDPTA
2007
13 years 6 months ago
2007
- In this paper, we study the algorithm design aspects of three newly developed spin-wave architectures. The architectures are capable of simultaneously transmitting multiple signa...
CDES
2007
13 years 6 months ago
2007
- In this paper, we present a number of parallel and fault-tolerant routing schemes for a set of nanoscale spin-wave architectures. The architectures considered here have several f...