UNDAV Digital

A Parallel Tableau Algorithm for BIG DATA Verification

Mostrar el registro sencillo del ítem

dc.contributor.author Asteasuain, Fernando
dc.contributor.author Rodriguez Caldeira, Luciana
dc.date.accessioned 2024-08-08T15:59:29Z
dc.date.available 2024-08-08T15:59:29Z
dc.date.issued 2020
dc.identifier.isbn 978-987-4417-90-9
dc.identifier.other http://sedici.unlp.edu.ar/handle/10915/114484
dc.identifier.uri https://undavdigital.undav.edu.ar/xmlui/handle/20.500.13069/3493
dc.description Fil: Asteasuain, Fernando. Universidad Nacional de Avellaneda. Departamento de Tecnología y Administración; Argentina
dc.description Fil: Rodriguez Caldeira, Luciana. Universidad Abierta Interamericana. Centro de Altos Estudios. CAETI; Argentina
dc.description.abstract Big data systems are becoming more and more present in our everyday life generating data and information that needs to be explored and analyzed. In this sense, formal verification tools and techniques must provide solutions to face with these new challenges since they been pointed out as one of the most needed software engineering activities to consolidate big data modern systems. In this work we present a parallel implementation of a tableau algorithm aiming to improve the performance of our formal verification scheme. The pursued objective behind this transformation is to adapt our framework to deal with big data systems.
dc.format.mimetype application/pdf
dc.language.iso eng
dc.publisher Red de Universidades con Carreras en Informática
dc.rights info:eu-repo/semantics/openAccess
dc.subject Big data
dc.subject Formal verification
dc.subject Parallel programming
dc.title A Parallel Tableau Algorithm for BIG DATA Verification
dc.type info:eu-repo/semantics/conferenceObject
dc.type info:ar-repo/semantics/documento de conferencia
dc.type info:eu-repo/semantics/publishedVersion
dcterms.license http://creativecommons.org/licenses/by-nc-sa/4.0/
local.eventos.nombregeneral Congreso Argentino de Ciencias de la Computación (CACIC)
local.eventos.numero XXVI
local.eventos.lugar Argentina


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

  • Trabajos presentados a eventos
    Comunicaciones y presentaciones realizadas en eventos científicos (congresos, encuentros, simposios, jornadas, etc.).

Mostrar el registro sencillo del ítem

Buscar en UNDAV Digital


Listar

Mi cuenta

Estadísticas