机译:Linda中由绑定类型指导的通信:演示和形式模型
Lab. of Ind. & Human Mech. & Autom. Control, Univ. of Valenciennes & Hainaut-Cambresis, France;
shared memory systems; parallel programming; bound types; formal model; asynchronous parallelism; distributed shared memory; Linda model; directed communication; false matching; parallel programming model; distributed programming model; tuples;
机译:[海报介绍]无线通信中的TLS类型直接SIMO-OFDM信道均衡
机译:[海报介绍]无线通信中的TLS类型直接SIMO-OFDM信道均衡
机译:[海报介绍]无线通信中的TLS类型直接SIMO-OFDM信道均衡
机译:类型理论中语义数据模型的形式表示
机译:类型和流导向的编译,用于专用数据表示。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:基于模型的形式规范定向测试抽象数据类型