Výsledky vyhledávání - "Saad, Rodrigo Tacla"

Dissertation/ Thesis

Elementos para a construção de uma cadeia de verificação para o projeto TopCased

Autor: Saad, Rodrigo Tacla

Publikováno v: Repositório Institucional da UFSCUniversidade Federal de Santa CatarinaUFSC.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Automação e Sistemas
Made available in DSpace on 2012-10-24T05:30:59Z (GMT). No. of bitstreams: 1 255209.pdf: 2427376 bytes

Externí odkaz: http://repositorio.ufsc.br/xmlui/handle/123456789/92073

Zobrazit plný text záznamu

Report

An Experiment on Parallel Model Checking of a CTL Fragment

Autor: Saad, Rodrigo Tacla, Zilio, Silvano Dal, Berthomieu, Bernard

We propose a parallel algorithm for local, on the fly, model checking of a fragment of CTL that is well-suited for modern, multi-core architectures. This model-checking algorithm takes bene t from a parallel state space construction algorithm, which

Externí odkaz: http://arxiv.org/abs/1301.7533

Zobrazit plný text záznamu

Defense methods for convolutional neural networks against adversarial attacks

Autor: Zago, João Gabriel

Publikováno v: Repositório Institucional da UFSC
Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2021. Mesmo com seu sucesso na classificação de imagens, as redes neurais

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::0791bd6967d5ba2eea822704a9f25c52
https://repositorio.ufsc.br/handle/123456789/226929

Zobrazit plný text záznamu

Método para análise de riscos e especificação de requisitos de segurança em processos industriais com múltiplos modos de operação

Autor: Saito, Guilhermo Keiji

Publikováno v: Repositório Institucional da UFSC
Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2019. Sistemas Instrumentados de Segurança (SIS) são responsáveis pela se

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::935d49bcc412ed2271642a683f1019fe
https://repositorio.ufsc.br/handle/123456789/214610

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání