Program Repair; Formal Methods; Abstraction-Refinement; Concolic Execution; SMT-Solving;
机译:P4DB:可编程数据平面的即时调试
机译:具有快速脉冲LED的连续感应的便携式设备 - 第1部分:使用具有现场可编程门阵列的开源微控制器快速开展大数据流处理
机译:用于模数转换器线性测试的现场可编程门阵列中的实时计算方法
机译:随机预算分析修复
机译:ChucK音频编程语言。 “定时性强的动态环境”。
机译:UCSFImage异步采集数据并实时分析剂量分段的cryoEM图像
机译:程序行为和静态缓存模拟的高效动态分析