1. Repositório Aberto da Universidade do Porto

Browsing by Author Pedro F. Souto

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 7 of 7
Issue DateTitleAuthor(s)Type
2010A forcing collision resolution approach able to prioritize traffic in CSMA-based networksRicardo Moraes; Francisco Vasques; Paulo Portugal; Pedro F. SoutoArtigo em Revista Científica Internacional
2006A group membership protocol for communication systems with both static and dynamic schedulingValério Rosset; Pedro F. Souto; Francisco VasquesArtigo em Livro de Atas de Conferência Internacional
2007A reliability evaluation of a group membership protocolValério Rosset; Pedro F. Souto; Paulo Portugal; Francisco VasquesArtigo em Livro de Atas de Conferência Internacional
2007Formal verification of a group membership protocol using model checkingValério Rosset; Pedro F. Souto; Francisco VasquesArtigo em Livro de Atas de Conferência Internacional
2006Model-checking a group membership protocol for TDMA-based networks with both static and dynamic schedulingValério Rosset; Pedro F. Souto; Francisco VasquesArtigo em Livro de Atas de Conferência Internacional
2012Modeling the reliability of a group membership protocol for dual-scheduled time division multiple access networksValério Rosset; Pedro F. Souto; Paulo Portugal; Francisco VasquesArtigo em Revista Científica Internacional
2007Real-time communication in IEEE 802.11 networks: Timing analysis and a ring management scheme for the VTP-CSMA architectureRicardo Moraes; Paulo Portugal; Stefano Vitturi; Francisco Vasques; Pedro F. SoutoArtigo em Livro de Atas de Conferência Internacional
Showing results 1 to 7 of 7