机译:为通用控制流程图指定和执行优化
Department of Computer and Information Science, University of Pennsylvania, Levine Hall, 3330 Walnut Street, Philadelphia, PA 19104-6309, United States;
Department of Computer Science, University of Illinois at Urbana-Champaign, Thomas M. Siebel Center, 201 N. Goodwin, Urbana, IL 61801-2302, United States;
Department of Computer Science, University of Illinois at Urbana-Champaign, Thomas M. Siebel Center, 201 N. Goodwin, Urbana, IL 61801-2302, United States;
School of Computing, University of Utah, 50 S. Central Campus Drive, Room 3190, Salt Lake City, UT 84112, United States;
Optimizing compilers; Program transformations; Temporal logic; SMT solvers;
机译:广义二面体群和广义四元数群在Cayley图中无处零的3流
机译:基于efsm的可执行数据流和控制流协议测试序列生成,使用
机译:从可再生能源到广义三相微电网系统的高效控制策略:一种具有鲸鱼优化算法方法的混合鼠鼠搜索算法
机译:在基于SPM的多核体系结构上执行同步数据流图
机译:利用广义模式搜索粒子群算法对低收入人群的节能住宅进行优化
机译:分数血流储备与血管造影在指导管理以优化非ST段抬高型心肌梗死(FAMOUS-NSTEMI)中的结果:一项随机对照临床试验的原理和设计
机译:分布合并处理器(Dmp):基于频繁执行的路径动态预测执行复杂的控制流图