Distributed programs; Fault-tolerance; Program synthesis; Symbolic algorithms; Program transformation; Formal methods;
机译:屏蔽容错分布式程序的符号综合
机译:基于分段线性逼近的线性规划优化技术自动合成固定结构QFT预滤波器
机译:约束空间中的自动偏置偏移,用于逻辑程序综合
机译:在大状态空间的分布式程序自动合成中利用符号技术
机译:概率逻辑编程中的符号推理技术
机译:两种指纹技术的比较末端限制性片段长度多态性和自动核糖体基因间隔分析用于确定水生环境中的细菌多样性
机译:利用分布式程序自动综合的象征性技术
机译:利用符号技术自动合成分布式程序