Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  83 نتائج ل ""HARDWARE""

فلترة النتائج

Collection : Ist Austria Research Explorer (Institute Of Science And Technology)
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Binary decision diagrams on modern hardware

Subjects: ddc:000

  • Source: Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design . TU Vienna

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Binary decision diagrams on modern hardware

Subjects: ddc:000

  • Source: Pastva S, Henzinger TA. Binary decision diagrams on modern hardware. In: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design . TU Vienna

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components

Subjects: ddc:000

  • Source: Lampert C, Peters J. Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing .

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Long-lived counters with polylogarithmic amortized step complexity

Subjects: Computational Theory and Mathematics; Computer Networks and Communications; Hardware and Architecture

  • Source: Baig MA, Hendler D, Milani A, Travers C. Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing . 2023;36:29-43. doi: 10.1007/s00446-022-00439-5

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Long-lived counters with polylogarithmic amortized step complexity

Subjects: Computational Theory and Mathematics; Computer Networks and Communications; Hardware and Architecture

  • Source: Baig MA, Hendler D, Milani A, Travers C. Long-lived counters with polylogarithmic amortized step complexity. Distributed Computing . 2023;36:29-43. doi: 10.1007/s00446-022-00439-5

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Exploiting spontaneous transmissions for broadcasting and leader election in radio networks

Subjects: Artificial Intelligence; Hardware and Architecture; Information Systems

  • Source: Czumaj A, Davies P. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM . 2021;68(2). doi: 10.1145/3446383

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Input-dynamic distributed algorithms for communication networks

Subjects: Computer Networks and Communications; Hardware and Architecture; Safety

  • Source: Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems .

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Exploiting spontaneous transmissions for broadcasting and leader election in radio networks

Subjects: Artificial Intelligence; Hardware and Architecture; Information Systems

  • Source: Czumaj A, Davies P. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. Journal of the ACM . 2021;68(2). doi: 10.1145/3446383

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Input-dynamic distributed algorithms for communication networks

Subjects: Computer Networks and Communications; Hardware and Architecture; Safety

  • Source: Foerster K-T, Korhonen J, Paz A, Rybicki J, Schmid S. Input-dynamic distributed algorithms for communication networks. Proceedings of the ACM on Measurement and Analysis of Computing Systems .

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Certifying phase abstraction ; LNCS

Subjects: ddc:000

  • Source: Froleyks N, Yu E, Biere A, Heljanko K. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  83 نتائج ل ""HARDWARE""