...
机译:代码属性的正式描述:可确定性,复杂性,实现
Automata; Codes; Complexity; Decidability; Descriptions; Implementation; Languages; Maximality; Properties; Transducers;
机译:代码属性的正式描述:可确定性,复杂性,实现
机译:编码Blum静态复杂度空间中的描述性复杂度
机译:定语元语法在替代设计的形式结构语言描述和可扩展电信网络的布局编程中的特殊情况第2部分。定语语法的形式属性
机译:使用BIP对遗留代码进行建模:如何缩小形式描述与实时实施之间的差距
机译:用于MIMO通信系统的低功耗,高能效,准ML固定复杂度球形解码器的VLSI实现。
机译:通过当前程序术语代码的文本描述量化手术复杂性
机译:一个自动机,用于确定给定的一组单词是否是代码。 (代数半群,形式语言和计算)
机译:利用伪码的形式化验证建立算法代码实现的高可信度