検索結果 961 - 970 結果 / 1,223 検索語 '"Computer systems."', 処理時間: 0.02秒 結果の絞り込み
  1. 961

    Technologies for the development of agent-based distributed applications. 著者: Butte, Tobias

    論文

    Technologies for the development of agent-based distributed applications.
  2. 962

    Introduction to programming shared-memory and distributed-memory parallel computers. 著者: Quammen, Cory

    論文

    Introduction to programming shared-memory and distributed-memory parallel computers.
  3. 963

    Software verification and validation with destiny a parallel approach to automated theorem proving. 著者: Dykstra, Josiah

    論文

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  4. 964

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication. 著者: Fekete, Alan

    出版年 Journal of the ACM
    論文

    Implementing sequentially consistent shared objects using broadcast and point-to-point communication.
  5. 965

    Contention in shared memory algorithms. 著者: Dwork, Cynthia

    出版年 Journal of the ACM
    論文

    Contention in shared memory algorithms.
  6. 966

    Compositional refinement of interactive systems. 著者: Broy, Manfred

    出版年 Journal of the ACM
    論文

    Compositional refinement of interactive systems.
  7. 967

    How much can hardware help routing?. 著者: Borodin, Allan

    出版年 Journal of the ACM
    論文

    How much can hardware help routing?.
  8. 968

    SIGMOBILE FY'05 annual report July 2004--June 2005. 著者: Johnson, David B.

    論文

    SIGMOBILE FY'05 annual report July 2004--June 2005.
  9. 969

    Power aware routing using power control in Ad Hoc networks. 著者: Jung, Eun-Sun

    論文

    Power aware routing using power control in Ad Hoc networks.
  10. 970

    Weighted coloring based channel assignment for WLANs. 著者: Mishra, Arunesh

    論文

    Weighted coloring based channel assignment for WLANs.

検索ツール: