会员服务
Properties with Holes: Meta-Property-Based Testing of Data-Intensive Computing Frameworks
Arxiv
0+阅读 · 10月20日
When Is a Reconciliation Break Real? A Temporal Correctness Contract for Streaming Financial Reconciliation
Arxiv
0+阅读 · 10月10日
A Theoretical Study of DBLog: Certified Virtual Cuts for a Snapshot-Equivalent Replay of Live Databases
Arxiv
0+阅读 · 9月9日
Generalized DBLog: A Verified Contract for Interleaving Copied Rows with a Change Log
Arxiv
0+阅读 · 10月5日
Generalized DBLog: A Verified Contract for Interleaving Copied Rows with a Change Log
Arxiv
0+阅读 · 9月14日
Generalized DBLog: A Verified Contract for Interleaving Copied Rows with a Change Log
Arxiv
0+阅读 · 9月21日
Generalized DBLog: A Verified Contract for Interleaving Database Rows with a Change Log
Arxiv
0+阅读 · 9月8日
A Theoretical Study of DBLog: Certified Virtual Cuts for a Snapshot-Equivalent Replay of Live Databases
Arxiv
0+阅读 · 8月8日
Discovery Agents for Real-Time Analytics: Toward Proactive Insight Systems
Arxiv
0+阅读 · 5月26日
Toward Temporal Attribution Analytics in Dataflows
Arxiv
0+阅读 · 6月12日
Toward Temporal Attribution Analytics in Dataflows
Arxiv
0+阅读 · 5月14日
A Theoretical Study of DBLog: Certified Virtual Cuts for a Snapshot-Equivalent Replay of Live Databases
Arxiv
0+阅读 · 5月29日
A Theoretical Study of DBLog: Certified Virtual Cuts for a Snapshot-Equivalent Replay of Live Databases
Arxiv
0+阅读 · 6月12日
StreamShield: A Production-Proven Resiliency Solution for Apache Flink at ByteDance
Arxiv
0+阅读 · 2月3日
Does Provenance Interact?
Arxiv
0+阅读 · 1月8日
参考链接
微信扫码咨询专知VIP会员
Top