论文部分内容阅读
2004年全国开放式分布与并行计算学术会议
【出 处】
：
软件学报
【发表日期】
：
2004年7期
其他文献
VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针
将流量工程技术应用于网络规划(网络改进)以构建满足业务流量多QoS需求的高性能网络,这是传统网络改进通过设备扩容方法难以有效解决的NPC问题,并在此基础上提出基于流量工程
关于安全多方计算的研究是目前国际密码学界的研究热点.如果能够安全地计算任何函数,就掌握了一个很强大的工具,实际上任何一个密码协议都可以化归一个特殊的安全多方计算协
山东省威海市技工学校创建于１９５８年,至今已走过了４０多年的历程。４０多年来,在市委、市政府的正确领导下,学校坚持社会主义办学方向,全面贯彻党的教育方针,遵循职业教育办学规律,努力为
算法的复杂度平滑分析是对许多算法在实际应用中很有效但其最坏情况复杂度却很糟这一矛盾给出的更合理的解释.高性能计算机被广泛用于求解大规模线性系统及大规模矩阵的分解.
协同编辑系统支持不同地域的协作者通过网络同时地编辑同一个文本或图形对象,其研究具有挑战性.介绍了协同图形编辑中的多版本技术,重点讨论了对象标识及其策略,给出所存在的
在共享控制系统中,比如智能服务机器人,操作员和自动化专门系统相互配合,共同控制.有效的共享控制需要复杂的系统体系结构,该结构可以提供安全鲁棒的运行,提供对用户友好的界