机译:结构化共享内存通信的可组合规范
annotation; bug detection; concurrency; shared memory; software reliability; specification;
机译:结构化共享内存通信的可组合规范
机译:使用Nemesis通信子系统在MPICH2中实现和评估共享内存通信和同步操作
机译:ITRON-MP:用于共享内存多处理器系统的自适应实时内核规范
机译:结构化共享内存通信的可组合规范
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:肿瘤细胞与微环境的交流之声–由萨尔茨堡癌症研究中心的癌症网络
机译:使用通信编写规格。