Results 121 to 130 of about 4,695 (158)

Boosting Transactional Memory with Stricter Serializability

open access: green, 2018
Pierre Sutra   +3 more
openalex   +2 more sources

GlobalMamba: Global Image Serialization for Vision Mamba [PDF]

open access: green
Chengkun Wang   +3 more
openalex   +1 more source

Serialized Output Training by Learned Dominance [PDF]

open access: green
Ying Shi   +4 more
openalex   +1 more source

On serializability

Performance Evaluation, 1985
Concurrent execution of database transactions is desirable from the point of view of speed, but may introduce inconsistencies. A commonly used criterion of correctness of a concurrent execution of transactions is serializability, i.e., the equivalence of the execution to some serial schedule or schedules.
Brzozowski, J. A., Muro, S.
openaire   +1 more source

Sequential verification of serializability

ACM SIGPLAN Notices, 2010
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verified by considering only its sequential executions. In many cases, concurrent modules guarantee serializability by using standard locking protocols, such as tree locking or two ...
Noam Rinetzky   +2 more
openaire   +2 more sources

Home - About - Disclaimer - Privacy