Skip to main content

ScourDiscover Docs

You are offline. Trying to reconnect...

Copied to clipboard

Unable to share or copy to clipboard

Back to article

arXiv19h19 hours ago

CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering (opens in new tab)

|

|

Feeds

cs.DB updates on arXiv.org export.arxiv.org

CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering19h19 hours ago

TabClean: Reusable LLM-Synthesized Programs for Tabular Data Cleaning19h19 hours ago

VADAOrchestra: Neurosymbolic Orchestration of Adaptive Reasoning Workflows19h19 hours ago

+24 more in the past week

cs.DB updates on arXiv.org rss.arxiv.org

CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering19h19 hours ago

TabClean: Reusable LLM-Synthesized Programs for Tabular Data Cleaning19h19 hours ago

On the Semantics of Generative SPARQL1d1 day ago

+47 more in the past week

cs.DC updates on arXiv.org rss.arxiv.org

Latency-Aware Service Placement using Neural Combinatorial Optimisers for Edge--Cloud Systems19h19 hours ago

Dynamic Load Balancing for Uncertainty Quantification with Applications in Bayesian Inversion19h19 hours ago

Interference-Aware Cross-Application Placement: A Multi-Objective Optimization Approach for Microservice Clusters19h19 hours ago

+13 more in the past day

linearizable's Scour Feed Today scour.ing

Running pgvector in production on Amazon Aurora PostgreSQL5h5 hours ago

Understanding the brain with AI-driven explanations and experiments7h7 hours ago

Parameterized Complexity of Power Network Design: Coordinating Cable Placement is Hard19h19 hours ago

+17 more in the past day

linearizable's Scour Feed This Week (scouring all feeds) scour.ing

Running pgvector in production on Amazon Aurora PostgreSQL5h5 hours ago

Understanding the brain with AI-driven explanations and experiments7h7 hours ago

Parameterized Complexity of Power Network Design: Coordinating Cable Placement is Hard19h19 hours ago

+17 more in the past day

Keyboard Shortcuts

Navigation

Next / previous post: j/k
Open post: oorEnter
Preview post: v

Post Actions

Love post: a
Like post: l
Dislike post: d
Undo reaction: u
Save / unsave: s

Recommendations

Add interest / feed: Enter
Not interested: x

Go to

Home: gh
Interests: gi
Feeds: gf
Likes: gl
History: gy
Changelog: gc
Settings: gs
Discover: gb
Search: /

Pagination

Next page: n
Previous page: p

General

Show this help: ?
Submit feedback: !
Close modal / unfocus: Esc

Press ? anytime to show this help

Discover About Docs Blog (opens in new tab)Changelog Roadmap (opens in new tab)