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

Report

Benford's law: what does it say on adversarial images?

Autor: Zago, João G., Baldissera, Fabio L., Antonelo, Eric A., Saad, Rodrigo T.

Convolutional neural networks (CNNs) are fragile to small perturbations in the input images. These networks are thus prone to malicious attacks that perturb the inputs to force a misclassification. Such slightly manipulated images aimed at deceiving

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

Zobrazit plný text záznamu

Akademický článek

Benford’s law: What does it say on adversarial images?

Autor: Zago, João G., Antonelo, Eric A., Baldissera, Fabio L., Saad, Rodrigo T.

Publikováno v: In Journal of Visual Communication and Image Representation May 2023 93

Zobrazit plný text záznamu

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

Dissertation/ Thesis

Parallel model checking for multiprocessor architecture

Autor: Tacla Saad, Rodrigo

Nous proposons de nouveaux algorithmes et de nouvelles structures de données pour la vérification formelle de systèmes réactifs finis sur architectures parallèles. Ces travaux se basent sur les techniques de vérification model checking. Notre a

Externí odkaz: http://www.theses.fr/2011ISAT0028/document

Zobrazit plný text záznamu

Parallel model checking for multiprocessor architecture

Autor: Saad, Rodrigo

Publikováno v: Mathematical Software [cs.MS]. INSA de Toulouse, 2011. English
Mathematical Software [cs.MS]. INSA de Toulouse, 2011. English. ⟨NNT : ⟩

In this thesis, we propose and study new algorithms and data structures for model checking nite-state, concurrent systems. We focus on techniques that target shared memory, multi-cores architectures, that are a current trend in computer architectures

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::15adc4213d68984a3d9dcf59b50fb5f0
https://tel.archives-ouvertes.fr/tel-00678352/document

Zobrazit plný text záznamu

Enumerative Parallel and Distributed State Space Construction

Autor: Saad, Rodrigo, Berthomieu, Bernard, Dal Zilio, Silvano, Vernadat, François

Publikováno v: ETR09-École d'été Temps Réel
ETR09-École d'été Temps Réel, Aug 2009, Paris, France
HAL

Model Checking requires high end computers to verify complex systems. Consequently, it is interesting to use a multi-processors architectures in order to have more computational resources available to deal with bigger models. This work presents a sur

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb3e34932167731092e3de8b511dc4f8
https://hal.science/hal-00494622

Zobrazit plný text záznamu

An OpenEmbeDD experimentation: 'transformation from an SDL profiled UML model to a FIACRE model'

Autor: Canals, Agusti, Bonnin, Hugues, Gabel, Sébastien, LE Camus, Christophe, Saad, Rodrigo

Publikováno v: ERTS 2008 proceedings
Embedded Real Time Software and Systems (ERTS2008)
Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France

International audience; CS (http://www.c-s.fr) is in charge to experiment a model to model transformation, in the OpenEmbeDD (http://openembedd.org/home_html) project (an RNTL project). The objective of this experimentation is to provide an operation

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::dcf31876d072695d0e10605001e30553
https://hal.archives-ouvertes.fr/hal-02270309

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání