Probabilistic programs; Expected runtimes; (Positive) almost sure termination; Complexity; Decidability;
机译:具有重要性的节能计算程序模型和运行时系统
机译:具有重要性的节能计算程序模型和运行时系统
机译:关于抽样凸程序中约束违规的预期概率
机译:计算恒定概率计划的预期运行时
机译:分析编程语言运行时的性能以及建立新的Python运行时
机译:数据中心规模的Blaze FPGA加速器部署的编程和运行时支持
机译:计算恒定概率计划的预期运行时
机译:计划20-6,计算核激励和过渡概率的计划Gamma射线强度计划