Résultat(s) 1 - 15 résultats de 15 pour la requête '"Microprogrammation"', Temps de recherche: 0,06s Affiner les résultats
  1. 1
    P-Functions and boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms
    Sujets: “...Microprogrammation...”
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    STACS 88 : 5th annual symposium on theoretical aspects of computer science, Bordeaux, France, february 11-13, 1988 : roceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  3. 3
    STACS 89 : 6th Annual symposium on theoretical aspects of computer science, Paderborn, FRG, February 16-18, 1989 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  4. 4
    LUCAS associative array processor : design, programming, and application studies
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  5. 5
    Hardware specification, verification, and synthesis : mathematical aspects : Mathematical Sciences Institute workshop, Cornell University Ithaca, New York, USA, July 5-7, 1989 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  6. 6
    The complexity of simple computer architectures
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  7. 7
    Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  8. 8
    Fundamentals of computation theory : International Conference FCT '89 Szeged, Hungary, August 21 25, 1989 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  9. 9
    Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9 12, 2002 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  10. 10
    Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  11. 11
    Exploitation of fine-grain parallelism
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  12. 12
    Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands May 30 June 3, 1988
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  13. 13
    Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'e diteur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  14. 14
    Dependable computing - EDCC-1 : First European Dependable Computing Conference, Berlin, Germany, October 4 6, 1994 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
  15. 15
    Correct hardware design and verification methods : IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings
    Sujets: “...Microprogrammation...”
    Accès sur la plateforme de l'éditeur
    Accès sur la plateforme Istex
    Accès Université d'Orléans
    Accès INSA CVL
    Livre numérique

    Ajouter aux favoris
    Enregistré dans:
Outils de recherche: S'abonner aux flux RSS – Envoyer cette recherche par courriel – Enregistrer la recherche