Raimundo Macêdo - Academia.edu (original) (raw)
Uploads
Papers by Raimundo Macêdo
Journal of Parallel and Distributed Computing, 2013
Journal of Parallel and Distributed Computing, Mar 1, 2005
Proceedings of 15th International Conference on Distributed Computing Systems
Group communication (or multicast) is a powerful abstraction that can be used whenever groups of ... more Group communication (or multicast) is a powerful abstraction that can be used whenever groups of distributed processes cooperate for the execution of a given task. Due to the uncertainties inherent to distributed systems (emerging from communication or process failures), multicast messages may arrive in an inconsistent order at different destination processes. Further complications will arise when groups overlap (i.e. a process is allowed to belong to distinct groups). In this paper, we address the problem of causal order violation in message delivery. We present three causal order protocols for overlapping groups with different trade-offs between message space overhead2 and message delivery delays. The first protocol favours message space overhead (small one) with a longer message delivery delay. The second protocol favours message delivery delay but with a larger message space overhead. The third protocol is a compromise solution between message delivery delay and message space ov...
Lecture Notes in Computer Science, 2009
Provides a listing of current committee members.
Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020), 2020
Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial p... more Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial para o desenvolvimento do cidadão do futuro. Por Isso, o desenvolvimento do RC vem sendo proposto e estudado através de diversas abordagens, entre elas a utilização da Robótica Educacional (RE). A RE utiliza princípios básicos de robótica com o objetivo de desenvolver habilidades não desenvolvidas usualmente nas escolas. A RE pode ser potencializadora do RC, pois utiliza uma metodologia ativa de aprendizagem para incentivar o aprendizado dos alunos através de um ensino lúdico. A proposta deste artigo é avaliar o estado da arte da área de RE e RC através de uma Revisão Sistemática da Literatura envolvendo todos os níveis de ensino, considerando o cenário mundial e utilizando métricas quantitativas e qualitativas. Foram avaliados trabalhos publicados que investigam as potencialidades do ensino conjunto, apresentando uma análise acerca de como a RE tem sido utilizada para fomentar o RC dos a...
Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020), 2020
Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial p... more Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial para o desenvolvimento do cidadão do futuro. Por Isso, o desenvolvimento do RC vem sendo proposto e estudado através de diversas abordagens, entre elas a utilização da Robótica Educacional (RE). A RE utiliza princípios básicos de robótica com o objetivo de desenvolver habilidades não desenvolvidas usualmente nas escolas. A RE pode ser potencializadora do RC, pois utiliza uma metodologia ativa de aprendizagem para incentivar o aprendizado dos alunos através de um ensino lúdico. A proposta deste artigo é avaliar o estado da arte da área de RE e RC através de uma Revisão Sistemática da Literatura envolvendo todos os níveis de ensino, considerando o cenário mundial e utilizando métricas quantitativas e qualitativas. Foram avaliados trabalhos publicados que investigam as potencialidades do ensino conjunto, apresentando uma análise acerca de como a RE tem sido utilizada para fomentar o RC dos a...
Page 1. Published in the Proceedings of the Brazilian Symp. nn Computer Networks (SBRC), Belo Hor... more Page 1. Published in the Proceedings of the Brazilian Symp. nn Computer Networks (SBRC), Belo Horizonte, May/1995 Causal Order Protocols for Group Communication Raimundo José de Araújo Macêdo Universidade Federal da Bahia - LaSiD1 Salvador, Bahia, Brasil ...
RefDoc Bienvenue - Welcome. Refdoc est un service / is powered by. ...
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)
A fundamental issue in the development of mobile agent systems is how to provide support for agen... more A fundamental issue in the development of mobile agent systems is how to provide support for agent applications reliability. For some agent applications areas (such as electronic commerce or workflow) it is fundamental that mobile agent executions are fault tolerant and exhibit transactional semantics or that groups of mobile agents can coordinate their activities with the use of a reliable communication mechanism. This paper discusses reliability requirements in agent systems and introduces mobile process groups as a suitable underlying concept for fulfilling these requirements. Mobile process groups are an extension of the concept of groups in traditional group communication systems that supports mobility of group members.
Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)
A qualidade de confiança no funcionamento (dependability) de sistemas de tempo real distribuídos ... more A qualidade de confiança no funcionamento (dependability) de sistemas de tempo real distribuídos está intimamente ligada à sua capacidade de adaptação dinâmica, para se adequar às mudanças no ambiente, visando, em particular, a reposição de componentes defeituosos. O presente artigo descreve o projeto e implementação de um serviço de reconfiguração dinâmica para o sistema de tempo real distribuído ARCOS - Architecture for Control and Supervision), uma plataforma baseada em componentes de tempo real para aplicações de controle e supervisão. O sistema de reconfiguração dinâmica proposto foi validado através de uma aplicação de controle veicular onde um controlador com defeito é substituído em tempo de execução por uma réplica. O impacto da reconfiguração, analisada a partir de métricas fim-a-fim de qualidade de controle, se mostrou adequado para a aplicação em questão.
Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)
No presente artigo mostramos que um detector perfeito de defeitos P (que suspeita todos os proces... more No presente artigo mostramos que um detector perfeito de defeitos P (que suspeita todos os processos que falharam se e somente os mesmos falharam) pode ser implementado num sistema mais fraco que o sistema distribuído síncrono (contrariando uma crença estabelecida). Nesse sentido, introduzimos o sistema síncrono particionado (Spa) que é estritamente mais fraco que o sistema síncrono (em Spa não é sempre possível implementar ações síncronas globais como sincronização interna de relógios). Através da propriedade que definimos como sincronia particionada forte, mostramos como implementar P em Spa. Melhor ainda, mostramos que mesmo que Sincronia Particionada Forte não possa ser garantida, podemos ainda assim tirar proveito das partições síncronas existentes para melhorar a robustez das aplicações de tolerância da falhas, através de um detector parcialmente perfeito, denominado por nós de xP. As propriedades e algoritmos necessários para implementar P e xP são introduzidos no artigo, ass...
The concept of Causal Blocks is developed as a way of representing event ordering information is ... more The concept of Causal Blocks is developed as a way of representing event ordering information is a concise manner. A multicast protocol is then developed using Causal Blocks to provide total order message delivery in an asynchronous communication environment where interprocess communication delays can be potentially unbounded. The protocol offers a simple method for dealing with overlapping process groups and has low message space overhead (the protocol related information contained in a multicast message is small).
Resumo Comunicação em grupo tem sido largamente aceita como um meio efetivo de se construir aplic... more Resumo Comunicação em grupo tem sido largamente aceita como um meio efetivo de se construir aplicativos distribuídos confiáveis [5]. Sistemas de grupos tradicionais são baseados em processos estáticos [4, 5, 6, 7, 8]. Entretanto, processos estáticos não são a única forma de se estruturar tais aplicações. Atualmente, processos migrantes, que podem mudar de localização na rede durante a execução, têm sido propostos como uma forma de se projetar aplicações distribuídas. Analogamente às aplicações com processos estáticos, aplicações baseadas em processos migrantes também necessitam de formas confiáveis de cooperação entre os processos. Com o objetivo de suprir parte dessas necessidades, apresentamos neste artigo o conceito de grupos móveis. Assim como nos sistemas de grupo tradicionais, grupos móveis também oferecem garantias de entrega de mensagens e uma forma de sincronia virtual. No entanto, grupos móveis oferecem essas garantias apesar da mobilidade dos seus membros. Mais ainda, ele...
Journal of Parallel and Distributed Computing, 2013
Journal of Parallel and Distributed Computing, Mar 1, 2005
Proceedings of 15th International Conference on Distributed Computing Systems
Group communication (or multicast) is a powerful abstraction that can be used whenever groups of ... more Group communication (or multicast) is a powerful abstraction that can be used whenever groups of distributed processes cooperate for the execution of a given task. Due to the uncertainties inherent to distributed systems (emerging from communication or process failures), multicast messages may arrive in an inconsistent order at different destination processes. Further complications will arise when groups overlap (i.e. a process is allowed to belong to distinct groups). In this paper, we address the problem of causal order violation in message delivery. We present three causal order protocols for overlapping groups with different trade-offs between message space overhead2 and message delivery delays. The first protocol favours message space overhead (small one) with a longer message delivery delay. The second protocol favours message delivery delay but with a larger message space overhead. The third protocol is a compromise solution between message delivery delay and message space ov...
Lecture Notes in Computer Science, 2009
Provides a listing of current committee members.
Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020), 2020
Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial p... more Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial para o desenvolvimento do cidadão do futuro. Por Isso, o desenvolvimento do RC vem sendo proposto e estudado através de diversas abordagens, entre elas a utilização da Robótica Educacional (RE). A RE utiliza princípios básicos de robótica com o objetivo de desenvolver habilidades não desenvolvidas usualmente nas escolas. A RE pode ser potencializadora do RC, pois utiliza uma metodologia ativa de aprendizagem para incentivar o aprendizado dos alunos através de um ensino lúdico. A proposta deste artigo é avaliar o estado da arte da área de RE e RC através de uma Revisão Sistemática da Literatura envolvendo todos os níveis de ensino, considerando o cenário mundial e utilizando métricas quantitativas e qualitativas. Foram avaliados trabalhos publicados que investigam as potencialidades do ensino conjunto, apresentando uma análise acerca de como a RE tem sido utilizada para fomentar o RC dos a...
Anais do XXXI Simpósio Brasileiro de Informática na Educação (SBIE 2020), 2020
Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial p... more Muitos educadores e instituições têm considerado o Raciocínio Computacional (RC) como essencial para o desenvolvimento do cidadão do futuro. Por Isso, o desenvolvimento do RC vem sendo proposto e estudado através de diversas abordagens, entre elas a utilização da Robótica Educacional (RE). A RE utiliza princípios básicos de robótica com o objetivo de desenvolver habilidades não desenvolvidas usualmente nas escolas. A RE pode ser potencializadora do RC, pois utiliza uma metodologia ativa de aprendizagem para incentivar o aprendizado dos alunos através de um ensino lúdico. A proposta deste artigo é avaliar o estado da arte da área de RE e RC através de uma Revisão Sistemática da Literatura envolvendo todos os níveis de ensino, considerando o cenário mundial e utilizando métricas quantitativas e qualitativas. Foram avaliados trabalhos publicados que investigam as potencialidades do ensino conjunto, apresentando uma análise acerca de como a RE tem sido utilizada para fomentar o RC dos a...
Page 1. Published in the Proceedings of the Brazilian Symp. nn Computer Networks (SBRC), Belo Hor... more Page 1. Published in the Proceedings of the Brazilian Symp. nn Computer Networks (SBRC), Belo Horizonte, May/1995 Causal Order Protocols for Group Communication Raimundo José de Araújo Macêdo Universidade Federal da Bahia - LaSiD1 Salvador, Bahia, Brasil ...
RefDoc Bienvenue - Welcome. Refdoc est un service / is powered by. ...
Anais do II Workshop de Testes e Tolerância a Falhas (WTF 2000)
A fundamental issue in the development of mobile agent systems is how to provide support for agen... more A fundamental issue in the development of mobile agent systems is how to provide support for agent applications reliability. For some agent applications areas (such as electronic commerce or workflow) it is fundamental that mobile agent executions are fault tolerant and exhibit transactional semantics or that groups of mobile agents can coordinate their activities with the use of a reliable communication mechanism. This paper discusses reliability requirements in agent systems and introduces mobile process groups as a suitable underlying concept for fulfilling these requirements. Mobile process groups are an extension of the concept of groups in traditional group communication systems that supports mobility of group members.
Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)
A qualidade de confiança no funcionamento (dependability) de sistemas de tempo real distribuídos ... more A qualidade de confiança no funcionamento (dependability) de sistemas de tempo real distribuídos está intimamente ligada à sua capacidade de adaptação dinâmica, para se adequar às mudanças no ambiente, visando, em particular, a reposição de componentes defeituosos. O presente artigo descreve o projeto e implementação de um serviço de reconfiguração dinâmica para o sistema de tempo real distribuído ARCOS - Architecture for Control and Supervision), uma plataforma baseada em componentes de tempo real para aplicações de controle e supervisão. O sistema de reconfiguração dinâmica proposto foi validado através de uma aplicação de controle veicular onde um controlador com defeito é substituído em tempo de execução por uma réplica. O impacto da reconfiguração, analisada a partir de métricas fim-a-fim de qualidade de controle, se mostrou adequado para a aplicação em questão.
Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)
No presente artigo mostramos que um detector perfeito de defeitos P (que suspeita todos os proces... more No presente artigo mostramos que um detector perfeito de defeitos P (que suspeita todos os processos que falharam se e somente os mesmos falharam) pode ser implementado num sistema mais fraco que o sistema distribuído síncrono (contrariando uma crença estabelecida). Nesse sentido, introduzimos o sistema síncrono particionado (Spa) que é estritamente mais fraco que o sistema síncrono (em Spa não é sempre possível implementar ações síncronas globais como sincronização interna de relógios). Através da propriedade que definimos como sincronia particionada forte, mostramos como implementar P em Spa. Melhor ainda, mostramos que mesmo que Sincronia Particionada Forte não possa ser garantida, podemos ainda assim tirar proveito das partições síncronas existentes para melhorar a robustez das aplicações de tolerância da falhas, através de um detector parcialmente perfeito, denominado por nós de xP. As propriedades e algoritmos necessários para implementar P e xP são introduzidos no artigo, ass...
The concept of Causal Blocks is developed as a way of representing event ordering information is ... more The concept of Causal Blocks is developed as a way of representing event ordering information is a concise manner. A multicast protocol is then developed using Causal Blocks to provide total order message delivery in an asynchronous communication environment where interprocess communication delays can be potentially unbounded. The protocol offers a simple method for dealing with overlapping process groups and has low message space overhead (the protocol related information contained in a multicast message is small).
Resumo Comunicação em grupo tem sido largamente aceita como um meio efetivo de se construir aplic... more Resumo Comunicação em grupo tem sido largamente aceita como um meio efetivo de se construir aplicativos distribuídos confiáveis [5]. Sistemas de grupos tradicionais são baseados em processos estáticos [4, 5, 6, 7, 8]. Entretanto, processos estáticos não são a única forma de se estruturar tais aplicações. Atualmente, processos migrantes, que podem mudar de localização na rede durante a execução, têm sido propostos como uma forma de se projetar aplicações distribuídas. Analogamente às aplicações com processos estáticos, aplicações baseadas em processos migrantes também necessitam de formas confiáveis de cooperação entre os processos. Com o objetivo de suprir parte dessas necessidades, apresentamos neste artigo o conceito de grupos móveis. Assim como nos sistemas de grupo tradicionais, grupos móveis também oferecem garantias de entrega de mensagens e uma forma de sincronia virtual. No entanto, grupos móveis oferecem essas garantias apesar da mobilidade dos seus membros. Mais ainda, ele...