„concurrent data structures“

Suchergebnisse

101 Treffer

• Discovering workflow nets of concurrent iterative processes
  Tapia-Flores, Tonatiuh ; López-Mellado, Ernesto
• Workfile Disk Management for Concurrent Mergesorts in a Multiprocessor Database System
  Wu, Kun-Lung ; Yu, Philip S. ; Chung, Jen-Yao ; Teng, James Z.
• Stress-constrained concurrent two-scale topology optimization of functionally graded cellular structures using level set-based trimmed quadrilateral meshes
  Ho-Nguyen-Tan, Thuan ; Kim, Hyun-Gyu
• Concurrent multipath quantum entanglement routing based on segment routing in quantum hybrid networks
  Zhang, Ling ; Liu, Qin
• Concurrent transformations of structures: from graphs to relational data structures
  Ehrig, Hartmut ; Habel, Annegret ; Rosen, Barry K. 1983 Techn. Univ., Fachbereich Informatik
• A formal semantics for concurrent systems with a priority relation
  Janicki, Ryszard
• Concurrent search and insertion in 2–3 trees
  Ellis, Carla Schlatter
• The ‘Hoare logic’ of concurrent programs
  Lamport, Leslie
• Concurrent algorithms for root searching
  Eriksen, Ole ; Staunstrup, Jørgen
• Formal semantics of a class of high-level primitives for coordinating concurrent processes
  Lauer, P. E. ; Campbell, R. H.
• Partial (set) 2-structures – Part II: state spaces of concurrent systems
  Ehrenfeucht, A. ; Rozenberg, G.
• Remarks on “some comments on concurrent readers and writers” by Reidar Conradi
  Silberschatz, Abraham ; Johnson, Brian
• Complexity of analyzing the synchronization structure of concurrent programs
  Taylor, Richard N.
• Towards action refinement for true concurrent real time
  Majster-Cederbaum, Mila ; Wu, Jinzhao
• Maximum concurrent flows and minimum cuts
  Cheng, C. K. ; Hu, T. C.
• Scalable Consistency in the Multi-core Era
  Akkoorath, Deepthi Devaki ; Poetzsch-Heffter, Arnd 2020 Technische Universität Kaiserslautern
• OptSmart: a space efficient Optimistic concurrent execution of Smart contracts
  Anjana, Parwat Singh ; Kumari, Sweta ; Peri, Sathya ; Rathor, Sachin ; Somani, Archit
• Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification
  Mouakher, Inès ; Dhaou, Fatma ; Attiogbé, J. Christian
• Concurrent blind channel equalization with phase transmittance RBF neural networks
  Loss, Diego Vier ; Castro, Maria Cristina Felippetto De ; Franco, Paulo Roberto Girardello ; Castro, Fernando César Comparsi de
• Frequency domain concurrent channel equalization for multicarrier systems
  D’Agostini, Fábio ; Júnior, Sirlesio Carboni ; Castro, Maria C. F. De ; Castro, Fernando C. C. De