Navegação Ciências Exatas e da Terra por Autor "Jansch, Ingrid Eleonora Schreiber"

Resultados 1-2 de 2

    • Definition and design of strongly language disjoint checkers 

      Jansch, Ingrid Eleonora Schreiber; Courtois, Bernard (1988) [Artigo de periódico]
      This paper defines strongly language disjoint (SLD) checkers. SLD checkers are to sequential systems what strongly code disjoint checkers are to combinational systems. SLD checkers are the largest class of checkers with ...

    • Efficient and robust adaptive consensus services based on oracles 

      Sampaio, Lívia; Brasileiro, Francisco Vilar; Nunes, Raul Ceretta; Jansch, Ingrid Eleonora Schreiber (2005) [Artigo de periódico]
      Due to their fundamental role in the design of faulttolerant distributed systems, consensus protocols have been widely studied. Most of the research in this area has focused on providing ways for circumventing the impossibility ...