Rensselaer Polytechnic Institute;
机译:通过静态分析实现嵌入式系统中的轻量级泛型
机译:相互作用下共振水平模型在有限偏差下的重归一化组分析:静态特性和淬灭动力学的一般分析研究
机译:带有程序的并发程序静态分析的通用方法
机译:具有Haskell中高级域描述的概念的C ++通用库:用于计算漏洞的域特定库
机译:用于严格分析C ++通用库组件的集成工具和方法。
机译:SeqAn一个高效的通用C ++库用于序列分析
机译:C ++中的通用库,具有来自Haskell的高级域描述的概念