机译:程序自动并行化系统的正式模型
Department of Mechanics and Mathematics, Moscow State University, Vorob'evy gory, Moscow, 119992 Russia;
机译:编程高性能并行计算:正式模型和图形处理单元
机译:数据并行程序的正式验证-一种用于简单语言的两成分式证明系统
机译:Fpga多处理器系统上并行程序的自动体系结构综合
机译:半正式模型支持计划开发:基于组件的自动管理并行和分布式编程
机译:不确定性下自动模型抽象的形式分析:在系统生物学中的应用。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:支持程序开发的半正式模型:基于组件的并行和分布式编程中的自主管理