Programming Unconventional Computers: Dynamics, Development, Self-Reference
Classical computing has well-established formalisms for specifying, refining, composing, proving, and otherwise reasoning about computations. These formalisms have matured over the past 70 years or so. Unconventional Computing includes the use of novel kinds of substrates–from black holes and quantu...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Artigo |
| Kieli: | Inglês |
| Julkaistu: |
MDPI AG
2012-10-01
|
| Sarja: | Entropy |
| Aiheet: | |
| Linkit: | http://www.mdpi.com/1099-4300/14/10/1939 |
| Tagit: |
Ei tageja, Lisää ensimmäinen tagi!
|