Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Conventional Verification for Unconventional Computing : a Genetic XOR Gate Example

Szczegóły
Abstrakt

Tytuł:: Conventional Verification for Unconventional Computing : a Genetic XOR Gate Example
Autorzy:: Konur, S.
Gheorghe, M.
Dragomir, C.
Ipate, F.
Krasnogor, N.
Data publikacji:: 2014
Słowa kluczowe:: logic circuits
genetics
substrates
computer programming
verification
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we show how conventional verification tools can be used to verify unconventional programs implementing a logical XOR gate.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Conventional Verification for Unconventional Computing : a Genetic XOR Gate Example