Navegação por Autor "Jansch, Ingrid Eleonora Schreiber"

Resultados 1-4 de 4

    • Conception de controleurs autotestables pour des hypotheses de pannes analytiques 

      Jansch, Ingrid Eleonora Schreiber (1985) [Tese]
      Dans cette étude nous nous intéressons aux contrôleurs utilisés dans des systèmes autotestables, pour le test des sorties, combinatoires ou séquentielles, du bloc fonctionnel. Deux classes de contrôleurs sont abordées: les ...

    • 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 ...

    • Geração de elipses em processadores de exibição gráfica 

      Jansch, Ingrid Eleonora Schreiber (1982) [Dissertação]
      Este trabalho trata da geração de elipses a nível de primitivas, em dispositivos de exibição gráfica. O desenvolvimento foi embasado em uma descrição inicial das características de "hardware" dos sistemas gráficos em geral. ...