Mostrar 1 - 2 resultats de 2 per cerca '"Multiple Data Stream Architectures (Multiprocessors)."', hora de la petició: 0.02sec Refinar resultats
  1. 1

    Compositional refinement of interactive systems. per Broy, Manfred

    Publicat a Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  2. 2

    Locking effects in multiprocessor implementations of protocols. per Björkman, Mats

    Article

    Locking effects in multiprocessor implementations of protocols.

Eines de cerca: