机译:现代处理器的软件静态能量建模
Department of Computer Science, Haifa University;
Department of Computer Science, Haifa University;
B.9.2 energy-aware systems; C.4.g Measurement; Evaluation; Modeling; Simulation of multiple-processor systems;
机译:自动验证软件过程模型上的静态策略
机译:用对象建模的软件过程:静态视图
机译:用于能量驱动的热机械成型过程建模的准静态与动态显式方案
机译:BRIDGE:现代软件开发流程模型,可解决当前的软件危机
机译:从不确定性到错误:使用静态分析,统计方法和概率图形模型推断软件系统中的缺陷。
机译:使用八个高斯过程软件包将高斯过程模型拟合到各种数据集的数据
机译:BRIDGE:现代软件开发过程的模型 目前的软件危机
机译:软件开发过程中并行处理系统的静态任务分配。