在快速解决计算量大、数据密集型问题时,人们越采越认识到并行处理是惟一节省成本的方法。价格低廉的并行计算机(如商用桌面多处理机和工作站机群)的出现,使得这种并行方法的适用范围越来越广。现在已经为可移植的并行程序设计制定了专门的软件标准,为并行软件的大幅度发展打好了基础。事务处理、信息检索、数据挖掘和分析以及多媒体服务等数据密集型应用已经为当代的并行平台提供了新的挑战。计算生物学和纳米技术等新兴的领域对并行计算的算法和系统开发提供了前瞻性的启示,而体系结构,编程模型和应用中的变化对如何使用户以网格服务形式得到并行平台也提供了一些启发。本书讨论了这些新技术的发展,也覆盖了并行计算机处理的较传统的问题。本书尽可能采用与体系结构无关的观点来对待抽象模型的底层平台和设计算法。书中选择MPI(Mess
在快速解决计算量大、数据密集型问题时,人们越采越认识到并行处理是惟一节省成本的方法。价格低廉的并行计算机(如商用桌面多处理机和工作站机群)的出现,使得这种并行方法的适用范围越来越广。现在已经为可移植的并行程序设计制定了专门的软件标准,为并行软件的大幅度发展打好了基础。事务处理、信息检索、数据挖掘和分析以及多媒体服务等数据密集型应用已经为当代的并行平台提供了新的挑战。计算生物学和纳米技术等新兴的领域对并行计算的算法和系统开发提供了前瞻性的启示,而体系结构,编程模型和应用中的变化对如何使用户以网格服务形式得到并行平台也提供了一些启发。本书讨论了这些新技术的发展,也覆盖了并行计算机处理的较传统的问题。本书尽可能采用与体系结构无关的观点来对待抽象模型的底层平台和设计算法。书中选择MPI(Mess
"This book constitutes the refereed proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001.The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a total of 125 submissions. The papers are organized in sections on symbolic verification, infinite state systems - deduction and abstraction, application of model checking techniques, timed and probabilistic systems, hardware - design and verification, software verification, testing - techniques and tools, implementation techniques, semantics and compositional verification, logics and model checking, and ETAPS tool demonstration."
如果说,本书是关于技术和系统开发工作管理的重要的著作,也许会有争议;但本书确实描述了如何使用貌似简单、实则精妙无比的Scrum过程快速地构建系统。通过本书,读者将会认识到一种新的系统开发方法,这种方法可以克服系统的复杂性与关于复杂的定义的模糊性,突然冒出的需求以及不稳定的技术,对不断、快速开发高质量的软件所带来的影响。本书对你有何用处?·让你了解如何立即开始进行增量软件开发,而不论你目前采用什么样的软件;·让你了解如何简化敏捷过程的实现;·让你了解如何通过Scrum包装简化XP的实现;·让你了解敏捷过程的工作原理以及如何管理敏捷过程;·让你理解敏捷过程的理论基础。
本书特点:1、通过上百张图片对不同的DSP算法进行解释。2、每章后的习题将技术与现实紧密结合起来。3、适用面广,可作为《VLSI数字信号处理体系结构》或《高性能VLSI系统设计》等课程的教材。4、提供有无线、有线、多媒体通信多个领域内的技术与经验。