Showing 961 - 970 results of 1,223 for search '"Computer systems."', 查詢時間: 0.04s Refine Results
  1. 961

    Technologies for the development of agent-based distributed applications. 由 Butte, Tobias

    Article

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

    Introduction to programming shared-memory and distributed-memory parallel computers. 由 Quammen, Cory

    Article

    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

    Article

    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
    Article

    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
    Article

    Contention in shared memory algorithms.
  6. 966

    Compositional refinement of interactive systems. 由 Broy, Manfred

    發表在 Journal of the ACM
    Article

    Compositional refinement of interactive systems.
  7. 967

    How much can hardware help routing?. 由 Borodin, Allan

    發表在 Journal of the ACM
    Article

    How much can hardware help routing?.
  8. 968

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

    Article

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

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

    Article

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

    Weighted coloring based channel assignment for WLANs. 由 Mishra, Arunesh

    Article

    Weighted coloring based channel assignment for WLANs.

檢索工具: