Mostrar el registro sencillo del ítem
Ponencia
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
dc.creator | Konur, Savas | |
dc.creator | Gheorgue, Marian | |
dc.creator | Dragomir, Ciprian | |
dc.creator | Ipate, Florentin | |
dc.creator | Krasnogor, Natalio | |
dc.date.accessioned | 2016-01-28T11:08:37Z | |
dc.date.available | 2016-01-28T11:08:37Z | |
dc.date.issued | 2014 | |
dc.identifier.isbn | 978-84-940056-4-0 | es |
dc.identifier.uri | http://hdl.handle.net/11441/33502 | |
dc.description.abstract | As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri cation will become more prevalent. This is so because \programming" in unconventional substrates is di cult. In this paper we show how conventional veri cation tools can be used to verify unconventional programs implementing a logical XOR gate. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Twelfth Brainstorming Week on Membrane Computing, 221-234. Sevilla, E.T.S. de Ingeniería Informática, 3-7 de Febrero, 2014, | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/33502 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
221_xor-bwmc.pdf | 1.062Mb | [PDF] | Ver/ | |