Academic literature on the topic 'Programas de Computador'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Programas de Computador.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Programas de Computador"
1
Silva, Verônica Maria, Ing Hwie Tan, and Antônio Egydio San Thiago Graça. "SIMULAÇÃO DO COMPUTADOR DE BORDO DO EXPERIMENTO ELISA/EQUARS E SEU PROTOCOLO DE COMUNICAÇÃO." Revista Univap 22, no. 40 (2017): 246. http://dx.doi.org/10.18066/revistaunivap.v22i40.668.
Full textAbstract:
Os satélites operam em um ambiente agressivo exigindo que suas entidades e softwares embarcados sejam submetidos a um processo longo e complexo de qualificação. A elaboração de um programa para testar e validar o software a ser implantado no submódulo de interface do experimento ELISA (Electrostatic Energy Analyser) garante seu perfeito funcionamento após o lançamento. Um programa na linguagem Python foi elaborado com a função de simular as respostas que a interface do experimento ELISA envia ao computador de bordo. Outro programa em LabVIEW tem a função de simular o computador de bordo (OBC) ao receber mensagens de dados do experimento e enviar telecomandos. A comunicação entre os programas que operam em dois computadores distintos é feita através de um cabo serial no padrão RS422 e utiliza mensagens construídas seguindo o protocolo de comunicação estabelecido para a Plataforma Multimissão (PMM) do INPE.
2
Prado, Junior Leal do, Antonio Martins de Oliveira Júnior, and Jose Maria Fernandez-Crehuet. "Mapeamento da proteção de programas de computador da Rede Federal de Educação Profissional, Científica e Tecnológica." Research, Society and Development 9, no. 8 (2020): e871986194. http://dx.doi.org/10.33448/rsd-v9i8.6194.
Full textAbstract:
Na Era Digital, a discussão que permeia os mecanismos jurídicos que garantem a propriedade intelectual dos programas de computador vem ganhando destaque no meio acadêmico e empresarial. Neste sentido, este artigo pretende analisar a conjuntura da proteção dos programas de computador das instituições que compõem a Rede Federal de Educação Profissional, Científica e Tecnológica (RFEPCT) depositados no Instituto Nacional da Propriedade Industrial (INPI). Trata-se de um estudo prospectivo, o qual foi realizado na base de dados do INPI para aferir os pedidos de registros de programas de computador pelas instituições da RFEPCT no período de 2009 a 2015. Nos resultados e discussões apresentados, constata-se que as instituições da RFEPCT mantêm uma tendência de crescimento no número de pedidos de registros de programas de computador no INPI observada no período analisado, fato que acompanha a tendência nacional de registros de programas de computador que também apresenta crescimento ao longo dos anos.
3
Fiolhais, Carlos, and Jorge Trindade. "Física no computador: o computador como uma ferramenta no ensino e na aprendizagem das ciências físicas." Revista Brasileira de Ensino de Física 25, no. 3 (2003): 259–72. http://dx.doi.org/10.1590/s1806-11172003000300002.
Full textAbstract:
São conhecidas as dificuldades que muitos alunos apresentam na compreensão dos fenômenos físicos. Entre as razões do insucesso na aprendizagem em Física são apontados métodos de ensino desajustados das teorias de aprendizagem mais recentes assim como falta de meios pedagógicos modernos. A necessidade de diversificar metodos para combater o insucesso escolar, que é particularmente nítido nas ciências exactas, conduziu ao uso crescente e diversificado do computador no ensino da Física. O computador oferece actualmente varias possibilidades para ajudar a resolver os problemas de insucesso das ciências em geral e da Física em particular. Neste trabalho, apresentamos uma breve resenha histórica da sua ascensão no ensino. Procuramos relacionar a aplicação do computador com avanços nas teorias de aprendizagem. Analisamos os principais modos de utilização do computador no ensino, desde as simulações até a realidade virtual, passando pela aquisição de dados em laboratório e pela Internet. Apesar do balanço da utilização dos computadores no ensino se revelar inegavelmente positivo, subsistem numerosos problemas por resolver. Com efeito, nao obstante as suas reconhecidas potencialidades, o computador nao se tornou a chave mágica do sucesso educativo. Discutimos algumas dessas dificuldades. O potencial pedagógico dos computadores são poderá ser plenamente realizado se estiverem disponíveis programas educativos de qualidade e se existir uma boa articulação deles com os currículos e a prática.
4
Guzmán-Ortiz, Sara María. "La construcción del uso educativo del computador en la escuela." Trilogía Ciencia Tecnología Sociedad 11, no. 21 (2019): 119–46. http://dx.doi.org/10.22430/21457778.1322.
Full textAbstract:
A pesar del apoyo que diferentes organismos responsables de promover el desarrollo de la región latinoamericana y del Caribe han dado a programas de dotación y formación en el uso de tecnologías en la escuela, diversos estudios acerca de la efectividad de dicha integración en los procesos educativos han demostrado que tal inversión no mejora necesariamente la calidad de la educación. Por el contrario, en ciertos contextos se han probado perjudiciales para el ambiente escolar. Este artículo presenta el análisis del estudio de caso de procesos de introducción de computadores en diez escuelas públicas colombianas beneficiadas por el programa Computadores para Educar. Además, se hace una propuesta interpretativa sobre la construcción del uso educativo del computador. Se quiere dar respuesta a dos preguntas: sobre qué procesos de ensamblaje y de constitución de relaciones sociotécnicas tuvieron lugar en el proceso de introducción de computadores en las aulas por este programa. Y cómo interpretar las transformaciones de los usos de esos computadores en términos educativos, a través de estos ensambles y relaciones. Para tal fin, se hizo un análisis documental y trabajo de campo (entrevistas y observaciones) en sedes educativas beneficiadas por el programa durante el periodo 2004-2008. Los principales resultados son la descripción de los procesos y una propuesta interpretativa sobre la construcción del uso educativo del computador, a partir de una elaboración teórica desde la sociología de los usos, la teoría del Actor-Red, la sociología de la tecnología, y las propuestas del triángulo pedagógico y los esquemas de utilización.
5
García Surianu, Sebastián. "SURI: Controlador midi por medio de un teclado de computador." Ricercare 2016, no. 5 (2016): 6–30. http://dx.doi.org/10.17230/ricercare.2016.5.1.
Full textAbstract:
El presente artículo narra las experiencias del desarrollo de Suri, un programa informático que permite enviar información MIDI a otros programas por medio del teclado del computador y combina las características lingüísticas de un editor de texto con elementos tecnológicos y musicales. Del mismo modo, relata la forma en la que se conectó el desarrollo de este programa con la búsqueda de nuevas herramientas para la composición musical y describe sus diversas funciones y generalidades técnicas.
6
Nepomuceno, Keite de Melo, and Mônica Rabello de Castro. "O computador como proposta para superar dificuldades de aprendizagem: estratégia ou mito?" Educar em Revista, no. 31 (2008): 245–65. http://dx.doi.org/10.1590/s0104-40602008000100015.
Full textAbstract:
O objetivo deste estudo foi investigar as concepções de dificuldades de aprendizagem de sujeitos envolvidos em programas que utilizam o computador, buscando identificar as expectativas que depositam no recurso tecnológico para a superação do problema. Investigaram-se três programas, num total de doze entrevistas, classificando os sujeitos em três categorias: professor, instrutor e coordenador da proposta. Dois programas funcionavam em escolas públicas, uma do Rio de Janeiro e outra da Baixada Fluminense, e o terceiro em uma escola particular da Zona Sul do Rio de Janeiro. A análise dos dados foi baseada no Modelo da Estratégia Argumentativa. O confronto dos discursos em um mesmo programa revelou distanciamentos, contradições e poucas aproximações: para alguns, não existe dificuldade de aprendizagem; para outros, a dificuldade não é da criança; e, para outros ainda, a dificuldade é da criança e está relacionada a questões psicológicas passíveis de complexas classificações. O computador aparece ora como mero motivador, ora como meio de disciplinar o aluno, ora como meio de expressão e parte do processo ensino-aprendizagem. A existência de conflitos entre as concepções reflete um não-consenso entre os envolvidos, acarretando efeitos impeditivos aos objetivos pretendidos pelos programas.
7
Albuquerque, Erika Crisóstomo, and Edson Emílio Scalabrin. "O USO DO COMPUTADOR EM PROGRAMAS DE REABILITAÇÃO NEUROPSICOLÓGICA." Psicologia Argumento 25, no. 50 (2017): 269. http://dx.doi.org/10.7213/psicolargum.v25i50.19933.
Full textAbstract:
Este trabalho se constitui em um artigo de revisão no qual são descritas as práticas dedesenvolvimento de reabilitação cognitiva que utilizam metodologias computacionais em pessoascom desordem cognitiva ou dano cerebral, especialmente aquelas destinadas a portadores daDemência de Tipo Alzheimer. Os resultados revelam que a incipiência de projetos baseados emrecursos computacionais em torno dessa patologia talvez se deva ao fato de que, ainda hoje, poucose conhece sobre as causas da doença e de como se realiza o processamento mental de informaçõesnesses pacientes. Isso indica um campo de estudo em plena expansão que irá requerer ainterdisciplinaridade das ciências que desejam contribuir com a construção de novos instrumentosde pesquisa e reabilitação cognitiva do Alzheimer.
8
Albuquerque, Erika Crisóstomo, and Edson Emílio Scalabrin. "O USO DO COMPUTADOR EM PROGRAMAS DE REABILITAÇÃO NEUROPSICOLÓGICA." Psicologia Argumento 25, no. 50 (2017): 269. http://dx.doi.org/10.7213/rpa.v25i50.19933.
Full textAbstract:
Este trabalho se constitui em um artigo de revisão no qual são descritas as práticas dedesenvolvimento de reabilitação cognitiva que utilizam metodologias computacionais em pessoascom desordem cognitiva ou dano cerebral, especialmente aquelas destinadas a portadores daDemência de Tipo Alzheimer. Os resultados revelam que a incipiência de projetos baseados emrecursos computacionais em torno dessa patologia talvez se deva ao fato de que, ainda hoje, poucose conhece sobre as causas da doença e de como se realiza o processamento mental de informaçõesnesses pacientes. Isso indica um campo de estudo em plena expansão que irá requerer ainterdisciplinaridade das ciências que desejam contribuir com a construção de novos instrumentosde pesquisa e reabilitação cognitiva do Alzheimer.
9
Amaro Fernandes, Igor Benevides, and Carlos Marden Cabral Coutinho. "Quão humano é o procedimento de mediação/conciliação?" Scientia Iuris 22, no. 3 (2018): 111. http://dx.doi.org/10.5433/2178-8189.2018v22n3p111.
Full textAbstract:
O presente trabalho tem por objetivo investigar em que medida os programas de computador podem auxiliar (ou mesmo assumir pra si) o desempenho da função de mediação/conciliação. Para tanto, pretende-se inicialmente apresentar como a Internacional Business Machines (IBM) revolucionou o mercado das profissões de alta complexidade, desenvolvendo o Watson, programa destinado a realizar diagnósticos médicos. Na sequência, será discutido como o Watson (seguido por outros programas congêneres) passou a ter uma versão jurídica e tem progressivamente assumido funções que antes eram consideradas típicas de advogados. Como desenvolvimento, far-se-á uma reflexão a respeito das habilidades específicas exigidas nas atividades de mediação e conciliação, para tentar inferir até que ponto elas podem ser terceirizadas para não humanos. Por fim, buscar-se-á uma conclusão que estime até que ponto os programas de computador têm reais chances de assumir exclusivamente as atividades de mediação e conciliação, dispensando qualquer colaboração humana.
10
Zibetti, Fabíola Wüst, and João Alfredo Ziegler Filho. "Os direitos de propriedade intelectual de programa de computador desenvolvido por servidor público do Estado de Santa Catarina." Revista da ESMESC 21, no. 27 (2014): 299. http://dx.doi.org/10.14295/revistadaesmesc.v21i27.104.
Full textAbstract:
<p>O presente artigo tem como objetivo analisar a titularidade dos direitos de propriedade intelectual sobre programas de computador desenvolvidos com a colaboração de servidores públicos catarinenses. O estudo aponta que os servidores públicos que colaboram no desenvolvimento de programas de computadores possuem direitos à participação nos ganhos econômicos de sua exploração, contudo há lacunas na regulamentação dessa matéria na legislação catarinense, uma vez que a lei de inovação estadual prevê a concessão de benefícios apenas aos pesquisadores públicos das instituições científicas e tecnológicas do Estado de Santa Catarina, sem tratar dos ganhos destinados aos servidores públicos em geral.</p>
Dissertations / Theses on the topic "Programas de Computador"
1
Gomide, Eduardo Teixeira. "Desenvolvimento de um ambiente de simulação para projeto de sistemas de tempo real." [s.n.], 1986. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259625.
Full textAbstract:
Orientador : Mauricio Ferreira Magalhães<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas<br>Made available in DSpace on 2018-07-14T20:08:27Z (GMT). No. of bitstreams: 1
Gomide_EduardoTeixeira_M.pdf: 2884561 bytes, checksum: 824a15c82f92b7fd095b4f1d3c21111e (MD5)
Previous issue date: 1986<br>Resumo: O simulador GMB* faz parte de um ambiente para projeto e programação de aplicações em tempo-real em desenvolvimento no Setor de Automação Industrial do Departamento de Engenharia Elétrica/FEG/UNICAMP. No projeto e na Implementação do simulador GMB* procurou-se enfatisar os aspectos de transportabilidade, estando o mesmo, atualmente, disponível em sistemas operacionais compatíveis com o CP/M e com o MS-DOS. A característica de modularidade foi também privilegiada permitindo a simulação de modelos de grandes dimensões em microcomputadores de oito e dezesseis 'bits'. Para a Interação com o usuário, o simulador dispõe de uma Interface 'homem-máquina' amigável que possibilita uma fácil manipulação do modelo da aplicação. Através da utilização do simulador pode-se validar várias fases de um projeto de aplicação em tempo-real, tendo em vista a dinâmica do modelo e o fluxo de dados do mesmo<br>Abstract: Not informed<br>Mestrado<br>Mestre em Ciências
2
Mendes, Jefferson Bueno. "Desenvolvimento de um sistema de inventário florestal por computador." reponame:Repositório Institucional da UFPR, 2013. http://hdl.handle.net/1884/25364.
Full textAbstract:
Os objetivos deste trabalho foram : propor uma metodologia de desenvolvimento, construir e testar um sistema de inventário florestal por computador para apoiar os processos de planejamento, programação e controle da produção florestal de uma organização que tem por objetivo principal a produção de madeira e carvão vegetal . 0 sistema foi desenvolvido por um conjunto ordenado de atividades que interagem para : especificar os requisitos do sistema, projetar o sistema que atenda estes requisitos, e implementá-lo na organização. As atividades realizadas para desenvolver o sistema foram : identificação de problemas e oportunidades, análise organizacional, delineamento de soluções, análise de viabilidade, concepção do sistema, programação da implantação, organização da base de apoio, construção do sistema, teste, implantação e avaliação do sistema. As principais técnicas utilizadas foram análise e programação estruturada, utilizando conhecimentos de : hardware, programação, linguagem basic, dendrometria, estatística aplicada, análise de regressão e sistemas de amostragem. 0 sistema concebido se caracteriza por : adaptabi1 idade a diferentes sistemas de amostragem, simplicidade operacional, e modularidade. E formado por dois subsistemas: de amostragem e de processamento, sendo este composto por 17 módulo B de processamento operáveis em microcomputadores da geração de 16 bits. Para testar o sistema foi realizado um inventário no Núcleo I de uma empresa, localizada na regido sul do Estado de Mato Grosso do Sul, onde foram amostrados 36 projetos de ref1orestamento de diversas idades e espécies de Eucalyptus © Pinus, somando aproximadamente 24.560 hectares. 0 teste dos módulos de processamento foi parcial em razão de : inexistência de registros históricos do crescimento das florestas amostradas; objetivo único de produção da organização . 0 sistema já se encontra em operacionalização, recebendo aprimoramentos em função dos testes realizados. Novos módulos de processamento poderio ser desenvolvidos para a realização de análises econômicas.
3
Manacero, Junior Aleardo. "Predição do desempenho de programas paralelos por simulação do grafo de execução." [s.n.], 1997. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260623.
Full textAbstract:
Orientador: Andre L. Morelato França<br>Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-22T21:03:59Z (GMT). No. of bitstreams: 1
ManaceroJunior_Aleardo_D.pdf: 9426763 bytes, checksum: ebcfb5b39f21c096cc81e04234c4c74a (MD5)
Previous issue date: 1997<br>Resumo: O desenvolvimento de programas para ambientes de programação paralela exige do projetista uma atenção especial quanto ao desempenho obtido pelo conjunto programa-máquina. Os custos elevados de processamento fazem com que seja necessário obter o melhor desempenho possível para reduzir custos e tempos de processamento. O problema passa a ser como definir medidas de desempenho e como realizar as medições para verificar se o sistema é eficiente ou não. Existem diversas ferramentas de análise ou predição de desempenho, que procuram fornecer ao usuário dados sobre o programa, Para auxiliar o projetista a localizar pontos críticos do mesmo e fazer acertos para melhorar o desempenho do sistema. Infelizmente a maioria dessas ferramentas trabalha com grandes aproximações no modelo do ambiente paralelo, fazendo com que os resultados obtidos não sejam totalmente precisos. Além disso, quando essas ferramentas fazem uso de medidas experimentais para a realização da análise, elas acabam introduzindo erros experimentais pela necessidade de inserir código adicional ao programa analisado. Neste trabalho é apresentada uma nova metodologia para realizar medidas de desempenho sem a necessidade de código adicional ao programa e, além disso, sem a necessidade de usar a máquina alvo do programa durante todo o processo. A metodologia faz a reescrita do código executável para um grafo de execução... Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital<br>Abstract: The process of writing a new code for a parallel programming environment demands from its designer a lot of attention on the performance achieved by the pair program-machine. The high processing costs justify the efforts to reduce processing time and costs, which leads to the problem of defining performance metrics and approaches to measure the system performance. Several performance analysis and prediction tools are available to help designers in such a task. With those tools the designer can locate critical points in the code and look for solutions to improve the program's performance. Unfortunately, most of those tools make so many approximations in the parallel environment model, that make themselves somewhat inaccurate. Moreover method of measurement usually adopted get performance data through an instrumented program's run. This approach affects the measures since additional code is inserted into the program under analysis. This work introduces a new method to make such measurements without including additional code nor requiring runs on the target parallel machine. The proposed approach is to rewrite the executable code into an execution graph, which is a directed graph that keeps the information about the processing time of each machine instruction included in the code under analysis... Note: The complete abstract is available with the full electronic digital thesis or dissertations<br>Doutorado<br>Doutor em Engenharia Elétrica
4
Figueiredo, Filho Antonio Gonçalves. "Um processo de sintese de sistemas reativos." [s.n.], 1991. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275987.
Full textAbstract:
Orientador: Hans Kurt Edmund Liesenberg<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação<br>Made available in DSpace on 2018-07-14T02:20:01Z (GMT). No. of bitstreams: 1
FigueiredoFilho_AntonioGoncalves_M.pdf: 2872725 bytes, checksum: 4e5fa0936d1d93dfbbc8d3144be0ee22 (MD5)
Previous issue date: 1991<br>Resumo: Esta dissertação apresenta um gerador de programas adequado para implementar o controle de sistemas reativos complexos. Este processo de geração consiste em uma síntese de sistemas reativos a partir de uma especificação, baseada em estadogramas. Os estadogramas são diagramas de estados convencionais estendidos suportando conceitos de hierarquia, concorrência e comunicação. Esta ferramenta. comporta-se como um tradutor que recebe como entrada uma descrição textual (i.e., um programa escrito em uma linguagem descritiva de estadogramas - LEG) e produz como saída um programa funcionalmente equivalente em C. Um programa escrito em LEG associa código inerente ao tratamento do controle da aplicação (cÓdigo LEC propriamente dito) e cÓdigo responsáve1 pela aplicação, (cÓdigo escrito em C). Para ilustrar uma aplicação desta ferramenta, descreve-se sua. utilização na construção de um editor topológico.<br>Abstract: A Program generator appropriate to implement the complex reactive systems control is presented. This generation process consists in a synthesis of reactive systems from a statecharts-based specification. Statecharts are a broad extension of conventional state diagrams supporting the notion of hierarchy, concurrency and communication. This tool behaves like a translator that receives a textual description of a statechart (i.e., a program written in a statecharts language - LEG) in its input and it outputs a functionally equivalent C program A program written in LEG combines code inherent to application control (represented by LEG code) and to application code (code written in C). An application of this tool in a construction of a topological editor is described.<br>Mestrado<br>Mestre em Ciência da Computação
5
Batista, Junior Joinvile. "Sistema automatizado de documentação grafica." [s.n.], 1986. http://repositorio.unicamp.br/jspui/handle/REPOSIP/261538.
Full textAbstract:
Orientador : Mario Jino<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica<br>Made available in DSpace on 2018-07-14T06:07:22Z (GMT). No. of bitstreams: 1
BatistaJunior_Joinvile_M.pdf: 7930091 bytes, checksum: 82aa1d13998fae1213f9ee02208812ee (MD5)
Previous issue date: 1986<br>Resumo: O objetivo deste trabalho é o desenvolvimento de uma ferramenta de software, denominada SADG (Sistema Automatizado de Documentação Gráfica), que permita a geração da forma gráfica, a partir da forma programa, de uma linguagem de especificação (normatizada pelo CCITT) denominada SDL (Specification and Description Language). A saída gráfica é possível em impressora e terminal de vídeo gráficos.
Apresenta-se uma descrição sucinta sobre SDL e as metas para a ferramenta SADG. A seguir são apresentados os módulos do SADG, com ênfase para o módulo responsável pela distribuição de símbolos nas páginas e substituição de conectores e labels por linhas de conexão, que constitui a parte principal deste trabalho. Ao final são apresentadas perspectivas de evolução em relação às funções realizadas pelo SADG e considerações de desempenho do SADG. Embora a implementação do SADG tenha visado a forma gráfica de SDL, os algoritmos apresentados para distribuição de símbolos e linhas de conexão aplicam-se a fluxogramas genéricos. Técnicas utilizadas para geração automática de fluxogramas e roteamento de circuito integrado são sucintamente apresentadas e comparadas com as soluções adotadas no SADG<br>Mestrado<br>Mestre em Engenharia Elétrica
6
Peres, Leticia Mara. "Estrategias de seleção de caminhos no contexto de criterios estruturais de teste de software." [s.n.], 1999. http://repositorio.unicamp.br/jspui/handle/REPOSIP/259914.
Full textAbstract:
Orientadores: Silvia Regina Vergilio, Mario Jino<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação<br>Made available in DSpace on 2018-07-26T08:01:35Z (GMT). No. of bitstreams: 1
Peres_LeticiaMara_M.pdf: 8518550 bytes, checksum: 2de6ca87d235b1b8960f087717081807 (MD5)
Previous issue date: 1999<br>Resumo: Critérios estruturais de teste têm o objetivo de auxiliar a etapa de geração de dados de teste e de avaliar a adequação de um conjunto de casos de teste, oferecendo medidas de cobertura. Eles requerem a execução de caminhos do programa que exercitem alguns elementos, tais como: comandos, decisões, definições e usos de variáveis. A seleção de caminhos e conseqüente geração de dados de teste para aplicação de um critério estrutural é uma das etapas mais difíceis de serem automatizadas. Pois, é indecidível determinar um dado de entrada para executar um particular caminho em um programa; é indecidível determinar até mesmo se esse dado existe, ou seja, se o caminho é ou não executável. Isto, aliado à eficácia dos dados gerados, aumenta a importância dessa etapa e conseqüentemente os custos de teste. Por isso, vários trabalhos na literatura ressaltam a importância de estratégias para minimizar o número de caminhos não executáveis selecionados para satisfazer um dado critério estrutural. Este trabalho tem como objetivos estudar, propor e fornecer mecanismos para automatização e validação de estratégias de seleção de caminhos a serem utilizadas em conjunto com critérios de teste estrutural. São propostas estratégias que consideram diferentes características de programas para seleção de caminhos visando: aumentar a eficácia, facilitar a etapa de geração de dados, e reduzir os efeitos causados por caminhos não executáveis no teste de software. Uma estrutura de representação /automatização dessas estratégias é apresentada e um módulo que implementa essa estrutura é descrito. O módulo é uma extensão à ferramenta Poke-Tool que apóia a utilização de diferentes critérios de teste e foi utilizado para avaliar uma estratégia proposta com o objetivo de minimizar o número de caminhos não executáveis selecionados. Esta aplicação permitiu detectar algumas estruturas de programa para os quais a estratégia avaliada não alcança seu objetivo e também verificar aspectos de eficácia dos dados gerados para a execução dos caminhos selecionados<br>Abstract: Testing criteria are useful in the task of test case generation and they are predicates to consider the testing activity ended, that is, to determine the adequation of a test set. They require the execution of paths in the program that exercise some elements such as statements, decisions, definitions and uses of variables. Selecting paths and generating automatic test data for a given structural criterion are very hard activities since it is not always possible to determine a data that executes a particular path in a program; it is even undecidable whether this data exists, that is, whether the path is feasible. This makes those activities difficult and increases the cost of testing. Several researches attach importance to strategies that minimize the number of infeasible selected paths to cover structural criteria. The goal of this work is to study, propose and offer strategies to select paths and mechanisms to automate and validate these strategies to be used with structural criteria. The proposed strategies consider different characteristics of programs for paths selection with the goal of: increasing the efficacy, easing the test data generation and reducing the effects caused by infeasible paths in the software testing. A structure to represent these strategies are presented. A module that implements this structure is described. This module is an extension to the testing tool named Poke-Tool, that supports different structural testing criteria. It was used to evaluate a strategy that proposes to 'minimize the number of infeasible selected paths. This application was guided to the detection of some program structures for which the evaluated strategy did not meet its objective and pointed out some results about the efficacy of the generated test data<br>Mestrado<br>Mestre em Engenharia Elétrica
7
Oliveira, Rafael Garlet de. "Contribuições para melhoria do processo de verificação formal de propriedades em programas AADL." reponame:Repositório Institucional da UFSC, 2012. http://repositorio.ufsc.br/xmlui/handle/123456789/95694.
Full textAbstract:
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, 2011<br>Made available in DSpace on 2012-10-26T05:05:01Z (GMT). No. of bitstreams: 1
296872.pdf: 1897409 bytes, checksum: 109437d10a6b10646d5638bb03afd255 (MD5)<br>projeto de sistemas embarcados criticos exige o uso de metodologias adequadas, visto que falhas no sistema podem causar danos catastroficos. Neste contexto se enquadra o projeto Topcased, o qual propõe uma série de ferramentas capazes de suportar a verificação formal de propriedades. A linguagem AADL tem um papel fundamental neste processo, pois sua utilização permite o emprego da transformação de modelos e a aplicação da verificação formal de propriedades. Entretanto, a especificação das propriedades de verificação e a análise dos seus resultados são ainda topicos em aberto. Esta dissertação visa suprir esta carência propondo um assistente para especificação de propriedades de verificação na linguagem AADL e uma interface para a visualização dos resultados de verificação, juntamente com um simulador de contraexemplos. O assistente construido classica as propriedades em padrões pre-definidos, utilizando uma linguagem natural ao usuário. Para validar as ferramentas desenvolvidas realizou-se um estudo de caso, o qual consistiu da especificação e verificação de propriedades de um sistema de marcapasso. Desta forma, este trabalho contribui com a melhoria da cadeia de verificação da linguagem AADL no escopo do projeto Topcased.
8
Soudré, Marlon Marques. "Uma avaliação experimental da plataforma parallella utilizando controle preditivo baseado em modelo como um estudo de caso." reponame:Repositório Institucional da UnB, 2017. http://repositorio.unb.br/handle/10482/23736.
Full textAbstract:
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2017.<br>Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-06-06T12:24:42Z
No. of bitstreams: 1
2017_MarlonMarquesSoudré.pdf: 3841755 bytes, checksum: b8cb63f1adbded06ea18d5211ef11182 (MD5)<br>Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2017-06-23T21:06:12Z (GMT) No. of bitstreams: 1
2017_MarlonMarquesSoudré.pdf: 3841755 bytes, checksum: b8cb63f1adbded06ea18d5211ef11182 (MD5)<br>Made available in DSpace on 2017-06-23T21:06:12Z (GMT). No. of bitstreams: 1
2017_MarlonMarquesSoudré.pdf: 3841755 bytes, checksum: b8cb63f1adbded06ea18d5211ef11182 (MD5)
Previous issue date: 2017-06-23<br>Nas últimas décadas, o poder computacional de sistemas embarcados têm crescido de forma muito rápida. Em geral, tais sistema são projetados para operar sob restrições como portabilidade (peso e tamanho), consumo de recursos, baixo consumo de energia e dissipação de potência. Assim, motivado pelos fatores supracitados e pelo avanço tecnológico, assim como pela demanda crescente de desempenho por parte das aplicações embarcadas, têm surgido vários processadores e plataformas de hardware que fazem uso de arquiteturas multicore, com destaque para a Parallella, uma plataforma de alto desempenho e baixo consumo energético. Nesse sentido, o presente trabalho traz a proposta de se avaliar tal plataforma sob uma abordagem experimental, como foco em seu coprocessador Epiphany de 16 cores, quando utilizada como um acelerador em software para aplicações de controle preditivo baseado em modelo como um estudo de caso, devido sua relevância para o grupo de pesquisa do LEIA (Laboratório de Sistemas Embarcados e Aplicações de Circuitos Integrados – Universidade de Brasília). Os resultados mostram que, apesar de restrições críticas como o tamanho da memória local dos cores, a plataforma Parallella se apresenta como uma arquitetura em potencial, podendo ser vista como uma alternativa à aceleração de algoritmos em hardware. Melhorias futuras como a expansão do número de núcleos do MPSoC Epiphany e da memória local dos mesmos, como previsto pelos fundadores do projeto, poderão alavancar ainda mais o uso de tal arquitetura em aplicações embarcadas.<br>In the last decades, the computational power of embedded systems has grown very fast. In general, such systems are designed to operate under constraints such as portability, resource consumption, low power consumption and power dissipation. Thus, due to the aforementioned factors and technological advances, as well as the increasing demand for performance by embedded applications, there have been several processors and hardware platforms that make use of multicore architectures, with emphasis on a Parallella, a platform of high performance and low consumption. In this sense, the present work presents a proposal to evaluate such platform in an experimental approach, focusing on its Epiphany 16-core co-processor, when used as a software accelerator for model-based predictive control applications as a case study, due to its relevance to the research group of LEIA (Laboratory of Embedded Systems and Applications of Integrated Circuits - University of Brasilia). The results show that, despite critical constraints such as the local memory size of the cores, a Parallella platform presents itself as a potential architecture and can be seen as an alternative to accelerating hardware algorithms. Future improvements such as the expansion of the number of MPSoC Epiphany cores and their local memory, as predicted by the founders of the project, can leverage the use of this architecture in embedded applications
9
Toaldo, Juliano Rogerio. "Utilizando análise de mutantes no teste de programas prolog." reponame:Repositório Institucional da UFPR, 2011. http://hdl.handle.net/1884/25116.
Full textAbstract:
Resumo: Diversos critérios e ferramentas de teste têm sido propostos ultimamente com o objetivo de auxiliar a seleção e a avaliação de um conjunto de dados de teste. Dentre esses critérios, destacam-se os critérios baseados em análise de mutantes, que têm se mostrado um dos mais eficazes em revelar defeitos. Entretanto, esses trabalhos tratam do teste de programas escritos em linguagens procédurals e/ou orientadas a objeto. São poucos os trabalhos da literatura que abordam o teste de programas lógicos, tais como os escritos em Prolog, e a maioria deles não tem como objetivo a quantificação da atividade de teste e o estabelecimento de medidas de cobertura. Este trabalho trata da aplicação do critério Análise de Mutantes no teste de programas Prolog. Um conjunto de operadores de mutação para essa linguagem é proposto. O conjunto está baseado nas principais características do Prolog e em erros comuns que os programadores podem cometer nesse paradigma. Uma ferramenta de teste chamada MutProlog é descrita e resultados de experimentos com essa ferramenta mostram a aplicabilidade dos operadores propostos e permitem a comparação com a abordagem estrutural.
10
Rodrigues, Daniel Wyllie Lacerda. "Uma avaliação comparativa de interfaces homem-computador em programas de geometria dinâmica." Florianópolis, SC, 2002. http://repositorio.ufsc.br/xmlui/handle/123456789/84249.
Full textAbstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção.<br>Made available in DSpace on 2012-10-20T07:38:35Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:29:32Z : No. of bitstreams: 1
185572.pdf: 25031810 bytes, checksum: 064ae165b76741615eb1d637a69b2aad (MD5)<br>A Geometria Dinâmica é uma poderosa ferramenta para o aprendizado de uma série de disciplinas gráficas e matemáticas. A partir da construção de modelos geométricos precisos e interativos, os usuários podem usufruir de uma variedade de aplicações, das quais destacam-se: a visualização de lugares geométricos, a descoberta de relações entre elementos e a obtenção de provas experimentais de teoremas para cada modelo criado. Vários programas contendo essas características surgiram na década passada e vêm evoluindo desde então. A trinca Cabri Géomètre, The Geometer's Sketchpad e Cinderella revelou ser composta pelos mais significativos. Neste trabalho busca-se comparar as diferenças entre as abordagens de IHC (interface homem-computador) adotadas por cada um dos três programas citados. Para fundamentar este estudo, primeiramente são abordados os conhecimentos provenientes das áreas da ergonomia e do design de interfaces. Posteriormente, com base nos fundamentos e nas aplicações da geometria dinâmica, assim como nas discussões travadas pelos projetistas destes aplicativos, realiza-se uma avaliação envolvendo alunos de graduação, de pós-graduação e professores de matemática e de expressão gráfica. Como resultado, verifica-se que mesmo em suas versões mais recentes, estes programas trazem uma série de características que dificilmente podem ser julgadas e determinadas sob um mesmo ponto de vista.
Books on the topic "Programas de Computador"
1
Manoel Joaquim Pereira dos Santos. A proteção autoral de programas de computador. Editora Lumen Juris, 2008.
Find full text
2
A, Smith David, ed. Laboratory manual for laboratory assignments: To accompany The calculus reader. : MathCAD/Derive version. D.C. Heath, 1992.
Find full text
3
Corporation, Symantec. Norton utilities for Windows 95: User's guide. Symantec, 1995.
Find full text
4
Dunn, Eric C. W. Quicken: User manual : version 4 for IBM and PC compatibles. Intuit, 1991.
Find full text
8
Garcia-Badell, Jose Javier. Calculo por computador de estructuras de concreto. McGraw-Hill, 1995.
Find full textBook chapters on the topic "Programas de Computador"
1
Prado, Junior Leal do. "PROPRIEDADE INTELECTUAL: A PROTEÇÃO DE PROGRAMAS DE COMPUTADOR." In Tecnologia da Informação: Sistemas e Aplicações. Synapse Editora, 2021. http://dx.doi.org/10.36599/editpa-2021_tisa-0006.
Full text
2
Alarcão, Vinícius de Castro Cruz, and Cristina Gomes de Souza. "FORMAÇÃO EM ENGENHARIA PARA A INDÚSTRIA 4.0: APRENDENDO A PROTEGER E PROSPECTAR INFORMAÇÕES DE REGISTROS DE PROGRAMAS DE COMPUTADOR." In Engenharia de Produção: Além dos Produtos e Sistemas Produtivos. Atena Editora, 2021. http://dx.doi.org/10.22533/at.ed.9082115033.
Full text
3
Neto, Mariano Castro. "Acessibilidade digital no programa ‘um computador por aluno’: a experiência da Paraíba." In Design para acessibilidade e inclusão. EDITORA BLUCHER, 2018. http://dx.doi.org/10.5151/9788580393040-10.
Full text
4
Abdon Soares de Souza Júnior, Abdon Soares de Souza Júnior, and Daniel Aguiar da Silva Oliveira Carvalho. "SALA DE AULA INVERTIDA E O ENSINO DE PROGRAMAÇÃO DE COMPUTADORES." In Programa de Residência Pedagógica na Licenciatura em Informática: Partilhando possibilidades. FAMEN, 2019. http://dx.doi.org/10.36470/famen.2020.l3c4.
Full text
5
ANTUNES DE MOURA, NELSON, and JUCILEY BENEDITA DA SILVA. "ENSINO DA ANATOMIA DE PEIXES POR MEIO DE ILUSTRAÇÕES PRODUZIDAS POR ALUNOS E PROFESSORES DA ESCOLA UMUTINA JULÁ PARÉ EM BARRA DO BUGRES, MATO GROSSO." In Itinerários de resistência: pluralidade e laicidade no Ensino de Ciências e Biologia. Editora Realize, 2021. http://dx.doi.org/10.46943/viii.enebio.2021.01.238.
Full textAbstract:
O ENSINO DA ANATOMIA DOS ORGANISMOS É IMPORTANTE PARA O CONHECIMENTO BIOLÓGICOS DAS ESTRUTURAS MORFOLÓGICAS, FISIOLÓGICAS E COMPORTAMENTAIS. O OBJETIVO DESTE RELATO DE EXPERIÊNCIA É MOSTRAR COMO O CONTEÚDO SOBRE SERES VIVOS, MAIS ESPECIFICAMENTE A ANATÔMICA DOS PEIXES, PODE SER MINISTRADO PELOS PROFESSORES DE UMA FORMA DIFERENCIADA. A ESTRATÉGIA ADOTADA FOI POR MEIO DE UMA SEQUÊNCIA DIDÁTICA, ONDE OS PROFESSORES INDÍGENAS E OS ALUNOS DO ENSINO FUNDAMENTAL E MÉDIO DA ESCOLA JULÁ PARÉ, LOCALIZADA NA ALDEIA INDÍGENA UMUTINA, EM BARRA DO BUGRES-MT, RELATARAM SEUS CONHECIMENTOS PRÉVIOS SOBRE A BIOLOGIA DOS PEIXES. O PASSO SEGUINTE FOI A ILUSTRAÇÃO DOS EXEMPLARES APRESENTADOS POR MEIO DA TÉCNICA DA OBSERVAÇÃO DIRETA. POSTERIORMENTE, AS ILUSTRAÇÕES PRODUZIDAS FORAM FOTOGRAFADAS INDIVIDUALMENTE E, EM SEGUIDA, DIGITALIZADAS E TRANSFERIDA AS IMAGENS PARA O COMPUTADOR NO PROGRAMA POWER POINT, A FIM DE REALIZAÇÃO DE DESENHO DIGITAL. OS PARTICIPANTES TIVERAM FACILIDADE EM ILUSTRAR POR MEIO DA OBSERVAÇÃO DIRETA E NA DIGITAL.
6
Sousa, Olenêva Sanches, and Pedro Sousa Lacerda. "PROGRAMA ETNOMATEMÁTICA E PROGRAMAÇÃO DE COMPUTADORES: LINGUAGENS DE PROGRAMAÇÃO NO CURRÍCULO CONTEMPORÂNEO." In Matemática: Ciência e Aplicações 3. Antonella Carvalho de Oliveira, 2019. http://dx.doi.org/10.22533/at.ed.2371914029.
Full text
7
Geraldes, Wendell Bento, Ernane Rosa Martins, and Ulisses Rodrigues Afonseca. "UMA EXPERIENCIA EM ENSINO DE PROGRAMAC¸ÃO DE COMPUTADORES COM ALUNOS DA REDE PUBLICA USANDO A LINGUAGEM SCRATCH." In Ciência da Computação: tecnologias emergentes em computação - Volume 2. Editora Científica Digital, 2021. http://dx.doi.org/10.37885/210202974.
Full textConference papers on the topic "Programas de Computador"
1
Prado, J. L., and A. M. Oliveira Júnior. "A PROTEÇÃO DE PROGRAMAS DE COMPUTADOR NA RFEPCT." In 7th International Symposium on Technological Innovation. Universidade Federal de Sergipe, 2016. http://dx.doi.org/10.7198/s2318-3403201600030028.
Full text
2
De Oliveira, Márcia, Leonardo Reblin, and Elias Oliveira. "Sistema de Apoio à Avaliação de Atividades de Programação por Reconhecimento Automático de Modelos de Soluções." In XXIV Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/wei.2016.9682.
Full textAbstract:
O desenvolvimento de um programa de computador é um processo de resolução de problema que resulta em várias possibilidades de soluções. Dessa forma, a avaliação de exercícios de programação demanda muito esforço do professor tanto na avaliação manual, quando analisam-se várias possibilidades de soluções, quanto na avaliação automática, quando vários modelos de soluções devem ser fornecidos como entradas. Com o objetivo de auxiliar professores na identificação de modelos de soluções a partir de programas desenvolvidos por alunos, este trabalho propõe um sistema baseado em clustering para reconhecimento de modelos de soluções e para mapeamento dessas soluções em escores atribuídos por professores. Os primeiros experimentos de aplicação desse sistema em duas bases de programas desenvolvidos por estudantes de programação apresentaram resultados promissores.
3
de Castro Cruz Alarcão, VINICIUS, and CRISTINA Gomes de Souza. "FORMAÇÃO EM ENGENHARIA PARA A INDÚSTRIA 4.0: APRENDENDO A PROTEGER E PROSPECTAR INFORMAÇÕES DE REGISTROS DE PROGRAMAS DE COMPUTADOR." In Brasilian Congress of Engineering Education. Associação Brasileira de Educação em Engenharia, 2020. http://dx.doi.org/10.37702/cobenge.2020.3216.
Full text
4
Furtado, Elizabeth, Marília Mendes, Julio Guido Militão, and Daniel Chagas. "Estudos das Experiências do Usuário e da Qualidade de uso de Sistemas no LUQS." In XVIII Simpósio Brasileiro de Fatores Humanos em Sistemas Computacionais. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/ihc.2019.8440.
Full textAbstract:
Neste artigo, são descritas as principais pesquisas realizadas em um laboratório de pesquisa de experiência do usuário (UX) e Interação Humano-Computador (IHC) desde o seu surgimento em 1999 em Fortaleza, CE. As pesquisas realizadas no Laboratório de estudos do Usuário e da Qualidade do uso de Sistemas (LUQS) e laboratórios parceiros produzem muitos resultados acadêmicos, que têm os seguintes beneficiários: os alunos, os programas universitários envolvidos e, especialmente, a Região Nordeste do Brasil. Destaca-se, também, o trabalho do grupo de pesquisa com empresas locais, realizando ações de evangelização UX / IHC nos processos das empresas, além de ações para aprimorar seus produtos.
5
Valgas, Andreza, Felipe Carmo, Lessandro Ponciano, and Luís Góes. "Análise da Popularidade, Visibilidade e Atividade de Diferentes Tipos de Robôs na Rede Social Twitter." In XIV Simpósio Brasileiro de Sistemas Colaborativos. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/sbsc.2017.9958.
Full textAbstract:
O Twitter é uma das maiores redes sociais da atualidade. Ela é utilizada por milhões de pessoas. Além de pessoas, esta rede social também é populada por robôs, que são programas de computador que agem na rede social realizando as mesmas ações que seres humanos realizam. Neste trabalho apresenta-se uma análise de 27 robôs no Twitter com o objetivo de investigar características dos conteúdos publicados, atuação e atenção recebida por eles. Três métricas são consideradas: visibilidade, atividade e popularidade. Os robôs são analisados de forma individual e por tipo de robô, que são: informativos, inteligentes interativos e inteligentes não-interativos. Os resultados mostram que os robôs diferem muito entre eles em termos do nível de atividade. Eles também têm visibilidade e popularidade diferentes. Análises de correlação revelam que popularidade e visibilidade são características que estão fortemente correlacionadas. Robôs inteligentes interativos exibem maior nível atividade. Maior visibilidade e popularidade são obtidas por robôs informativos. Diversas implicações desses resultados são apresentadas e discutidas.
6
Sousa, Aline, Sivaldo Silva, Alberto Raiol, João Sarges, and Fábio Bezerra. "O Universo Lúdico da Programação de Computadores com Logo no Ensino Fundamental." In Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2015. http://dx.doi.org/10.5753/wei.2015.10221.
Full textAbstract:
Criar um programa de computador exige habilidades como a ordenação do pensamento, pensamento abstrato, resolução de problemas e racioc ínio lógico e matemático. Promover o contato de alunos do ensino fundamental com o universo da programação de computadores é uma oportunidade de estimular, de forma mais acelerada, o desenvolvimento dessas habilidades. Este artigo relata a experiência que alunos do ensino fundamental de duas escolas públicas em Belém-PA tiveram com a programação de computadores. No caso, alunos do sétimo e oitavo anos assistiram aulas de Logo no ambiente KTurtle. Observamos que os alunos que tiveram contato com essa experiência melhoraram o desempenho na disciplina de matemática. Esperamos que relatos como os apresentados neste artigo estimulem a adoção da disciplina de programação de computadores na grade curricular de alunos do ensino fundamental.
7
Anido, Ricardo. "Saci – ainda outro ambiente para o ensino de programação." In Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2015. http://dx.doi.org/10.5753/wei.2015.10239.
Full textAbstract:
Este artigo apresenta um sistema integrado para o ensino e aprendizagem de programação de computadores. O sistema, chamado Saci, compreende um subsistema de gerência de usuários, um subsistema de gerência de aulas, e o ambiente de aprendizagem propriamente dito, implementado como um aplicativo Web de página única. O ambiente de aprendizagem incorpora ferramentas para visualização do conteúdo da aula (vídeo, documentos de apoio), edição do programa-fonte, execução e verificação da correção do programa, além de ferramentas de ajuda ao aluno. Após o carregamento de uma “aula”, pré-montada por um professor, no navegador Web de um aluno, todo o processamento ocorre no navegador, não sendo necessária nenhuma configuração ou instalação no computador do aluno. Um primeiro curso utilizando o sistema Saci, de introdução `a programação de computadores usando Javascript, foi disponibilizado na página da Olimpíada Brasileira de Informática em meados de marc¸o.
8
Parizotto, Ricardo, Lucas Barbosa Castanheira, and Alberto Egon Schaeffer-Filho. "Abordagem de Composição de Programas P4 em Redes Programáveis." In XXXVII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/sbrc.2019.7420.
Full textAbstract:
Redes definidas por software (SDN) e o surgimento de planos de dados programáveis permitem maior flexibilidade para a operação de redes. Essas tecnologias são capazes de permitir que os administradores de rede reconfigurem os planos de dados e de controle. A capacidade de reconfigurar e programar a rede sob demanda oferece vários benefícios, em particular possibilitando melhorar os mecanismos de segurança de rede usando a capacidade de programação. No entanto, além de promover um grau maior de flexibilidade, a programação do plano de dados levanta preocupações em relação a erros que podem criar inconsistências na função mais básica da rede, o encaminhamento de dados, interrompendo políticas previamente definidas. Neste trabalho apresentamos um framework para instalar funções em planos de dados programáveis de maneira confiável, garantindo que a instalação de tais funções preserve as propriedades básicas de encaminhando. Para isso, empregamos técnicas de composição de programas para mesclar funções modulares em um único plano de dados agregado, garantindo que o programa resultante seja correto após a mesclagem. Para mostrar a corretude de nosso método, apresentamos um estudo de caso com um firewall e um módulo de monitoramento.
9
Hoss, Diego, Gil Andrade, Roberta Suero, et al. "Processamento Paralelo com Hyper-Threading: Uma Análise de Desempenho Como Instrumento de Ensino e Aprendizagem em Sistemas Operacionais." In XXVII Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2019. http://dx.doi.org/10.5753/wei.2019.6612.
Full textAbstract:
O desempenho de um programa de computador é influenciado pelo sistema operacional (SO). É possível melhorar o desempenho por meio da técnica de paralelismo. Para utilizar esta técnica, o desenvolvedor deve conhecer as funcionalidades do sistema operacional. Neste sentido, este trabalho propõe o desenvolvimento de um programa que utiliza paralelismo com a tecnologia Hyper-Threading e seu equivalente sem paralelismo. A partir disso, infere-se uma análise de desempenho traçando uma relação entre o rendimento do programa e o conhecimento acerca de sistemas operacionais. Os resultados mostraram que o desempenho de uma aplicação está diretamente relacionado com o conhecimento do programador sobre SO.
10
Dos Santos, Caio Augusto R., and Rivalino Matias Jr. "Um Estudo Exploratório Sobre Padrões de Falhas de Sistemas Operacionais." In XXX Concurso de Teses e Dissertações da SBC. Sociedade Brasileira de Computação - SBC, 2017. http://dx.doi.org/10.5753/ctd.2017.3456.
Full textAbstract:
Devido à dependência intrínseca de programas de usuário em relação ao sistema operacional (SO), falhas no sistema operacional podem afetar, severamente, até mesmo as aplicações mais confiáveis. Esta pesquisa realizou um estudo exploratório sobre padrões de falha de SO, com base em 7.007 registros de falha reais coletados de diferentes computadores executando um sistema operacional de mercado. Foi desenvolvido um protocolo de detecção de padrões que permitiu detectar e caracterizar padrões de falha de SO que se mostraram consistentes em diferentes computadores dos mesmos e de variados ambientes de trabalho investigados.