نتائج البحث

Compiler Testing with Relaxed Memory Models

• Authors : Geeson, L; Smith, L

Subjects: D.1.3 Concurrent Programming; B.1.2.b Formal models; B.1.4.b Languages and compilers

• Source: In: 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). (pp. pp. 334-348). IEEE: Edinburgh, United Kingdom.

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

On-demand thread-level fault detection in a concurrent programming environment

• Authors : Fu, J.; Yang, Q.; Poss, R. ...

Subjects: 010302 applied physics; Triple modular redundancy; Computer science

• Source: 2013 International Conference on Embedded Computer Systems, Architectures, Modeling and Simulation: IC-SAMOS 2013: proceedings: July 15-18, 2013, Samos, Greece, 255-262

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

Slice-Balancing H.264 Video Encoding for Improved Scalability of Multicore Decoding

• Authors : Michael Roitzsch; Technische Universität Dresden; The Pennsylvania State University CiteSeerX Archives

Subjects: Categories and Subject Descriptors C.4 [Performance of Systems; D.1.3 [Programming Techniques; Concurrent Programming—Parallel program- ming General Terms Algorithms

• Source: http://os.inf.tu-dresden.de/papers_ps/roitzsch07-h264multicore.pdf.

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

AnTiQ : A Hardware-Accelerated Priority Queue Design with Constant Time Arbitrary Element Removal

• Authors : Nurmi, Antti; Lindgren, Per; Szymkowiak, Tom ...

Subjects: 113 Computer and information sciences

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

Engineering Grammar-Based Type Checking for Graph Rewriting Languages

• Authors : Naoki Yamamoto; Kazunori Ueda

Subjects: Dynamic data structures; graph grammars; graph rewriting

• Source: IEEE Access, Vol 10, Pp 114612-114628 (2022)

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

GoDetector: Detecting Concurrent Bug in Go

• Authors : Dongwen Zhang; Penghao Qi; Yang Zhang

Subjects: Concurrency bugs; channel; WaitGroup

• Source: IEEE Access, Vol 9, Pp 136302-136312 (2021)

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

Adaptive Model-based Scheduling in Software Transactional Memory

• Authors : Di Sanzo, Pierangelo; Pellegrini, Alessandro; Sannicandro, Marco ...

Subjects: Transactional Memory; Transaction Scheduling; Performance Model

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

Development of Open-Source, Edge Energy Management System for Tactical Power Networks

• Authors : Majida Kazmi; Muhammad Hassan ul Haq; Muhammad Areeb Fasih

• Source: 2022 IEEE/ACM International Conference on Big Data Computing, Applications and Technologies (BDCAT).

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

Design of network application protocols for distributed programming

• Authors : Ni, Lionel Ming-Shuan; Liu, Yew-Huey; Nanda, Arun

Subjects: Conference paper

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

A deterministic multi-way rendezvous library for haskell

• Authors : Satnam Singh; Stephen A. Edwards; Nalini Vasudevan

Subjects: Functional programming; Programming language; Computer science

• Source: IPDPS

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