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 2012-10-23T00:58:50Z (GMT). No. of bitstreams: 1 238111.pdf: 2161716 bytes, checksum: 597716c5a6074a9e93a760112ded0c97 (MD5) / A evolução dos sistemas computacionais deu origem aos systems-on-chip ou SoCs, onde diversos componentes (como memória, barramentos e processador(es)) estão presentes em um único circuito integrado. Os SoCs possivelmente contêm múltiplos processadores de diferentes tipos, portanto a exploração de seu espaço de projeto requer ferramentas redirecionáveis. O aumento da complexidade de tais sistemas, juntamente com a diminuição do time-to-market e a necessidade de iniciar-se o desenvolvimento do software embarcado o mais cedo possível, deu origem à modelagem no nível de transações ou TLM (transaction-level modeling). O projeto inicia-se com um modelo TLM atemporal, mas a posterior anotação de restrições temporais exige que o software embarcado seja revisado, sendo úteis ferramentas de análise de restrições temporais pós-compilação. Esta dissertação descreve uma técnica automaticamente redirecionável que combina análise de restrições temporais e escalonamento de código assembly. A técnica baseia se na extração de informações específicas da arquitetura-alvo através de uma descrição formal do processador e na codificação de restrições temporais e de precedência em uma representação unificada usando grafos. Resultados experimentais mostram que a técnica não somente lida eficientemente com restrições temporais, mas também as explora para guiar as otimizações. São apresentados resultados para os processadores MIPS, PowerPC e SPARC, onde acelerações na execução do código de até 1,3 vezes foram obtidas em relação ao código pré-otimizado. Este trabalho aborda ainda um estudo da viabilidade de se integrar a técnica proposta em um tradutor binário, contribuindo para que, ao se traduzir código compilado de uma arquitetura para outra, o código traduzido resulte otimizado. Resultados preliminares são apresentados como um forte indício de viabilidade.

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 2012-10-23T01:27:57Z (GMT). No. of bitstreams: 1 238882.pdf: 815899 bytes, checksum: 41a97cd402454809df86b7e8faa93de2 (MD5) / Essa dissertação propõe uma técnica de geração automática de linkeditores a partir da descrição formal de uma CPU por meio de uma linguagem de descrição de arquiteturas (ADL). A idéia-chave para tal geração é a generalização da noção de modificadores para descrever relocações em um nível mais alto de abstração. A implementação da técnica baseia-se na ADL ArchC e no conhecido pacote GNU Binutils. Para o redirecionamento, reusa-se as bibliotecas independentes de arquitetura e gera-se automaticamente as bibliotecas dependentes da CPU-alvo. A corretude e a robustez da técnica foram comprovadas para três CPUs (MIPS, SPARC e POWERPC) rodando programas do benchmark MiBench. Para a validação experimental, foram comparados com sucesso os arquivos executáveis produzidos pela ferramenta gerada com aqueles produzidos pela ferramenta congênere já disponível no pacote GNU Binutils. Além disso, propõe-se uma técnica de tradução binária baseada em redirecionamento automático. Mostra-se como utilitários binários (desenvolvidos nesta e em outras dissertações) podem ser encadeados para dar origem a um tradutor binário estático. Resultados experimentais preliminares indicam a viabilidade da técnica.

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 2012-10-23T02:43:09Z (GMT). No. of bitstreams: 1 245551.pdf: 588753 bytes, checksum: b88ec712f3f85bb8d6231741091cf521 (MD5) / Esta dissertação de mestrado contém propostas para que a gerência do ciclo de vida de uma Infra-estrutura de Chaves Públicas seja tratada dinamicamente, tornando possível a substituição eficiente de certificados e chaves criptográficas de suas entidades, sem comprometer a topologia como um todo. As técnicas e métodos previstos na literatura são eficientes mas existem situações nas quais estas técnicas não possuem a abrangência necessária para solucionar determinados problemas. Devido a isso, foi realizada uma nova classificação para a separação entre as possíveis operações de substituição de chaves e certificados, e para os casos não previstos, foram propostos novos métodos e procedimentos. A partir dos resultados obtidos, são apresentadas novas aplicações práticas derivadas destas técnicas com a finalidade de torná-las ainda mais dinâmicas e atender as demandas de aplicações reais. Na parte final deste trabalho, são apresentados os mecanismos de testes e validação aplicados sobre estas propostas, de forma a mostrar sua eficácia e integração com as principais aplicações práticas atualmente em uso.

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 2012-10-23T02:56:05Z (GMT). No. of bitstreams: 1 247090.pdf: 996995 bytes, checksum: 4fbf0bcfa20b77a8c25323d7dc737c00 (MD5) / O algoritmo ADE é um algoritmo de agrupamentos para se trabalhar com grandes bases de dados, as quais podem ter variáveis tanto quantitativas como categóricas. Nesta dissertação é realizado um estudo para verificar a adequação do ADE em problemas comuns à Análise de Agrupamentos. Para atingir esse objetivo, o desempenho do ADE foi comparado com os algoritmos K-médias e CLARA, em termos da acurácia e do tempo de processamento, através do uso de simulações Monte Carlo, realizadas sob a metodologia de Planejamento de Experimentos. Foram investigados os efeitos do número de registros, do número de grupos, do número de variáveis, da presença de variáveis categóricas, de grupos com diferentes variâncias, da correlação entre variáveis e da distribuição geradora dos dados. Verificou-se que o ADE tem melhor acurácia que os outros dois algoritmos quando as variâncias dos agrupamentos são diferentes e que essa vantagem do ADE diminui quando o número de variáveis aumenta. Verificou-se nos softwares utilizados, que o ADE é mais lento que os outros dois algoritmos, porém quando se aumenta o número de registros e o número de grupos, o aumento proporcional do tempo no ADE é menor do que nos outros dois algoritmos.

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 2012-10-23T04:52:04Z (GMT). No. of bitstreams: 1 238675.pdf: 860340 bytes, checksum: 00c1c8aa0d78472158850eb25bcedfd5 (MD5) / Um sistema embarcado pode ter todos os seus componentes eletrônicos implementados em um único circuito integrado, dando origem ao assim chamado System-on-a-Chip (SoC). Um SoC é composto de uma ou mais CPUs e por componentes não programáveis, tais como memória(s), barramento(s) e periférico(s). A CPU escolhida pode ser um processador dedicado, denominado Application-Specific Instruction-Set Processor (ASIP). O projeto de SoCs requer ferramentas para a inspeção de código, a fim de se explorar a corretude do software embarcado a ser executado em cada CPU. Isto pode ser feito através da geração automática de ferramentas a partir de um modelo formal de CPU, cujas características podem ser descritas através do uso de Linguagens de Descrição de Arquiteturas (Architecture Description Language - ADLs). Como o redirecionamento manual das ferramentas para cada CPU explorada seria inviável devido à pressão do time-to-market, o redirecionamento automático é mandatório. Esta dissertação contribui com a expansão do módulo de geração de ferramentas de manipulação de código binário associado à ADL ArchC, através da geração automática de desmontadores e depuradores de código. As ferramentas de desmontagem e depuração de código foram validadas por meio de comparação com ferramentas nativas congêneres para modelos de arquiteturas RISC e CISC (i8051, MIPS, SPARC e PowerPC). Para fins de experimentação, foram usados os benchmarks MiBench e Dalton, evidenciando a corretude e a robustez das ferramentas. Além disso, mostra-se a integração do gerador de desmontadores no âmbito de um tradutor binário, proposto como resultado de trabalho cooperativo (também reportado em outras duas dissertações correlatas).

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação. Programa de Pós-Graduação em Educação / Made available in DSpace on 2012-10-23T11:10:50Z (GMT). No. of bitstreams: 1 249020.pdf: 884470 bytes, checksum: 3dea46d06c583800e1e59de4b1f52aaf (MD5) / Esta tese investiga o sentido da ciência no ato pedagógico e o faz mediante uma aproximação do modo como as ciências humanas, em particular as ciências da linguagem e da educação, compreendem a teoria e a prática social do conhecimento humano. Para isso, focaliza o ato pedagógico (trabalho) no contexto da esfera escolar e nas relações que esta estabelece com a esfera científica, pondo como questão a teoria e a prática no processo de ensino. A dimensão constitutiva da linguagem na atividade educacional apresenta-se como de interesse epistemológico (cognitivo) e ético no âmbito deste estudo. A pesquisa fundamenta-se teórica e metodologicamente na abordagem sócio-histórica, especialmente na teoria do dialogismo de Mikhail Bakhtin, ou do seu Círculo. Com base nessa orientação, foram eleitas categorias que alicerçaram as reflexões em torno da atividade pedagógica, mais especificamente da relação do docente com o aparato científico de formação: dialogicidade, tema e significação, tempo e espaço e responsabilidade, entendendo-as como planos adequados à análise de processos formativos na pedagogia. A análise, que permitiu registrar as relações dos indivíduos com o conhecimento (teoria, práxis e didática), significando a experiência humana em seu lócus, mostrou, em seus desdobramentos: a necessidade de maior integração entre a ciência e a atividade dos professores, uma vez que existe certo descompasso entre os princípios teórico-metodológicos assumidos por estes e os divulgados pela ciência no atual estágio de conhecimento, dada a "simplificação" a que esse conhecimento é submetido no decorrer de sua passagem da esfera científica à escolar; a ausência de articulação entre teoria e prática pedagógica, tradicionalmente concebidas como dicotômicas; a permanência de certas ações escolares que denominei rito pedagógico; a posição discursiva de terceiro assumida pelo professor. Diante de tais condições, é possível afirmar: o conhecimento científico nas fronteiras entre a esfera científica e a escolar sofre um processo de "didatização" que afeta o real do objeto e reforça a passividade do professor, colocado na posição de "aluno"; a dicotomia teoria e prática é hoje reforçada pelo pensamento pós-moderno; em relação à tradição, ao rito pedagógico, pode-se dizer que contribuem para a perenidade do agir pedagógico, transformando-o em quase-dogma, eclipsando o conhecimento necessário para atingir as dimensões da realidade fenomênica e não-fenomênica e as condições para nela poder intervir. Outro aspecto que a análise da pesquisa possibilitou trazer à tona refere-se à atribuição do espaço do eu, do outro e do terceiro - esse último, segundo Bakhtin, um supradestinatário situado na intersecção entre o eu e o tu. Na prática pedagógica, em que a especificidade dos fenômenos singulares costuma ser diluída num teoreticismo abstrato (abstração do eu), o professor, consciente ou inconscientemente, assume a voz do terceiro, escondendo-se na impessoalidade. Finalmente, foram apontadas algumas questões que poderão promover novas discussões ou possibilitar outros encaminhamentos ao processo educacional: a relevância da teoria como um construto necessário à compreensão das relações dialógicas e sociais, erigidas no entrelaçamento dos conhecimentos das ciências humanas e sociais (pedagogia, filosofia, lingüística, entre outros) com as práticas laborais (atos humanos), na permanente atividade de síntese (tese-tese-síntese, pela metodologia bakhtiniana); a compreensão da pedagogia como ato humano entre outros atos humanos e não apenas uma derivação que especializa o ato pedagógico e, com isso, perde seus nexos mais amplos e nem sempre evidentes da realidade (do ser, do real) mais imediata e especializada; a importância de uma posição exotópica (de distanciamento) e cronotópica (tempo e espaço) que permita ao professor, ao pesquisador um posicionamento crítico, ético e responsável perante o que se põe como objeto da pedagogia, que, por sua vez, necessita, hoje, ser reavaliado.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências de Educação. Programa de Pós-graduação em Educação / Made available in DSpace on 2012-10-23T11:27:47Z (GMT). No. of bitstreams: 1 245438.pdf: 391704 bytes, checksum: 4935c4b7031a5a6223d462d1e528c892 (MD5) / Considerando o empenho teórico de vários autores que, ao longo do século XX, pretenderam redimensionar a concepção de progresso e racionalidade, bem como aqueles que apontaram os males da civilização no processo de dominação dos instintos, procuramos investigar aspectos da relação entre educação e domínio da natureza no pensamento de Antonio Gramsci, autor italiano das décadas de 1920 e 1930. Como principal representante intelectual do movimento operário de uma Itália ainda pouco industrializada, ambientou sua filosofia nos ares da disciplina, da ciência, da dominação da natureza, da técnica e do industrialismo. Procurando não perder de vista o conjunto de reflexões que o autor realizou acerca da política, da hegemonia e do marxismo, enfocamos mais especificamente este lugar iluminista ocupado pelo pensador quanto às soluções da vida. Como uma "sombra" que percorre a claridade iluminista do filósofo italiano, trazemos as considerações de Walter Benjamin, que viveu no mesmo momento histórico e contextualizado por uma sociedade (alemã) já desenvolvida e madura produtivamente, possibilitando um olhar mais "pessimista" quanto ao aperfeiçoamento do domínio do homem sobre a natureza. Nesse percurso, consideramos, primeiramente, como o homem conhece o mundo para Gramsci e as principais problemáticas levantadas quanto à noção de verdade e de ciência. Apresentamos, em seguida, os argumentos que utiliza para confirmar a necessidade de dominação dos instintos em várias esferas humanas, tomando como base a idéia de que o homem passa a agir na natureza impregnando o "natural" de historicidade. E, ao final, realizamos algumas considerações sobre a relação educação e domínio da natureza, levantando aspectos do seu projeto de formação cultural humanista e considerações acerca do corpo.

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 2012-10-24T03:23:03Z (GMT). No. of bitstreams: 1 262342.pdf: 660822 bytes, checksum: 20d4a5e1fe3ccf4f7e05dc3288b9c7a9 (MD5) / O escopo tradicional da veri¯ca»c~ao funcional foi ampliado com o surgimento dos °uxos de projeto em n¶³vel de sistema eletr^onico (ESL). Nesses °u-xos, logo ap¶os o particionamento hardware-software, a veri¯ca»c~ao precisa lidar com tipos abstratos de dados, com artefatos de implementa»c~ao e com a poss¶³vel n~ao-preserva»c~ao, no dispositivo sob veri¯ca»c~ao (DUV), da ordem dos comportamentos no modelo de refer^encia (golden model ). As t¶ecnicas existentes para veri¯ca»c~ao p¶os-particionamento est~ao limitadas pelo uso de heur¶³sticas (que colocam em risco as garantias de veri¯ca»c~ao) ou por abordagens black-box (que restringem a observabilidade). Este trabalho adota uma abordagem white-box e prop~oe uma nova t¶ecnica que opera sobre amostras de dados capturadas por monitores e armazenadas na forma dos assim-chamados logs. Para cada ponto a ser veri¯cado, inserem-se monitores espelhados: um no modelo de refer^encia, outro no DUV. A veri¯ca»c~ao autom¶atica dos logs ¶e formulada com um problema de casamento (matching) em um grafo bipartido. O problema cl¶assico foi modi¯cado para capturar n~ao apenas a compatibilidade de valores monitorados, mas tamb¶em a preced^encia de eventos, de forma a viabilizar o tratamento da n~ao-preserva»c~ao da ordem no DUV. A formula»c~ao adotada permitiu provar v¶arias propriedades, as quais foram utilizadas como base te¶orica para determinar as garantias de veri¯ca»c~ao da t¶ecnica proposta. A implementa»c~ao dos monitores utilizou infra-estrutura pr¶e-existente baseada em re°ex~ao computacional. S~ao apresentados resultados experimentais que validam a formula»c~ao e os algoritmos propostos. The traditional scope of functional veri¯cation has been extended with the rise of electronic-system-level (ESL) design °ows. In those °ows, immediately after hardware-software partitioning, veri¯cation has to deal with abstract data, with implementation artifacts, and, possibly, with the non-preservation, by the device under veri¯cation (DUV), of the the order of behaviors at the golden model. Existing approaches are limited either by the use of greedy heuristics (jeopardizing veri¯cation guarantees) or by black-box approaches (impairing observability). This work adopts a white-box approach and proposes a new technique that operates on data samples captured by monitors and stored in the form of so-called logs. For each point to be veri¯ed, mirrored monitors are inserted: one at the golden model, another at the DUV. The automatic veri¯cation of the logs of a pair of mirrored monitors is cast as a bipartite graph matching problem. The classical problem was modi¯ed to capture not only value compatibility, but also event precedence, so as to allow the treatment of the non-preserved event order at the DUV. The adopted formulation allowed us to prove several properties, which were used as stepping stones for determining the veri¯cation guarantees of the proposed technique. The implementation of monitors relied on pre-existing infrastructure based upon computational re°ection. Experimental results validate the formulation and the proposed algorithms.

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 2012-10-24T06:02:11Z (GMT). No. of bitstreams: 1 250359.pdf: 1066223 bytes, checksum: 42eb8250860021af51831e4fa088e440 (MD5) / Este trabalho apresenta um estudo da gerência de reservas de recursos de Grade. Reservas são fundamentais para QoS em Grades. São propostos uma arquitetura onde usuários, gerenciador de reservas e gerenciadores de recursos são entidades separadas e que se relacionam, e um modelo de representação de recursos e reservas para escalonamento de reservas, baseado em empacotamento em ?ta. São trabalhados quatro requisitos necessários para uma gerência adequada de reservas de recursos: abrangência, ?exibilidade, e?ciência e utilização dos recursos. A solução proposta é ?exível o bastante para suportar reservas imediatas, antecipadas e sob-demanda, e relaxamento. É também abrangente o bastante para suportar diversos recursos, por meio de reservas de um recurso, de múltiplos recursos simultaneamente, e de parte da capacidade de um recurso. São também propostos três algoritmos de escalonamento de reservas.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências da Educação, Programa de Pós-graduação em Ciência da Informação, Florianópolis, 2009 / Made available in DSpace on 2012-10-24T06:33:17Z (GMT). No. of bitstreams: 1 269569.pdf: 2850483 bytes, checksum: eb4d78bef0f8c9a50446431f36cb8524 (MD5) / Juntamente com a utilização crescente da world wide web (www), surgem dificuldades relacionadas com o aumento do volume de informações disponibilizadas sem uma forma estruturada de representação, o que dificulta o acesso e a recuperação da informação. Inseridas neste contexto, as bibliotecas digitais dependem da padronização da descrição física e de conteúdo de seus itens para garantir a interoperabilidade. Acredita-se que a adoção de metadados para a descrição de documentos eletrônicos possa contribuir para sanar estas dificuldades. No entanto, o conteúdo desses metadados deve obedecer a critérios cuja finalidade é tornar consistente a representação dos objetos incluídos nos repositórios, melhorando assim a interoperabilidade com outras bibliotecas digitais. Nesta realidade, encontra-se esta pesquisa cujo objetivo é analisar o conteúdo dos metadados das dissertações eletrônicas da Universidade do Estado de Santa Catarina UDESC, disponibilizados para a Biblioteca Digital de Teses e Dissertações BDTD, a fim de verificar se os mesmos estão sendo informados de acordo com o padrão MTD-BR e, desta forma, contribuir para a localização e recuperação das dissertações eletrônicas desta instituição. A abordagem geral da pesquisa foi exploratória, sendo analisados de forma qualitativa e quantitativa todos os metadados das dissertações eletrônicas da UDESC disponibilizados para a BDTD. A abordagem qualitativa foi realizada utilizando-se como parâmetro as recomendações do padrão MTD-BR no que se refere ao conteúdo dos elementos de metadados e seus respectivos atributos, enquanto a abordagem quantitativa teve como objetivo comparar a quantidade de informações corretas e incorretas de metadados. Os resultados quantitativos foram apresentados de forma descritiva e, com o auxílio de tabelas. Verificou-se que a maioria dos metadados de preenchimento obrigatório são registrados de acordo com o padrão MTD-BR. Entretanto, observou-se que os elementos de preenchimento facultativo, muitas vezes, deixaram de ser informados ou foram informados incorretamente, o que não implicou na exclusão do documento do processo de harvesting mas, dependendo da busca realizada, pode impossibilitar a recuperação do documento na BDTD. Os resultados observados induziram a apresentação de sugestões para a melhoria do conteúdo dos metadados informados pela UDESC para a BDTD. Conclui-se que a biblioteca digital da UDESC, apesar de ter uma boa qualidade no preenchimento dos metadados, pode ainda aprimorar este procedimento em favor da interoperabilidade e da recuperação da informação. / Together with the increasing use of world wide web (www), difficulties arise related to the increased volume of information available without a structured way of representation, making it difficult to access and retrieval of information. Inserted in this context, digital libraries depend on the standardization of physical description and content of your items to ensure interoperability. It s believed that the adoption of metadata for description of electronic documents can help solve these problems. However, the content of metadata should conform to criteria whose purpose is to make a consistent representation of the objects included in the repositories, thus improving interoperability with other digital libraries. In fact, this research is aimed at analyzing the content of metadata for electronic theses at the University of the State of Santa Catarina - UDESC, available for the Digital Library of Theses and Dissertations - BDTD to verify whether they are informed in accordance with the standard MTD-BR and thus contribute to the location and retrieval of electronic dissertations that institution. The general approach of the research was exploratory, and analyzed qualitatively and quantitatively in all metadata of the electronic dissertations UDESC available for BDTD. A qualitative approach was performed using a parameter as the recommendations of the standard MTD-BR regarding the content of metadata elements and their attributes, while the quantitative approach aimed to compare the amount of correct information and incorrect metadata. The quantitative results were presented in a descriptive way, and with the aid of tables. It was found that most of the metadata required are registered according to the standard MTD-BR. However, it was observed that the elements of Optional often no longer be informed or have been incorrectly informed, which is not involved in the exclusion of the document but the process of harvesting, depending on the search carried out, may preclude the recovery of the document in BDTD. The results observed led to the submission of suggestions for improving the content of the metadata information for the UDESC BDTD. It is concluded that the library's digital UDESC, despite having a good quality in fulfillment of the metadata, you can still improve this procedure in favor of interoperability and retrieval of information.