Results 131 to 140 of about 14,769 (187)
GlobalMamba: Global Image Serialization for Vision Mamba [PDF]
Chengkun Wang +3 more
openalex +1 more source
JSON-LD 1.1 – A JSON-based Serialization for Linked Data
, 2019 G. Kellogg +2 more
openalex +1 more source
Streaming Technologies and Serialization Protocols: Empirical Performance Analysis
Samuel Jackson +2 more
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Sequential verification of serializability
ACM SIGPLAN Notices, 2010Serializability 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 +3 more sources
Static serializability analysis for causal consistency
ACM SIGPLAN Notices, 2018Many distributed databases provide only weak consistency guarantees to reduce synchronization overhead and remain available under network partitions. However, this leads to behaviors not possible under stronger guarantees. Such behaviors can easily defy programmer intuition and lead to errors that are notoriously hard to detect. In this paper,
Martin Vechev +3 more
openaire +4 more sources
On serializability of iterated transactions
Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '82, 1982In the literature on serializability (see [1]), a transaction is considered to be a finite sequence of operations. As a step towards the handling of more complex evolutions of processes, we assume in this paper that the sequence of operations performed by a transaction may be infinitely often repeated as for instance, might behave a pre-existing ...
G. Roucairol, M. P. Fle
openaire +3 more sources
Divergence control for epsilon-serializability
[1992] Eighth International Conference on Data Engineering, 2003The authors present divergence control methods for epsilon-serializability (ESR) in centralized databases. ESR alleviates the strictness of serializability (SR) in transaction processing by allowing for limited inconsistency. The bounded inconsistency is automatically maintained by divergence control (DC) methods in a way similar to the manner in which
Philip S. Yu, Calton Pu, Kun-Lung Wu
openaire +3 more sources
Update serializability in locking
International Conference on Database Theory, 1986There are many concurrency control algorithms that use weak consistency of read-only transactions to enhance concurrency in database systems[3,8,18]. We identify these schedules (which become serializable when the weakly consistent read-only transactions are deleted from them) as update serializable schedules.
Lalit M. Patnaik, Ramesh C. Hansdah
openaire +3 more sources