机译:通过基于语义的调度策略提高实时数据库系统的服务质量
机译:基于语义的作业商店调度调度规则选择方法
机译:应用风车调度和编译器配置文件进行功耗感知的实时调度
机译:基于语义的编译器转换以增强功能可调度性
机译:正式基于SSA的编译器进行经过验证的高级程序转换
机译:通过电子编译的给药历史评估药物依从性的研究中对依从性增强干预措施的鉴定和评估:系统文献综述和荟萃分析
机译:原子事务验证的工程方法:使用简单的对象模型在编译时实现基于语义的推理
机译:原子事务验证的工程方法:使用简单的Object211模型在编译时实现基于语义的推理