School of Electrical and Computer Engineering, National Technical University of Athens, Greece;
School of Electrical and Computer Engineering, National Technical University of Athens, Greece,Department of Information Technology, Uppsala University, Sweden;
机译:基于近似消息的异步NOMA的检测
机译:消息传递软件框架半自动综合的静态分析技术
机译:基于数据流分析的消息传递接口程序的静态跟踪算法
机译:使用静态分析检测异步消息传递错误
机译:异步消息传递程序的可达性分析和测试。
机译:比较3D和2D伽玛通过率标准对IMRT传递错误的检测灵敏度
机译:使用静态分析检测异步消息传递错误
机译:显式并行消息传递程序静态分析的程序流程图构造