Cost Accounting for Reactive Computational Graphs: Exhaustive Sweeps, Sequential Mutation, and the Backward-Locality Gap
यह शोध पत्र रिएक्टिव कम्प्यूटेशनल ग्राफ्स पर व्यापक हस्तक्षेपों के लिए एक कठोर लागत लेखांकन ढांचा प्रदान करता है, जो एक्टिवेशन-पैचिंग स्वीप्स की स्पीडअप सीमाओं, अनुक्रमिक बनाम बैच म्यूटेशन की सटीक ओवरकाउंट लागत, और बैकवर्ड-पास लोकैलिटी के एकता में पतन को सटीक क्लोज्ड-फॉर्म एक्सप्रेशंस के माध्यम से व्युत्पन्न करता है, जो कि न्यूरोडीएसएल (NeuroDSL) इंजन में कार्यान्वयन के माध्यम से मान्य है।