Debugging
Mostrando 1-12 de 17 artigos, teses e dissertações.
-
1. DevC: uma linguagem de suporte ao desenvolvimento concorrente de device drives e modelos de controladores de entrada e saÃda
Modern electronic products incorporate several features, combining mobility, computational power, a great capacity for communication and facility for interfacing. Nevertheless, integrating such functionalities increases the complexity of the design. The design of such products includes an embedded system that implements their functionalities in a combined so
Publicado em: 2009
-
2. Depuração simbólica extensível para sistemas de objetos distribuídos / Extensible symbolic debugging for distributed object systems
After over thirty years of intense research, debugging distributed systems is still regarded as a difficult task. While this situation could be partially blamed on the fact that concurrent executions are complex, the fast pace of evolution witnessed with distributed computing technologies have also played its by shortening the lifespan of many potentially us
Publicado em: 2008
-
3. Nprof : uma ferramenta para monitoramento de aplicações distribuídas / Nprof : a monitoring tool for distributed applications
A crescente complexidade dos programas de computador e o crescimento da carga de trabalho a qual eles são submetidos têm sido tendências recorrentes nos sistemas computacionais, em especial para sistemas distribuídos como aplicações web e sistemas corporativos. O aumento da carga de trabalho gera uma demanda por sistemas que façam melhor uso dos recur
Publicado em: 2008
-
4. Debugging for equation-oriented cape tools
Publicado em: 2007
-
5. A platform development framework and a debugging mechanism based on computacional reflection / Um framework de desenvolvimento de plataformas e um mecanismo de depuração baseado em reflexão computacional
Digital systems are becoming more and more complex through the years, putting general purpose processors together with specialized hardware and buses into the same silicon die, due to power, area and performance constraints. In order to deal with this complexity and a short time-to-market, designers are adopting high level hardware descriptions, based on lan
Publicado em: 2007
-
6. Replay : anÃlise e depuraÃÃo de sistemas multiagente baseado em conhecimento lÃgico orientado a objetos, com aplicaÃÃo a Robocup
In recent years, many different methodologies and tools for Agent-Oriented Software Engineering have been proposed. Yet, almost all of them deal only with a restricted sub-class of Multi-Agent Systems (MAS): those composed of agents whose sensors and effectors are limited to the exchange of messages with other agents, and those whose reasoning is purely reac
Publicado em: 2005
-
7. Monitor of object oriented systems dynamics / Monitor de dinâmica de sistemas orientados a objetos
Resumo Sistemas de computação estão ficando maiores e mais complexos. Essa maior complexidade e tamanho contribuem para que falhas no software aconteçam e cheguem ao ambiente de produção. Mesmo desenvolvendo software dentro das recomendações da engenharia de software e dos processos de garantia de qualidade, prever e testar todas as situações em qu
Publicado em: 2005
-
8. Scalable automated proving and debugging of set-based specifications
We present a technique to prove invariants of model-based specifications in a fragment of set theory. Proof obligations containing set theory constructs are translated to first-order logic with equality augmented with (an extension of) the theory of arrays with extensionality. The idea underlying the translation is that sets are represented by their characte
Journal of the Brazilian Computer Society. Publicado em: 2003-11
-
9. Performance evaluation of 3D computer vision techniques
This work presents the implementation and comparison of three different techniques of three-dimensional computer vision as follows: • Stereo vision - correlation between two 2D images • Sensorial fusion - use of different sensors: camera 2D + ultrasound sensor (1D); • Structured light The computer vision techniques herein presented took into considerat
Journal of the Brazilian Society of Mechanical Sciences. Publicado em: 2002-07
-
10. Programação reflexiva sobre o protocolo de meta-objetos guarana
This dissertation brings theoretical and practical contributions. In the theoretical sphere, we propose a unified terminology for Computational Reflection, introducing the term para-object. Moreover, we have compiled cri teria to classify meta-object protocols (MOPs), which is used in a comparative analysis of the most expressive MOPs published till the year
Publicado em: 2001
-
11. DEPURAÇÃO DE DADOS NA SUPERVISÃO EM TEMPO-REAL DE SISTEMAS DE POTÊNCIA VIA TÉCNICA DE RECONHECIMENTO DE PADRÕES / DATA DEBUGGING FOR REAL-TIME POWER SYSTEM MONITORING BASED ON PATTERN ANALYSIS
Na supervisão em tempo-real de sistemas de potência é fundamental que as informações recebidas do sistema de aquisição de dados não contenham erros. As decisões tomadas durante a operação do sistema se baseiam em análise que utilizam uma base de dados supostamente confiável. A presença de erros nos dados compromete as análises realizadas conse
Publicado em: 1996
-
12. Uma ferramenta para auxilio visual ao teste e depuração de programas
The specification and main features are presented of ViewGraph, a tool designed to aid in testing and debugging tasks by providing the visualization of test information produced by POKE-TOOL [CHA91]. The main points on Structural Testing based on Data Flow Analysis, supported by POKE-TOOL,are also presented. The most important algorithms in ViewGraph are the
Publicado em: 1994