BDBComp
Parceria:
SBC
P-MATCHING FOR READ-ONCE FUNCTIONS

Anderson Santos da SilvaAndré I. ReisVinicius CallegaroRenato P. Ribas

Uma Proposta para Estabilizar o Modelo de Mobilidade Random Waypoint em Redes Ad Hoc sem Fio

Renato M. de MoraesFagner P. de AraújoAlisson S. L. Pontes

This paper presents a method to compute P-matchingequivalence of read-once Boolean functions. In logicsynthesis, the technology mapping process can be a verytime consuming task when binding cells from a targetlibrary. Our approach transforms a Boolean function in alogical tree and constructs a code to sort this generatedtree in an unambiguous order that match with otherequivalent sorted tree. Since the method has a polynomialtime complexity, it enables the algorithm to scale tohundreds of input variables in quite fast computation. Thealgorithm efficiency has been evaluated in comparison torelated work. Foi mostrado recentemente que a velocidade média instantânea dos nós no modelo de mobilidade Random Waypoint (RWP) pode não atingir regime estacionário e com isso gerar resultados imprecisos nas simulações e validações de protocolos de comunicação para redes ad hoc sem fio. Este artigo apresenta uma alteração para o modelo RWP e demonstra analiticamente e por simulação que a idéia proposta estabiliza a velocidade média instantânea dos nós na rede para qualquer conjunto de parâmetros escolhido e pode ser facilmente incorporada nos atuais simuladores através de uma simples mudança na chamada de função para a escolha das velocidades dos nós. Outra vantagem da proposta é que a velocidade média alcançada devida a modificação é maior que a do modelo RWP original.

http://www.lbd.dcc.ufmg.br/colecoes/sforum/2012/0028.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD