Gösterilen 11 - 20 sonuçlar arası kayıtlar. 26 sonuç. Aranan kelime '"Processor architectures."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 11

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

    Makale

    Software verification and validation with destiny a parallel approach to automated theorem proving.
  2. 12

    Contention in shared memory algorithms. Yazar: Dwork, Cynthia

    Yayımlandı Journal of the ACM
    Makale

    Contention in shared memory algorithms.
  3. 13

    Compositional refinement of interactive systems. Yazar: Broy, Manfred

    Yayımlandı Journal of the ACM
    Makale

    Compositional refinement of interactive systems.
  4. 14

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

    Makale

    SIGMOBILE FY'05 annual report July 2004--June 2005.
  5. 15

    Extracting places from traces of locations. Yazar: Hee Kang, Jong

    Makale

    Extracting places from traces of locations.
  6. 16

    The holes problem in wireless sensor networks a survey. Yazar: Ahmed, Nadeem

    Makale

    The holes problem in wireless sensor networks a survey.
  7. 17

    Mobi_Causal a protocol for causal message ordering in mobile computing systems. Yazar: Benzaid, Chafika

    Makale

    Mobi_Causal a protocol for causal message ordering in mobile computing systems.
  8. 18

    The advanced mobile application testing environment. Yazar: Binder, Robert V.

    Makale

    The advanced mobile application testing environment.
  9. 19

    A single mediaprocessor-based programmable ultrasound system. Yazar: Sikdar, S.

    Makale

    A single mediaprocessor-based programmable ultrasound system.
  10. 20

    Execution cache-based microarchitecture for power-efficient superscalar processors. Yazar: Talpes, E.

    Makale

    Execution cache-based microarchitecture for power-efficient superscalar processors.

Arama Araçları: