机译:从网络接口到多线程Web应用程序
modular program verification; proof assistants; thread libraries; Internet servers; domain-specific languages;
机译:从网络接口到多线程Web应用程序
机译:从网络接口到多线程Web应用程序
机译:研究无线传感器网络中并行数据包分类的多线程应用程序编程接口的效率
机译:应用基于Web的网络协议和软件体系结构为工业人机界面应用程序提供适应性,个性化和远程处理功能
机译:CDP:Cyclops-64多线程体系结构上网络通信协议的多线程实现。
机译:定向有序网络中的主题分析及其在食品网中的应用
机译:从网络接口到多线程Web应用程序:模块化程序验证的案例研究