Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad

Tanto el testing como la verificacion de sistemas concurrentes requieren explorar todos los posibles entrelazados no deterministas que la ejecucion concurrente puede tener, ya que cualquiera de estos entrelazados podra revelar un comportamiento erroneo del sistema. Esto introduce una explosion combi...

Descripción completa

Detalles Bibliográficos
Autor: Isabel Márquez, Miguel
Tipo de recurso: tesis doctoral
Fecha de publicación:2021
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/11647
Acceso en línea:https://hdl.handle.net/20.500.14352/11647
Access Level:acceso abierto
Palabra clave:004.42.032.24(043.2)
004.421(043.2)
Algoritmos computacionales
programación en paralelo (Informática)
Computer Algorithms
Parallel programming (Computer science)
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
id ES_65892b94efefee57fabda76fd158d873
oai_identifier_str oai:docta.ucm.es:20.500.14352/11647
network_acronym_str ES
network_name_str España
repository_id_str
spelling Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y AplicabilidadVerification of Concurrent Systems : optimality, Scalability and ApplicabilityIsabel Márquez, Miguel004.42.032.24(043.2)004.421(043.2)Algoritmos computacionalesprogramación en paralelo (Informática)Computer AlgorithmsParallel programming (Computer science)Programación de ordenadores (Informática)1203.23 Lenguajes de ProgramaciónTanto el testing como la verificacion de sistemas concurrentes requieren explorar todos los posibles entrelazados no deterministas que la ejecucion concurrente puede tener, ya que cualquiera de estos entrelazados podra revelar un comportamiento erroneo del sistema. Esto introduce una explosion combinatoria en el numero de estados del programa que deben ser considerados, lo que frecuentemente lleva a un problema computacionalmente intratable. El objetivo de esta tesis es el desarrollo de tecnicas novedosas para el testing y la verificacion de programas concurrentes que permitan reducir esta explosion combinatoria...Universidad Complutense de MadridAlbert Albiol, ElviraGómez-Zamalloa Gil, MiguelUniversidad Complutense de Madrid20212021-05-2820212021-05-28doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/11647reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/116472026-06-02T12:44:21Z
dc.title.none.fl_str_mv Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
Verification of Concurrent Systems : optimality, Scalability and Applicability
title Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
spellingShingle Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
Isabel Márquez, Miguel
004.42.032.24(043.2)
004.421(043.2)
Algoritmos computacionales
programación en paralelo (Informática)
Computer Algorithms
Parallel programming (Computer science)
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
title_short Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
title_full Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
title_fullStr Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
title_full_unstemmed Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
title_sort Verificacion de Sistemas Concurrentes: optimalidad, Escalabilidad y Aplicabilidad
dc.creator.none.fl_str_mv Isabel Márquez, Miguel
author Isabel Márquez, Miguel
author_facet Isabel Márquez, Miguel
author_role author
dc.contributor.none.fl_str_mv Albert Albiol, Elvira
Gómez-Zamalloa Gil, Miguel
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.42.032.24(043.2)
004.421(043.2)
Algoritmos computacionales
programación en paralelo (Informática)
Computer Algorithms
Parallel programming (Computer science)
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
topic 004.42.032.24(043.2)
004.421(043.2)
Algoritmos computacionales
programación en paralelo (Informática)
Computer Algorithms
Parallel programming (Computer science)
Programación de ordenadores (Informática)
1203.23 Lenguajes de Programación
description Tanto el testing como la verificacion de sistemas concurrentes requieren explorar todos los posibles entrelazados no deterministas que la ejecucion concurrente puede tener, ya que cualquiera de estos entrelazados podra revelar un comportamiento erroneo del sistema. Esto introduce una explosion combinatoria en el numero de estados del programa que deben ser considerados, lo que frecuentemente lleva a un problema computacionalmente intratable. El objetivo de esta tesis es el desarrollo de tecnicas novedosas para el testing y la verificacion de programas concurrentes que permitan reducir esta explosion combinatoria...
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-05-28
2021
2021-05-28
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
dc.type.openaire.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/11647
url https://hdl.handle.net/20.500.14352/11647
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid
publisher.none.fl_str_mv Universidad Complutense de Madrid
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869409749929295872
score 15.301603

Similares en LA Referencia