Search
Now showing items 11-20 of 41
RTSS: uma família de técnicas de leitura para suporte à inspeção de modelos SysML e Simulink
(Universidade Federal de São Carlos, 2014-05-30)
Context: Usually, developers of Embedded Systems (ESs) start the development from models next to the code generation phase, for example, SysML diagrams and Simulink models. Despite the whole use of these models by the ...
Investigação de operadores essenciais de mutação para programas orientados a aspectos
(Universidade Federal de São Carlos, 2014-10-20)
Context: The literature on software testing reports on the application of the Mutation Analysis criterion or mutation testing as a promising approach for revealing faults in aspect-oriented (AO) programs. However, it ...
Otimização inteligente da decomposição de elemento estruturante em morfologia matemática binária
(Universidade Federal de São Carlos, 2014-03-14)
When working with binary images, mathematical morphology provides powerful tools for analyzing them. Along with genetic algorithms, it allows various computational tasks that are performed autonomously. In recent decades, ...
Filtragem de ruído speckle em imagens de radar de abertura sintética por filtros de média não local com transformação homomórfica e distâncias estocásticas
(Universidade Federal de São Carlos, 2014-01-23)
The development of new methods and noisy images filtering techniques still attract researchers, which seek to reduce the noise with the minimal loss of details, edges, resolution and removal of fine structures of the image. ...
Redução automatizada de redes de petri baseada em algoritmos genéticos
(Universidade Federal de São Carlos, 2014-06-26)
Petri Net (PN) is a graphical mathematical tool used to create models that provide a formal specification of systems, creating the possibility of running behavior analysis and property verification. PN models can be used ...
Sistema multiagente para controle de veículos autônomos
(Universidade Federal de São Carlos, 2014-06-10)
Vehicle fleets are an important component in several applications, moving materials and people. Examples include material handling in warehouses, factories and port terminals, people transportation as in taxi fleets and ...
Estudo de uma técnica para o tratamento de dead-times em operações de rastreamento de objetos por servovisão
(Universidade Federal de São Carlos, 2014-05-22)
Visual servoing is a technique that uses computer vision to acquire visual information (by camera) and a control system with closed loop circuit to control robots. One typical application of visual servoing is tracking ...
Incorporando dados espaciais vagos em data warehouses geográficos: a proposta do tipo abstrato de dados vaguegeometry
(Universidade Federal de São Carlos, 2014-10-09)
A data warehouse is a solution for organizing and storing multidimensional data related to decision-making processes in companies, generating a historical, highly voluminous, subject-oriented and nonvolatile database. A ...
Uma avaliação experimental do uso de desktops virtuais
(Universidade Federal de São Carlos, 2014-02-25)
A server cluster connected to the Internet can support virtual desktops in a virtual computing environment. Each user can have his/her own virtual desktop, accessed through the Internet by means of devices such as laptop, ...
INCENTV: agente incentivador no enriquecimento da qualidade de experiência em TV social
(Universidade Federal de São Carlos, 2014-05-29)
Since its creation television has undergone major paradigm shifts, from black and white images to color displays, from analog systems to digital transmissions, from low quality display to high quality displays, from passive ...