O presente trabalho pesquisa sobre a construção da memória musical com embasamento na Epistemologia Genética de Jean Piaget. A fundamentação teórica está estruturada sobre a explicação dos diversos fatores intervenientes na construção da memória. A partir deles, destacam-se as relações existentes entre a memória, a representação e as imagens mentais, especificamente as imagens aurais. Aborda-se o funcionamento da memória mostrando seus aspectos fisiológicos, os tipos de memória e o conceito de memória segundo a teoria de Piaget. Alguns estudos na área da música que apontam relação com memória e desenvolvimento são descritos por evidenciarem a memória no desenvolvimento musical. Com base na idéia de que a prática musical gera aprendizagem e que a memória musical é transformada pelas aprendizagens através de organizações progressivas, diferentes concepções de aprendizagem estão descritas a fim de constatar os distintos tratamentos das posições teóricas em questões sobre a memória. A fim de demonstrar que as idéias de Piaget acerca do desenvolvimento mental estão em sintonia com as recentes pesquisas realizadas na área científica, aborda-se a memória e a aprendizagem na relação entre a Epistemologia Genética e as neurociências. Com o objetivo de acompanhar a construção da memória musical de um sujeito, identificando as fases dessa construção, a pesquisa descritiva, de cunho qualitativo, se desenvolveu através de um estudo de caso longitudinal. A análise de dados ocorreu através da audição e posterior transcrição de gravações selecionadas do sujeito cantando no período entre os dois e seis anos de vida. Na análise foram identificados subsídios para compreender as inter-relações existentes nas condutas musicais do sujeito em relação à construção da memória musical. Os resultados evidenciaram que algumas canções ou efeitos sonoros experienciados pelo sujeito contém aspectos que intervém na lembrança de outras canções; a letra da canção apresenta um papel importante como elemento significador da canção; a aprendizagem das canções vai apresentando melhora significativa e melhor lembrança à medida que o sujeito vai conquistando maior qualidade nas relações que consegue fazer. Conclui-se que a memória musical consiste num processo dinâmico que evolui por organizações progressivas determinadas pela estruturação da inteligência. / El presente trabajo investiga sobre la construcción de la memoria musical basándose en la Epistemología Genética de Jean Piaget. La fundamentación teórica está estructurada sobre la explicación de los diversos factores intervinientes en la construcción de la memoria. A partir de ellos, se destacan las relaciones existentes entre la memoria, la representación y las imágenes mentales, específicamente las imágenes aurales. Se aborda el funcionamiento de la memoria mostrando sus aspectos fisiológicos, los tipos de memoria y el concepto de memoria según la teoría de Piaget. Algunos estudios en el área de la música que apuntan relación con memoria y desenvolvimiento son descriptos por evidenciaren la memoria en el desenvolvimiento musical. Con base en la idea de que la práctica musical genera aprendizaje y que la memoria musical es transformada por los aprendizajes a través de organizaciones progresivas, diferentes concepciones de aprendizaje están descriptas a fin de constatar los distintos tratamientos de las posiciones teóricas en cuestiones sobre la memoria. A fin de demostrar que las ideas de Piaget acerca del desenvolvimiento mental están en sintonía con las recientes investigaciones realizadas en el área científica, se aborda la memoria y el aprendizaje en la relación entre la Epistemología Genética y las neurociencias. Con el objetivo de acompañar la construcción de la memoria musical de un sujeto, identificando las fases de esa construcción, la pesquisa descriptiva, de cuño calitativo, se desarrolló a través de un estudio de caso longitudinal. El análisis de datos ocurrió a través de la audición y posterior transcripción de grabaciones seleccionadas del sujeto cantando en el período entre los dos y seis años de vida. En el análisis fueron identificados subsidios para comprender las interrelaciones existentes en las conductas musicales del sujeto en relación a la construcción de la memoria musical. Los resultados evidenciaron que algunas canciones o efectos sonoros experienciados por el sujeto contienen aspectos que intervienen en el recuerdo de otras canciones; la letra de la canción presenta un papel importante como elemento significador de la canción; el aprendizaje de las canciones va presentando mejora significativa y mejor recuerdo a medida que el sujeto va conquistando mayor calidad en las relaciones que consigue hacer. Se concluye que la memoria musical se consiste en un proceso dinámico que evoluye por organizaciones progresivas determinadas por la estructuración de la inteligencia.

