Search


Current filters:


Start a new search
Add filters:

Use filters to refine the search results.


Results 1-10 of 10 (Search time: 0.06 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)Type
7-Oct-2004Processador de asserções para depuração de circuitos integrados em tempo de execuçãoJose Augusto Miranda NacifDissertação de Mestrado
28-Nov-2003Beanwatcher: uma ferramenta para o desenvolvimento de aplicações de monitoração em redes de sensores sem fioAndre Luiz Lins de AquinoDissertação de Mestrado
8-Oct-2004LACCES: uma ferramenta para descrição da arquitetura de sistemas embutidosDaniela Cristina Cascini PeixotoDissertação de Mestrado
30-Sep-2004Desenvolvimento de dispositivo nó-sensor com arquitetura reconfigurávelredes de sensores sem fioFabio Lucio Correa JuniorDissertação de Mestrado
27-Jun-2006Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalênciasMarcia Carolina Marra de OliveiraDissertação de Mestrado
26-Jun-2006Processo para aquisição de produtos e serviços de software para administração pública do Estado de Minas GeraisGisele Silva CardosoDissertação de Mestrado
18-Nov-2005Um sistema de monitoramento remoto de pacientes usando rede sem fioMarco Antonio Santuci CarvalhoDissertação de Mestrado
9-Sep-2005Utilizando SNMP para asserções em hardwareFabricio Orlando DamascenoDissertação de Mestrado
27-Apr-2007Verificação de equivalência de circuitos com aceleração por largura e aprendizado de cláusulas de conflitoThiago Radicchi RoqueDissertação de Mestrado
12-Aug-2005Aplicações MIDP em aparelhos móveis celulares e monitoramento remoto de bio-sinais: considerações e desenvolvimento de uma soluçãoGeraldo Antonio FerreiraDissertação de Mestrado