Data Systems · English · v1
The Price of Sorted State: Compaction, Amplification, and Value Separation
A budget-based analysis of sorted storage, deferred work, and the conditions under which value separation helps.
レビューを読む →AUTURNAL / RESEARCH LIBRARY / 2026.10知能から発見へ。
知能から発見へ。
根拠をたどる。
一次文献、数理モデル、検証可能な根拠を結ぶ170本の中国語・英語の研究レビュー。
170本のガイド526件の一次資料510点のイラストと図表
THE RESEARCH COLLECTION
研究を読む
Data Systems · English · v1
Query Plans under Uncertainty: Cardinality Error, Regret, and Robust Execution
Why estimation accuracy, execution regret, and legal adaptation boundaries must be evaluated together.
レビューを読む →
Data Systems · English · v1
After the Power Fails: Crash Consistency and the Meaning of Durable
An observer-based durability contract, explicit persistence dependencies, and a bounded crash-state analysis.
レビューを読む →
Data Systems · English · v1
When a Stream Is Complete: Event Time, Watermarks, and Revisable Results
A precise contract for temporal completeness, retained state, and updates that downstream consumers can interpret.
レビューを読む →
Data Systems · English · v1
Skew Is the Workload: Partitioning and Direction Choice in Graph Processing
Exact graph counterexamples reveal why partition balance, traversal direction, and pipeline costs must be studied together.
レビューを読む →
Languages & Software · English · v1
Types at the Boundary: Gradual Guarantees, Blame, and the Cost of Enforcement
A boundary-centered account of semantic promises and nonmonotonic migration cost.
レビューを読む →
Languages & Software · English · v1
One Message, Two Languages: Parser Differentials as a Security Boundary
Authorization and execution must agree about the same interpreted message.
レビューを読む →
Languages & Software · English · v1
Maintaining a Fixed Point: Datalog, Retractions, and Incremental State
Recursive support, multiplicity and logical completion define the correctness of incremental state.
レビューを読む →
Languages & Software · English · v1
Programs from Counterexamples: Synthesis, Specifications, and Oracle Limits
A synthesis result is only as strong as its grammar, semantics and verification oracle.
レビューを読む →
Languages & Software · English · v1
From Source to Artifact: Reproducible Builds and the Limits of Provenance
Build evidence is strongest when byte equality, process claims and release policy remain distinct.
レビューを読む →
Security & Cryptography · English · v1
Hiding the Address: Oblivious RAM, Leakage, and the Cost of Access Privacy
A leakage-first analysis of path traffic, trusted state, and the boundaries of oblivious storage.
レビューを読む →
Security & Cryptography · English · v1
Permission Has a Time: Relationship-Based Authorization and Consistent Revocation
A history-based account of permission changes, content fences, cached credentials, and protected actions.
レビューを読む →条件に一致する記事はありません。