Estudamos neste trabalho o comportamento de modelos de redes neurais compostos de neurônios (ou sítios) e padrões descritos por variáveis binárias, onde cada neurônio conecta-se a um número macroscópico de neurônios vizinhos - modelos de campo médio - por meio de sinapses ou interações, cuja forma é escolhida de modo que a rede seja capaz de executar tarefas específicas. Três modelos são investigados neste trabalho: o modelo de Little-Hopfield e dois modelos de processamento sequencial, um com interações simétricas e outro com interações assimétricas. As sinapses do modelo de Little-Hopfield incluem apenas o termo Hebbiano, que tende a estabilizar a rede em um dos padrões, favorecendo sua recuperação. As sinapses dos modelos de processamento sequencial envolvem a competição entre o termo Hebbiano e um termo sequencial, que provoca transições dos estados entre os diferentes padrões armazenados, favorecendo a recuperação de uma sequência de padrões. Nos concentramos essencialmente na análise das propriedades dinâmicas e estacionárias das soluções vinculadas a esses dois modos de processamento de informação, característicos de modelos de memória associativa. A competição entre a recuperação de um padrão e o processamento de uma sequência é responsável pela riqueza exibida pelos diagTamas de fases dos modelos de processamento sequencial, os quais incluem a presença de soluções cíclicas e de ponto-fixo. O comportamento dos modelos de interesse é analisado em três arquiteturas: na rede em camadas, na rede recorrente e numa rede dual, que interpola entre as duas primeiras arquiteturas. Com relação à metodologia, a rede em camadas e a rede recorrente são estudadas através de um tratamento dinàmico, utilizando a análise de sinal-ruído no primeiro caso e o mÉ~tododa funcional geratriz, com simulações numéricas baseadas no procedimento de Eissfeller e Opper, no segundo caso. Os estados estacionários da rede dual são estudados por meio da mecânica estatística de equilíbrio, utilizando o método das réplicas. Resultados para o comportamento desses sistemas são discutidos considerando os regimes de armazenamento finito e infinito de padrões. Apesar dos modelos de processamento sequencial estudados aqui apresentarem diversas limitações com relação a redes de neurônios biológicos, as propriedades qualitativas das soluções exibidas por esses sistemas podem ser interessantes de um ponto de vista biológico. / We study in this work the behaviour of neural network models composed of neurons (01'sites) and patterns described by binary variables, in which each neuron is connected to a macroscopic number of neighbours - mean-field models - by means of synapses or interactions, whose form is chosen in a way that the network is able to perform specific tasks. Three models are investigated in this work: the Little-Hopfield model and two sequence processing models, one with symmetric interactions and another with asymmetric interactions. The synapses of the Little-Hopfield model include only the Hebbian term, which tends to stabilise the network in one of the patterns, favouring its retrieval. The synapses of the sequence processing models involve the competition between the Hebbian term and a sequential term, which generates transitions of states between the stored patterns, favouring the retrieval of a sequence of patterns. \Ve mainly concentrate on the dynamical and stationary properties of the solutions related to both kinds of information processing, typical of associative memory models. The competition between pattern retrieval and sequence processing is responsible for the richness exhibited by the phase diagrams of the sequence processing models, which include the presence of cyclic and fixed-point solutions. The behaviour of the models is analysed in three architectures: the feed-forward layered network, the recurrent network and the dual network, that interpolates between the first two architectures. With respect to the methodology, the strictly feed-forward and recurrent neural networks are studied through a dynamical approach, using the signalto- noise analysis and the generating functional method, respectively. Explicit results for the latter are implemented by numerical simulations following a method of Eissfeller and Opper. The stationary states of the dual network are studied by means of the equilibrium statistical mechanics, using the replica method. Results for the behaviour of these systems are discussed for finite and extensive loading of patterns. Although the sequence processing models studied here have several limitations with respect to biological networks, the qualitative properties of the solutions ex.hibited by these systems may be interesting from a biological point of view.

Memoria para optar al Título de Periodista / La colonización en la Región de Aisén no es un proceso uniforme y transversal a todos los rincones de la zona, siendo imposible hacer una reconstitución histórica basada en una cronología, ya que etapas similares se han vivido con más de 50 años de diferencia en diversas latitudes de la austral región. Sin embargo, en el proceso de colonización existen una serie de factores comunes. La historia demográfica de la XI región no es romántica ni el resultado de un fenómeno localizado. Marejadas humanas se desplazaron sin orden, sin controles políticos, rompiendo cauces geográficos. Cosas graves ocurrían en ambos lados de la Cordillera de Los Andes. No hablemos ya de mapas, límites, guerras ni de intereses. Así, la región se convirtió en una especie de destierro voluntario, generalmente arrancando de algo o alguien y con la intención de forjar una nueva vida lejos de todo y de todos. Los períodos de mayor migración hacia la zona coinciden con etapas de crisis política y económica en Chile, como la época posterior a la Guerra del Pacífico (albores de 1900) o la dictadura militar (1973-1990), que si bien impulsó un programa de poblamiento en la recién delimitada Región de Aisén del General Carlos Ibáñez del Campo , probablemente esta propuesta no habría tenido interesados si Chile no hubiese estado viviendo una profunda crisis.

A linguagem C não provê segurança espacial de memória: não garante que a memória acessada através de um ponteiro para um objeto, tal como um vetor, de fato pertence ao objeto em questão. Em vez disso, o programador é responsável por gerenciar informações de alocações e limites, e garantir que apenas acessos válidos à memória são realizados pelo programa. Por um lado, isso provê flexibilidade: o programador tem controle total sobre o layout dos dados em memória, e sobre o momento em que verificações são realizadas. Por outro lado, essa é uma fonte frequente de erros e vulnerabilidades de segurança em programas C. Diversas técnicas já foram propostas para prover segurança de memória em C. Tipicamente tais sistemas mantêm suas próprias informações de limites e instrumentam o programa para garantir que a segurança de memória não seja violada. Isso causa uma série de inconvenientes, tais como mudanças no layout de memória de estruturas de dados, quebrando assim a compatibilidade binária com bibliotecas externas, e/ou um aumento no consumo de memória. Uma abordagem diferente consiste em usar tipos dependentes para descrever a informação de limites já latente em programas C e assim permitir que o compilador use essa informação para garantir a segurança espacial de memória. Embora tais sistemas tenham sido propostos no passado, eles estão atrelados especificamente à linguagem C. Outras linguagens, como C++, sofrem de problemas similares de segurança de memória, e portanto poderiam se beneficiar de uma abordagem mais independente de linguagem. Este trabalho propõe Týr, uma transformação de código baseada em tipos dependentes para garantir a segurança espacial de memória de programas C ao nível LLVM IR. O sistema permite que o programador descreva no nível dos tipos as relações entre pointeiros e informação de limites já presente em programas C. Dessa maneira, Týr provê segurança espacial de memória verificando o uso consistente desses metadados pré-existentes, através de verificações em tempo de execução inseridas no programa guiadas pela informação de tipos dependentes. Ao trabalhar no nível mais baixo do LLVM IR, Týr tem por objetivo ser usável como uma fundação para segurança espacial de memória que possa ser facilmente estendida no futuro para outras linguagens compiláveis para LLVM IR, tais como C++ e Objective C. Demonstramos que Týr é eficaz na proteção contra violações de segurança espacial de memória, com um overhead de tempo de execução relativamente baixo e de consumo de memória próximo de zero, atingindo assim um desempenho competitivo com outros sistemas para segurança espacial de memória de uma maneira mais independente de linguagem. / The C programming language does not enforce spatial memory safety: it does not ensure that memory accessed through a pointer to an object, such as an array, actually belongs to that object. Rather, the programmer is responsible for keeping track of allocations and bounds information and ensuring that only valid memory accesses are performed by the program. On the one hand, this provides flexibility: the programmer has full control over the layout of data in memory, and when checks are performed. On the other hand, this is a frequent source of bugs and security vulnerabilities in C programs. A number of techniques have been proposed to provide memory safety in C. Typically such systems keep their own bounds information and instrument the program to ensure that memory safety is not violated. This has a number of drawbacks, such as changing the memory layout of data structures and thus breaking binary compatibility with external libraries and/or increased memory usage. A different approach is to use dependent types to describe the bounds information already latent in C programs and thus allow the compiler to use that information to enforce spatial memory safety. Although such systems have been proposed before, they are tied specifically to the C programming language. Other languages such as C++ suffer from similar memory safety problems, and thus could benefit from a more language-agnostic approach. This work proposes Týr, a program transformation based on dependent types for ensuring spatial memory safety of C programs at the LLVM IR level. It allows programmers to describe at the type level the relationships between pointers and bounds information already present in C programs. In this way, Týr ensures spatial memory safety by checking the consistent usage of this pre-existing metadata, through run-time checks inserted in the program guided by the dependent type information. By targeting the lower LLVM IR level, Týr aims to be usable as a foundation for spatial memory which could be easily extended in the future to other languages that can be compiled to LLVM IR, such as C++ and Objective C. We show that Týr is effective at protecting against spatial memory safety violations, with a reasonably low execution time overhead and nearly zero memory consumption overhead, thus achieving performance competitive with other systems for spatial memory safety, in a more language-agnostic way.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências da Saúde. Programa de Pós-Graduação em Enfermagem / Made available in DSpace on 2012-10-26T12:16:18Z (GMT). No. of bitstreams: 0Bitstream added on 2013-07-16T20:57:06Z : No. of bitstreams: 1 304614.pdf: 1428648 bytes, checksum: 904f9609edc5875039153266a7835e01 (MD5) / Por muito tempo, os portadores de doenças mentais foram considerados alienados. Eram vistos como pessoas que viviam fora da realidade, sem capacidade para entender e exercer seus direitos. Hoje essa história mudou e a luta diária é para que os usuários dos serviços de Saúde Mental possam ter um tratamento qualificado e humanizado. Contudo, apesar dos avanços do modelo assistencial e da proposta de humanização do cuidado, o processo de reforma psiquiátrica apresenta heterogeneidade em relação à velocidade da implementação das políticas propostas, e Manaus aparece neste contexto como uma das últimas capitais brasileiras a implementar os serviços substitutivos do manicômio. Vivenciando esta realidade e buscando compreender essas questões, desenvolveu-se a tese de que existem elementos nas Representações Sociais dos trabalhadores em Saúde Mental do Centro Psiquiátrico Eduardo Ribeiro - CPER que guiam a forma e a organização do cuidado em Saúde Mental e que podem influenciar na implementação dos dispositivos substitutivos do Manicômio. Para validá-la, delineamos como objetivo geral desta pesquisa compreender as representações sociais e memórias sobre o cuidado dos Trabalhadores de Saúde Mental do Centro Psiquiátrico Eduardo Ribeiro em Manaus/AM. O estudo foi qualitativo, na modalidade do estudo de caso único sobre as representações sociais dos trabalhadores sobre o cuidado. Os participantes foram 24 trabalhadores, tendo como critérios de inclusão: trabalhar diretamente com o paciente e possuir tempo médio de vínculo institucional de 20 anos. As informações foram obtidas através de entrevistas semi-estruturadas, que se desenvolveram no primeiro semestre do ano de 2010, em Manaus. A exploração do conteúdo das entrevistas foi realizada com base na análise de conteúdo categorial temática. Nos resultados obtidos destacam-se as lembranças dos trabalhadores, marcadas por um primeiro momento, nomeadas como #era muita gente#, caracterizado pelo grande número de pacientes, pela falta de infraestrutura para abrigá-los, pela precariedade dos equipamentos e pelo reduzido número de profissionais com formação para atuarem na atenção em saúde mental. As memórias sobre o momento que nomeamos como #a primeira reforma# apontaram as mudanças na estrutura da instituição, com a construção de novos pavilhões, redistribuição dos internos de acordo com as necessidades de atenção, abertura de concursos públicos para ingresso de profissionais que integraram a equipe multiprofissional e implementação de projetos terapêuticos e laborais. As representações dos trabalhadores sobre o cuidado foram organizadas como cuidado (des)humano, cuidado como escuta e como estar-junto. Os trabalhadores em saúde mental do CPER expressaram, em seus depoimentos, transformações significativas nos modos de cuidar ao longo do tempo, destacando aspectos relacionados, principalmente, à proximidade dos profissionais com a gestão e à capacidade de escuta e de relacionamento interpessoal entre profissionais, pacientes e familiares como importantes estratégias de mudanças na atenção à saúde mental. O presente estudo foi encaminhado à avaliação do Comitê de Ética em Pesquisa com Seres Humanos, da Universidade Federal de Santa Catarina # CEP/UFSC, aprovado pelo Parecer n 315/2009 / For a long time, the mentally ill were considered alienated. They were seen as people living outside reality, unable to understand and exercise their rights. Nowadays the story has changed and there is a daily struggle for users of mental health service receiving a skilled and humane treatment. However, despite advances in caregiving model and the proposal of caregiving humanization, the psychiatric reform process presents heterogeneity relative to the implementation speed of the proposed policies, and Manaus appears in this context as one of the last Brazilian capital to implement caregiving services substituting those of insane asylums. Experiencing this reality and trying to understand these issues, it was developed a thesis that there are elements in the social representations of mental health workers in Eduardo Ribeiro Psychiatric Center - ERCP guiding the shape and organization of mental health care that may influence the implementation of substitute devices to the insane asylum. To validate it, the general objective outlined to this research is understanding the social representations and memories on caregiving of mental health workers in Eduardo Ribeiro Psychiatric Center in Manaus / AM. The study was qualitative, as single case study on the staff representations about social care. 24 workers participated, with the following inclusion criteria: working directly with patients and having an average institutional affiliation of 20 years. Information was obtained through semi-structured interviews, developed in the first semester of 2010, in Manaus. The exploitation of the interviews content was based on the thematic category analysis. In the results obtained the workers memories were remarkable, marked by a first time, named as "there were many people" characterized by a large number of patients, lack of infrastructure to house them, precariousness of equipment and few professionals trained to work in mental healthcare. The memories of the time we have named as the "first reformation" showed changes in the institution structure, with the construction of new pavilions, patient redistribution according to care needs, opening of public selection for the entry of professionals to integrate the multidisciplinary team and implementation of therapeutic and labour projects. Workers' caregiving representations were carefully organized as (un) human care, care as listening and care as being-together. Mental health workers of ERCP expressed, in their statements, significant changes in care modes over time, detaching related aspects, mainly, to the proximity of professionals with management, and listening skills and interpersonal relationships among professionals, patients and family members as important tactics for change in mental healthcare. The present study was referred to the evaluation of the Ethics in Human Research Committee, of Universidade Federal de Santa Catarina - CEP / UFSC approved by Opinion No. 315/2009

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-03-04T19:18:38Z (GMT). No. of bitstreams: 1 305016.pdf: 1639667 bytes, checksum: 311ae2d24eecf273bdb00a19f87e1468 (MD5) / A fim de proporcionar a alta capacidade de processamento requerida pelos dispositivos eletrônicos pessoais, sem ultrapassar os limites aceitáveis de potência e de consumo de energia, os sistemas em chip (SoCs) adotam o multiprocessamento. Para tanto, os SoCs possuem 2, 4 ou mais processadores, cada um com caches L1 privativas, conectados por meio de um barramento. Como o espaço de endereçamento visto pelos processadores é único, a programação do sistema pode assumir o modelo de memória compartilhada. A coerência entre as caches geralmente é assegurada pelo protocolo snooping. Para tirar proveito do paralelismo dos SoCs multiprocessados (MPSoCs), aplicações são desenvolvidas com uso de múltiplas threads executando concorrentemente. Neste contexto, observa-se que os dados de pilha de uma dada thread são acessados somente pelo processador no qual a thread está executando. Desta forma, a relocação da pilha para memória scratchpad (SPM) pode ser explorada para reduzir a energia do subsistema de memória. Esta redução advém não apenas da menor energia gasta em cada acesso à pilha, mas também da redução das faltas nas caches L1 de dados e da penalidade imposta pelo protocolo snooping. No presente trabalho propõe-se uma técnica para o gerenciamento dinâmico de dados de pilha em múltiplas SPMs, visando redução de energia no subsistema de memória em MPSoCs. A técnica utiliza um gerenciador totalmente em software, o qual é responsável por alocar e desalocar os dados de pilha de thread em SPM. A utilização da técnica dispensa intervenção do programador, pois as alterações necessárias no código da aplicação são realizadas por um compilador adaptado. Foram obtidos resultados experimentais através da simulação de 400 aplicações geradas aleatoriamente, assumindo-se 20 plataformas multiprocessadas, totalizando 8000 casos de uso. Os resultados mostram que, variando-se o perfil das aplicações quanto à proporção de acessos a dados de pilha, a técnica proporciona reduções de energia no subsistema de memória entre 11% e 20%, em média, para plataformas com caches L1 de 32KB, e reduções entre 14,7% e 25,9%, em média, para plataformas com caches L1 de 64KB. Para plataformas com caches L1 de menor capacidade, a redução de energia é menor pois a penalidade de faltas nas caches L1 de instruções imposta pelo gerenciador torna-se relevante.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas. Programa de Pós-Graduação em Psicologia. / Made available in DSpace on 2013-03-04T19:44:01Z (GMT). No. of bitstreams: 1 301213.pdf: 10796016 bytes, checksum: d2f0bae8137f5dd859c351ffe1db8f2e (MD5) / O presente estudo teve por objetivo verificar quais as influências do jogo Reversi na memória de trabalho de alunos com diagnóstico de TDAH. Participaram da pesquisa 4 sujeitos entre 11 e 13 anos. Dois sujeitos eram do sexo masculino, com diagnóstico de Hiperatividade e dois sujeitos do sexo feminino com diagnóstico de Déficit de Atenção. Foram realizados seis encontros sendo o primeiro e o último para a realização da bateria de monitoramento cognitivo Proa. Nos outros encontros foi realizada a prática do jogo Reversi onde foram aferidos os dados referentes a frequencia cardíaca (FC), variabilidade da frequencia cardíaca (VFC) e os comportamentos referentes a prática do jogo: tempo de jogada, tempo de reação, número de sequencias certas, número de sequencias erradas, numero de sequencias mediadas, tempo de interação visual entre o jogador e o mediador e entre o jogador e o tabuleiro. Os resultados apresentaram correlações positivas entre os comportamentos de mediar, número de sequencias erradas e os índices psicofisiológicos de DP RR, rMSSD, pNN50, e BF, indicando um possível esforço mental durante a realização das partidas. Os sujeitos diagnosticados com TDAH do subtipo Desatento apresentaram na bateria de monitoramento Proa uma melhora na tarefa de memória de trabalho entre o pré-teste e o pós-teste. Esse estudo buscou realizar uma relação inicial entre os aspectos psicofisiológicos, comportamentais e cognitivos durante a realização de uma partida do jogo de tabuleiro Reversi. / The present study aimed to verify the influences of the game Reversi in working memory of students diagnosed with ADHD. The participants were four subjects between 11 and 13 years. Two subjects were male, diagnosed with hyperactivity and two female subjects with a diagnosis of Attention Deficit. There were six meetings with the first and the last to perform the battery of cognitive monitoring Proa. In other meetings were held to practice the game Reversi where the data were measured the frequency rate (HR), heart rate variability (HRV) and behaviors regarding the practice of the game: play time, reaction time, number of threads right, wrong number of threads, number of sequences mediated, time visual interaction between the player and mediator and between the player and the board. The results showed positive correlations between the behaviors mediate the wrong number of threads and psychophysiological indices of RR SD, rMSSD, pNN50, and LF, indicating a possible mental effort during the course of matches. Subjects diagnosed with ADHD Inattentive subtype present in the battery monitoring Proa an improvement in working memory task between the pretest and posttest. This study tried to do an initial relationship between the psycho-physiological aspects, behavioral, cognitive, during the course of a departure from the board game Reversi.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2012 / Made available in DSpace on 2013-06-25T18:37:00Z (GMT). No. of bitstreams: 1 312070.pdf: 869350 bytes, checksum: 7c9faae8b5533abbd9b63ba136b44e99 (MD5) / Este trabalho aborda duas classes de problemas enfrentados na verificação de projetos que exibem comportamentos fora de ordem, especificamente a verificação funcional de aceleradores em hardware e a verificação de consistência em sistemas de memória compartilhada. Comportamentos fora de ordem surgem quando relaxam-se restrições de precedência para aumentar a taxa de uso de componentes de hardware concorrentes e, portanto, aumentar o desempenho. Entretanto, o projeto de um sistema que apresenta comportamentos fora de ordem é suscetível a erros pelo fato de o relaxamento de ordem requerer controle sofisticado. Este trabalho compara as garantias de verificação de três classes de checkers dinâmicos para módulos com suporte a eventos fora de ordem. Comprovadamente, scoreboards relaxados podem ser construídos com plenas garantias de verificação contanto que utilizem regras de atualização baseadas na remoção de dominadores. Resultados experimentais mostram que um scoreboard relaxado assim projetado requer aproximadamente 1/2 do esforço exigido por um scoreboard convencional. Verificar a conformidade do hardware com um modelo de consistência é um problema relevante cuja complexidade depende da observabilidade dos eventos de memória. Este trabalho também descreve uma nova técnica de verificação de consistência de memória on-the-fly a partir de uma representação executável de um sistema multi-core. Para aumentar a eficiência sem afetar as garantias de verificação, são monitorados três pontos por núcleo, ao invés de um ou dois, como proposto em trabalhos correlatos anteriores. Os três pontos foram selecionados para serem altamente independentes da microarquitetura do core. A técnica usa scoreboards relaxados concorrentes para detectar violações em cada core. Para detectar violações globais, utiliza-se a ordem linear de eventos induzida por um caso de teste. Comprovadamente, a técnica não induz falsos positivos nem falsos negativos quando o caso de teste expõe um erro que afeta as sequências monitoradas, tornando-se o primeiro checker on-the-fly com plenas garantias de verificação. Resultados experimentais mostram que ele requer aproximadamente 1/4 a 3/4 do esforço global exigido por um checker post-mortem que monitora duas sequências por processador. A técnica é pelo menos 100 vezes mais rápida do que um checker que monitora uma única sequência por processador.<br> / Abstract : This work addresses two classes of problems faced when verifying designs exhibiting out-of-order behaviors, namely the functional verification of hardware accelerators and the verification of consistency in shared-memory systems. Out-of-order behaviors result from relaxing precedence constraints to increase the usage rate of concurrent hardware components and, therefore, lead to a performance improvement. However, the design of a system handling out-of-order behaviors is error prone, since order relaxation asks for sophisticated control. This work compares the verification guarantees of three classes of dynamic checkers for modules handling out-of-order behaviors. Provenly, relaxed scoreboards can be built with full verification guarantees, as far as they employ an update rule based on the removal of dominators. Experimental results show that such a relaxed scoreboard needs approximately 1/2 of the effort required by a conventional one. Verifying the hardware compliance with a consistency model is a relevant problem, whose complexity depends on the observability of memory events. This work also describes a novel on-the-fly technique for verifying memory consistency from an executable representation of a multi-core system. To increase efficiency without hampering verification guarantees, three points are monitored per core, instead of one or two, as proposed in previous related works. The points were selected to be largely independent from the core#s microarchitecture. The technique relies on concurrent relaxed scoreboards to check for consistency violations in each core. To check for global violations, it employs a linear order of events induced by a given test case. Provenly, the technique neither indicates false negatives nor false positives when the test case exposes an error that affects the sampled sequences, making it the first on-the-fly checker with full guarantees. Experimental results show that it needs approximately 1/4 to 3/4 of the overall verification effort required by a post-mortem checker sampling two sequences per processor. The technique is at least 100 times faster than a checker sampling a single sequence per processor.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Literatura / Made available in DSpace on 2013-06-25T20:48:27Z (GMT). No. of bitstreams: 1 310360.pdf: 951494 bytes, checksum: 5becf580c7259a3070181ee51718b6de (MD5) / O presente trabalho procura inquirir a relação entre memória e imaginação que se estabelece em "Memórias inventadas", de Manoel de Barros. Para isso, o olhar volta-se para o conjunto de sua obra, buscando em outros livros uma base interpretativa da convergência e divergência entre as duas faculdades. O poeta, como arqueólogo da palavra, está sujeito à memória que se estende à imaginação. Uma memória, portanto, que procura seu "deslimite". Em Manoel de Barros, de lado a lado, memória e imaginação tocam seus limites, produzindo "memórias inventadas". / The present paper aims to investigate the relationship between memory and imagination which is established in "Memórias inventadas" by Manoel de Barros. In order to achieve it, the paper turns its attention to his sets of work, seeking in other books an interpretative basis of convergence and divergence of both faculties. The poet, as an archeologist of word, is submitted to memory which extends to imagination. Therefore, a memory that looks for its "deslimite". In Manoel de Barros, memory and imagination reach their limits producing "invented memories".

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013. / Made available in DSpace on 2013-12-05T23:24:21Z (GMT). No. of bitstreams: 1 317898.pdf: 940723 bytes, checksum: 70385db74b693722f5b78e9142faaa45 (MD5) Previous issue date: 2013 / Um dispositivo móvel é composto essencialmente de dois subsistemas (um "PC" e um "rádio"), os quais são geralmente implementados como distintos sistemas-em-chip multiprocessados (MPSoC). O "PC"suporta processamento multimídia e implementa a interface com o usuário fazendo uso de computação multi-thread sob gerenciamento de um sistema operacional complexo; o "rádio" realiza processamento de banda-base por meio de computação multi-tarefa gerenciada por um sistema operacional de tempo real. O aumento das taxas de transferência e dos requisitos de segurança demandam um crescimento da vazão sob uma restrição de potência que vem se mantendo quase inalterável para dispositivos móveis. Para lidar com a crescente demanda por eficiência energética, arquiteturas multicore são utilizadas para processamento da pilha de protocolo e aplicações de segurança, o qual requer computação multi-tarefa sob restrições de tempo real. Esta dissertação aborda a eficiência energética de computação multi-tarefa em arquiteturas multicore homogêneas por meio do uso racional do subsistema de memória.A dissertação caracteriza, sob restrições de tempo real, o consumo de energia, a vazão e a eficiência energética do subsistema de memória para uma importante classe de aplicações em dispositivos móveis: os algoritmos criptográficos. Os resultados mostram que os requisitos para escalonabilidade de tempo real limitam o crescimento da vazão com o aumento do tamanho da cache de tal forma que o consumo extra da cache não vale a pena. Também mostram que, no contexto da classe de aplicações-alvo, mais de 85% da energia gasta no subsistema de memória é devido ao consumo dinâmico. Tais resultados permitiram identificar otimizações de cache cruciais para lidar com o aumento das restrições de eficiência energética.Posteriormente, para um dado conjunto de tarefas periódicas, esta dissertação propõe uma nova abordagem para otimizar a eficiência energética do subsistema de memória (um grande responsável pelo consumo de energia em dispositivos baseados em SoC), a qual leva em conta restrições de tempo real. O problema-alvo é decomposto em dois subproblemas fracamente acoplados: particionamento de tarefas entre cores e particionamento dos itens de memória entre espaços de endereçamento cacheáveis e não-cacheáveis. Tal abordagem reduz o consumo dinâmico sem causar um aumento significativo no tempo médio de execução ou no consumo estático. Experimentos realizados com tarefas de um protocolo de segurança real mostraram que reduções entre 7,7% e 33% da energia consumida pelo subsistema de memória pode ser obtida com a decomposição proposta, em comparação com um sistema de referência que mantém todos os itens de programa em um espaço de endereçamento cacheável. <br> / Abstract: A mobile device is essentially a combination of two subsystems (a \PC" and a \radio"), which are often implemented as distinct multiprocessor systems-on-chip (MPSoC). The former supports multimedia processing and implements the end-user interface by relying on multi-thread computing under the management of a complex operating system; the latter implements baseband processing by performing multi-task computing under the management of a real-time operating system. Increasing data rates and security requirements ask for rising throughputs under the nearly unchanging power constraints imposed to mobile devices. To cope with the ever growing demand for energy efficiency, multicore architectures are used for protocol stack and security processing, which require multi-task computing under real-time constraints. This dissertation addresses the energy efficiency of multi-task computing on homogeneous multicore architectures through the rational use of the memory subsystem. First, the dissertation reports, under real-time constraints, the energy consumption, the throughput, and the energy efficiency of the memory subsystem for an important class of applications within a mobile device: the cryptographic algorithms. The results show that real-time schedulability requirements limit the growth of throughput with increasing cache size in such a way that the extra cache consumption does not pay off. They also show that, in the context of multi-task computing, more than 85% of the energy spent in the memory subsystem is due to dynamic consumption. Such results allowed us to identify crucial cache optimizations to cope with increasing energy efficiency requirements. Then, for a given set of periodic tasks, the dissertation proposes a new approach to optimize the energy efficiency of the memory subsystem (a major energy consumer in SoC-based devices) while taking into account real-time constraints. The target problem is decomposed into two loosely coupled subproblems: the partitioning of tasks among cores and the partitioning of memory items between cached and uncached address spaces. The approach reduces the dynamic energy consumption with no significant increase in average execution time and static consumption. Experiments performed with tasks from a real-life security protocol showed that memory energy reductions from 7.7% up to 33% can be obtained with the proposed decomposition, as compared to a baseline system that keeps all program items in cached address space.