Ferramentas De Abstraaao
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. AvaliaÃÃo de Desempenho de uma Plataforma de Componentes Paralelos / Performance Evaluation of a Platform for Component-Based Parallel Programming
Reduzir a complexidade do software e permitir o desenvolvimento em larga escala de aplicaÃÃes voltados à ComputaÃÃo de Alto Desempenho (CAD) tem exigido o desenvolvimento de ferramentas com potencial capacidade de abstraÃÃo na construÃÃo de sistemas. As tecnologias que envolvem o desenvolvimento de componentes procuram alcanÃar esses requisitos, bu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
2. ReActive â Engine reativo de fÃsica
Engines de simulaÃÃo fÃsica vÃm ganhando projeÃÃo, e em breve poderÃo ser incorporados diversos tipos de aplicaÃÃes alÃm de jogos, na busca de comportamentos mais realistas. dissertaÃÃo descreve o ReActive, um engine desenvolvido para uso em aplicaÃÃes de simulaÃÃo fÃsica. Englobando elementos inovadores, como o conceito de reatividade ao in
Publicado em: 2009
-
3. SCExamine: um mecanismo para introspecÃÃo de sistemas em SystemC
No competitivo mercado de sistemas digitais dedicados, a crescente demanda por produtos com funcionalidades cada vez mais complexas tem tornado o projeto de tais sistemas um grande desafio. Neste cenÃrio, torna-se necessÃria à construÃÃo de modelos virtuais de sistemas, em diferentes nÃveis de abstraÃÃo, a fim de permitir a exploraÃÃo do espaÃo de
Publicado em: 2006
-
4. ExtraÃÃo de informaÃÃes estruturais e de comunicaÃÃo de descriÃÃes em SystemC
No competitivo mercado de sistemas digitais dedicados, a crescente demanda por produtos com funcionalidades cada vez mais complexas tem tornado o projeto de tais sistemas um grande desafio. Neste cenÃrio, torna-se necessÃria a construÃÃo de modelos virtuais do sistema, em diferentes nÃveis de abstraÃÃo, a fim de permitir a exploraÃÃo do espaÃo de p
Publicado em: 2004
-
5. GeraÃÃo e execuÃÃo de testes de aceitaÃÃo de sistemas web
A fim de tornar os sistemas Web mais robustos, a construÃÃo de testes de softwares Web e sua automaÃÃo vem sendo enfatizada por metodologias de desenvolvimento. A metodologia Extreme Programming (XP), por exemplo, tem destacado a atividade de teste (em particular, os testes de aceitaÃÃo e de unidade) como uma das prÃticas de programaÃÃo chaves para
Publicado em: 2002
-
6. Model checking CSPZ: Techniques to overcome state explosion
Hoje em dia, notamos um crescente interesse na tÃcnica de verificaÃÃo de modelos por acadÃmicos e por profissionais da indÃstria. A razÃo disso talvez esteja na habilidade dos verificadores de modelos|implementaÃÃes de algoritmos de verificaÃÃo de modelos|serem totalmente automÃticos: nÃo hà intervenÃÃo do usuÃrio durante a anÃlise. Com cert
Publicado em: 2001