Results 91 to 100 of about 593,784 (199)

Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation

open access: yes
The verification of linearizability -- a key correctness criterion for concurrent objects -- is based on trace refinement whose checking is PSPACE-complete. This paper suggests to use \emph{branching} bisimulation instead.
Katoen, Joost-Pieter   +2 more
core  

Breaking Lock-ins to Enable a Green Pharmacy. [PDF]

open access: yesEnviron Sci Technol
Shalin A, Diamond ML, Wang Z.
europepmc   +1 more source

A rapid test for protein-DNA interactions. [PDF]

open access: yesNucleic Acids Res
Toft CJ   +3 more
europepmc   +1 more source

Visualizing intraorganellar ultrastructures, dynamics, and interactions with open-access background-free Lock-in-SIM. [PDF]

open access: yesNat Commun
Liu W   +17 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy