机译:向静态类型的语言编译器添加动态类型的语言支持:性能评估,分析和权衡
机译:考虑静态和大信号动态约束的DCMG网格形成转换器的虚拟电阻折衷设计
机译:岩体基础静态和地震承载力评价的数值分析
机译:评估Java数字静态分析中的设计权衡
机译:使用静态分析来识别和注释Java源代码中的并发设计模式。
机译:静态和动态压缩载荷下强各向异性轻金属纤维结构力学行为的实验和数值评估
机译:用于静态分析Java中对象调用上限的工具的正式设计
机译:设计/成本贸易研究附录a.支持分析和tradeofFs书2