论文部分内容阅读
在上一期的新潮软件快车中，大家领略了WMP7（Windows Media Player 7）外观插件的魅力。但WMP7毕竟不是一幅画，而是一个播放器软件，所以今天我们还是来看看它的实际功能如何。
苹果熟了！——Windows Media Player 7
【摘 要】
：
在上一期的新潮软件快车中，大家领略了WMP7（Windows Media Player 7）外观插件的魅力。但WMP7毕竟不是一幅画，而是一个播放器软件，所以今天我们还是来看看它的实际功能如何。
【出 处】
：
新潮电子
【发表日期】
：
2000年11期
其他文献
为刻画和验证无穷值域上的传值进程，Ｈｅｎｎｅｓｓｙ和Ｌｉｎ先后提出符号迁移图（ＳＴＧ）和带赋值符号迁移图（ＳＴＧＡ）作为传值进程的语义表示模型，并给出了相应的强互模拟算法．为将该方法推广至实际应用中更常用的弱互
可替换线逻辑综合（如ＰＡＭＢＯ）是近年来兴起的一种方法，它采用测试向量自动生成（ＡＴＰＧ）方法来实现冗余添加和删除．但是，频繁调用逻辑蕴涵过程使得整个逻辑综合的速度较慢．因此，如何减少ＡＴＰＧ过程的调用次
由于越来越多的技术用于缩小处理器与存储器之间的日益加大的速度差距，计算机的存储系统变得日趋复杂．现在，任何一个程序设计者，尤其是数值计算程序的设计者，若不考虑其所用计算平