程序理论_计算机基础理论_计算机类_最新资料_得益网

编译原理考点精要与解题指导

2008-06-16 17:36:49

本书针对课程内容的重点和难点，选取多年来各类教材以及各高校、科研院所考研试题中有代表性的题目进行了分析解答，力求从发现问题考点、理清解题思路、掌握基本方法等方面对学习者给予帮助。
　　本书以编译原理教学大纲为指导，针对考研的特点进行内容安排，全书共分8章，内容包括：编译程序概述、文法和语言的形式定义、词法分析与有穷自动机、自上而下语法分析、自下而上语法分析、语法制导翻译和中间代码生成、运行阶段的存储组织与分配和代码优化。每一章具体内容分为考点精要、例题解析、自测题与参考答案3部分。本书的特点是概念准确，文字简洁明了，解题思路完整，极便于考研者短时间内掌握解题要点，提高考试成绩。本书不仅可作为研究生入学考试的复习参考书，也可作为计算机专业本科生的学习辅导书，对于参加其他相关考试的人员来说，也有一定的参考价值。
目录
第1章　编译程序概述　

1.1　考点精要　
1.1.1　程序设计语言的分类　
1.1.2　翻译程序　
1.1.3　编译方式　
1.1.4　解释方式与解释程序　
1.1.5　编译程序的工作过程　
1.1.6　编译程序的逻辑结构　
1.1.7　编译程序的构造
1.2　例题解析　
1.3　自测题及参考答案　

第2章　文法和语言的形式定义　

2.1　考点精要　
2.1.1　上下文无关文法　
2.1.2　文法描述的语言　
2.1.3　文法的分类　
2.1.4　语法树与二义性　
2.1.5　短语、简单短语与句柄　
2.1.6　文法的实用限制和文法变换　
2.2　例题解析　
2.3　自测题及参考答案　

第3章　词法分析与有穷自动机　

3.1　考点精要　
3.1.1　词法分析程序的任务　
3.1.2　词法分析方法　
3.1.3　状态转换图　
3.1.4　正规表达式　
3.1.5　有穷自动机　
3.1.6　由正规表达式构造确定的有穷自动机　
3.1.7　正规文法G到有穷自动机A的转换　
3.1.8　有穷自动机FA A到正规文法G的转换　
3.1.9　由有穷自动机到正规表达式的转换　
3.1.10　由正规文法到正规表达式的转换
3.1.11　词法分析程序的设计方法　
3.2　例题解析　
3.3　自测题及参考答案　

第4章　自上而下语法分析　

4.1　考点精要　
4.1.1　自上而下语法分析　
4.1.2　自上而下语法分析方法遇到的问题　
4.1.3　递归子程序法　
4.1.4　预测分析法(LL(1)方法)　
4.2　例题解析　
4.3　自测题及参考答案　

第5章　自下而上语法分析　

5.1　考点精要　
5.1.1　自下而上语法分析　
5.1.2　简单优先分析法　
5.1.3　算符优先分析法　
5.1.4　优先函数　
5.1.5　LR分析法　
5.2　例题解析　
5.3　自测题及参考答案　

第6章　语法制导翻译和中间代码生成　

6.1　考点精要　
6.1.1　语义分析　
6.1.2　语法制导翻译　
6.1.3　属性文法　
6.1.4　常见中间代码形式　
6.2　例题解析　
6.3　自测题及参考答案　

第7章　运行阶段的存储组织与分配　

7.1　考点精要　
7.1.1　基本思想　
7.1.2　过程的活动与活动记录　
7.1.3　静态存储分配　
7.1.4　动态存储分配　
7.1.5　简单的栈式存储分配　
7.1.6　嵌套结构语言的栈式动态存储分配方案　
7.1.7　堆式存储分配　
7.1.8　参数的传递方式及其实现　
7.2　例题解析　
7.3　自测题及参考答案　

第8章　代码优化　

8.1　考点精要　
8.1.1　程序的优化　
8.1.2　代码优化的种类　
8.1.3　基???块内的优化　
8.1.4　循环优化　
8.2　例题解析　
8.3　自测题及参考答案　

参考文献

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generatio

2008-05-27 14:55:55

Product Description

Synopsis
The book "Parallel and Distributed Logic Programming" provides a clear introduction to parallel and distributed approach to logic programming. It examines the existing models of distributed logic programming, analyses the pros and cons of these models, and proposes an alternative framework for distributed logic programming using extended Petri nets. The hardwired realization of the Petri net based framework is presented in detail. Principles of mapping of a logic program on to the proposed framework are also outlined. Finally, the book attempts to explore the scope of Petri net models in designing deductive database machines of the next generation

Contents

1 An Introduction to Logic Programming.....................................................1
2 Parallel and Distributed Models for Logic Programming —A Review........................................................................................................57
3 The Petri NetModel— A New Approach ............................................. 107
4 Realization of a Parallel Architecture for the Petri Net Model ............. 177
5 Parsing and Task Assignment on to the Proposed
Parallel Architecture............................................................................... 211
6 Logic Programming in Database Applications ...................................... 229
Appendix A: Simulation of the Proposed Modular Architecture ................ 259
Appendix B: Open-ended Problems for Dissertation Works ....................... 271
Index..............................................................................................................285
About the Authors.........................................................................................289

Design.Patterns.Explained.A.New.Perspective.on.Object.Oriented.Design

2008-04-20 15:47:32

Leverage the quality and productivity benefits of patternswithout the complexity! Design Patterns Explained, Second Edition is the field's simplest, clearest, most practical introduction to patterns. Using dozens of updated Java examples, it shows programmers and architects exactly how to use patterns to design, develop, and deliver software far more effectively.

You'll start with a complete overview of the fundamental principles of patterns, and the role of object-oriented analysis and design in contemporary software development. Then, using easy-to-understand sample code, Alan Shalloway and James Trott illuminate dozens of today's most useful patterns: their underlying concepts, advantages, tradeoffs, implementation techniques, and pitfalls to avoid. Many patterns are accompanied by UML diagrams.

Building on their best-selling First Edition, Shalloway and Trott have thoroughly updated this book to reflect new software design trends, patterns, and implementation techniques. Reflecting extensive reader feedback, they have deepened and clarified coverage throughout, and reorganized content for even greater ease of understanding. New and revamped coverage in this edition includes

Better ways to start "thinking in patterns"

How design patterns can facilitate agile development using eXtreme Programming and other methods

How to use commonality and variability analysis to design application architectures

The key role of testing into a patterns-driven development process

How to use factories to instantiate and manage objects more effectively

The Object-Pool Patterna new pattern not identified by the "Gang of Four"

New study/practice questions at the end of every chapter

Gentle yet thorough, this book assumes no patterns experience whatsoever. It's the ideal "first book" on patterns, and a perfect complement to Gamma's classic Design Patterns. If you're a programmer or architect who wants the clearest possible understanding of design patternsor if you've struggled to make them work for youread this book.

Praise for Design Patterns Explained, Second Edition:
The Software Patterns Series
Titles in the series:
Preface
From Object Orientation to Patterns to True Object Orientation
From Artificial Intelligence to Patterns to True Object Orientation
A Note About Conventions Used in This Book
Feedback
New in the Second Edition
Acknowledgments
Part I. An Introduction to Object-Oriented Software Development
Chapter 1. The Object-Oriented Paradigm
Overview
Before the Object-Oriented Paradigm: Functional Decomposition
The Problem of Requirements
Dealing with Changes: Using Functional Decomposition
Dealing with Changing Requirements
The Object-Oriented Paradigm
Object-Oriented Programming in Action
Special Object Methods
Summary
Review Questions
Chapter 2. The UMLThe Unified Modeling Language
Overview
What Is the UML?
Why Use the UML?
The Class Diagram
Interaction Diagrams
Summary
Review Questions
Part II. The Limitations of Traditional Object-Oriented Design
Chapter 3. A Problem That Cries Out for Flexible Code
Overview
Extracting Information from a CAD/CAM System
Understand the Vocabulary
Describe the Problem
The Essential Challenges and Approaches
Summary
Review Questions
Chapter 4. A Standard Object-Oriented Solution
Overview
Solving with Special Cases
Summary
Review Questions
Part III. Design Patterns
Chapter 5. An Introduction to Design Patterns
Overview
Design Patterns Arose from Architecture and Anthropology
Moving from Architectural to Software Design Patterns
Why Study Design Patterns?
Other Advantages of Studying Design Patterns
Summary
Review Questions
Chapter 6. The Facade Pattern
Overview
Introducing the Facade Pattern
Learning the Facade Pattern
Field Notes: The Facade Pattern
Relating the Facade Pattern to the CAD/CAM Problem
Summary
Review Questions
Chapter 7. The Adapter Pattern
Overview
Introducing the Adapter Pattern
Learning the Adapter Pattern
Field Notes: The Adapter Pattern
Relating the Adapter Pattern to the CAD/CAM Problem
Summary
Review Questions
Chapter 8. Expanding Our Horizons
Overview
Objects: The Traditional View and the New View
Encapsulation: The Traditional View and the New View
Find What Is Varying and Encapsulate It
Commonality and Variability Analysis and Abstract Classes
The Qualities of Agile Coding
Summary
Review Questions
Chapter 9. The Strategy Pattern
Overview
An Approach to Handling New Requirements
The International E-Commerce System Case Study: Initial Requirements
Handling New Requirements
The Strategy Pattern
Field Notes: Using the Strategy Pattern
Summary
Review Questions
Chapter 10. The Bridge Pattern
Overview
Introducing the Bridge Pattern
Learning the Bridge Pattern: An Example
An Observation About Using Design Patterns
Learning the Bridge Pattern: Deriving It
The Bridge Pattern in Retrospect
Field Notes: Using the Bridge Pattern
Summary
Review Questions
Chapter 11. The Abstract Factory Pattern
Overview
Introducing the Abstract Factory Pattern
Learning the Abstract Factory Pattern: An Example
Learning the Abstract Factory Pattern: Implementing It
Field Notes: The Abstract Factory Pattern
Relating the Abstract Factory Pattern to the CAD/CAM Problem
Summary
Review Questions
Part IV. Putting It All Together: Thinking in Patterns
Chapter 12. How Do Experts Design?
Overview
Building by Adding Distinctions
Summary
Review Questions
Chapter 13. Solving the CAD/CAM Problem with Patterns
Overview
Review of the CAD/CAM Problem
Thinking in Patterns
Thinking in Patterns: Step 1
Thinking in Patterns: Step 2a
Thinking in Patterns: Step 2b
Thinking in Patterns: Step 2c
Thinking in Patterns: Steps 2a and 2b Repeated (Facade)
Thinking in Patterns: Steps 2a and 2b Repeated (Adapter)
Thinking in Patterns: Steps 2a and 2b Repeated (Abstract Factory)
Thinking in Patterns: Step 3
Comparison with the Previous Solution
Summary
Review Questions
Part V. Toward a New Paradigm of Design
Chapter 14. The Principles and Strategies of Design Patterns
Overview
The Open-Closed Principle
The Principle of Designing from Context
The Principle of Encapsulating Variation
Abstract Classes vs. Interfaces
The Principle of Healthy Skepticism
Summary
Review Questions
Chapter 15. Commonality and Variability Analysis
Overview
Commonality and Variability Analysis and Application Design
Solving the CAD/CAM Problem with CVA
Summary
Review Questions
Chapter 16. The Analysis Matrix
Overview
In the Real World: Variations
The International E-Commerce System Case Study: Handling Variation
Field Notes
Summary
Review Questions
Chapter 17. The Decorator Pattern
Overview
A Little More Detail
The Decorator Pattern
Applying the Decorator Pattern to the Case Study
Another Example: Input/Output
Field Notes: Using the Decorator Pattern
The Essence of the Decorator Pattern
Summary
Review Questions
Part VI. Other Values of Patterns
Chapter 18. The Observer Pattern
Overview
Categories of Patterns
More Requirements for the International E-Commerce Case Study
The Observer Pattern
Applying the Observer to the Case Study
Field Notes: Using the Observer Pattern
Summary
Review Questions
Chapter 19. The Template Method Pattern
Overview
More Requirements for the International E-Commerce Case Study
The Template Method Pattern
Applying the Template Method to the International E-Commerce Case Study
Using the Template Method Pattern to Reduce Redundancy
Field Notes: Using the Template Method Pattern
Summary
Review Questions
Part VII. Factories
Chapter 20. Lessons from Design Patterns: Factories
Overview
Factories
The Universal Context Revisited
Factories Follow Our Guidelines
Limiting the Vectors of Change
Another Way to Think About It
Different Roles of Factories
Field Notes
Summary
Review Questions
Chapter 21. The Singleton Pattern and the Double-Checked Locking Pattern
Overview
Introducing the Singleton Pattern
Applying the Singleton Pattern to the Case Study
A Variant: The Double-Checked Locking Pattern
Reflections
Field Notes: Using the Singleton and Double-Checked Locking Patterns
Summary
Review Questions
Chapter 22. The Object Pool Pattern
Overview
A Problem Requiring the Management of Objects
The Object Pool Pattern
Observation: Factories Can Do Much More Than Instantiation
Summary
Review Questions
Chapter 23. The Factory Method Pattern
Overview
More Requirements for the Case Study
The Factory Method Pattern
Factory Method Pattern and Object-Oriented Languages
Field Notes: Using the Factory Method Pattern
Summary
Review Questions
Chapter 24. Summary of Factories
Overview
Steps in the Software Process
Parallels in Factories and XP Practices
Scaling Systems
Part VIII. Endings and Beginnings
Chapter 25. Design Patterns Reviewed: A Summation and a Beginning
Overview
A Summary of Object-Oriented Principles
How Design Patterns Encapsulate Implementations
Commonality and Variability Analysis and Design Patterns
Decomposing a Problem Domain into Responsibilities
Patterns and Contextual Design
Relationships Within a Pattern
Design Patterns and Agile Coding Practices
Field Notes
Summary
Review Questions
Chapter 26. Bibliography
Design Patterns Explained: The Web Site Companion
Recommended Reading
Recommended Reading for Java Programmers
Recommended Reading for C++ Programmers
Recommended Reading for COBOL Programmers
Recommended Reading on eXtreme Programming
Recommended Reading on General Programming
Personal Favorites
Index

编码奥秘

2008-04-15 10:12:40

本书用大量的篇幅讲述了与计算机原理相关的条种编码方法，
并通过数字逻辑电路(包括逻辑与开关，逻辑门电路与触发器，
二进制加法器等)以及存储器、微处理器的形式、组织及发展阐述了编码的实现。
此外，本书还涉及到计算机系统、操作系统、编程语言等的产生及发展，
甚至对计算机图形化的相关技术也给了一个全面的描述。
阅读本书，相信您会从它图文并茂的编排组织，
通俗风趣的语言文字、简练丰富的背景知识中体会到作者超凡的智慧和深邃的学问。
本书定会带你去畅游计算机内部世界并和你共同去探索编码的奥秘。
本书适合各种技术背景的人阅读，并可作为高等院校计算机或非计算机专业的教材使用

目录

译者序

译者简介

第1章电筒密谈

第2章编码与组合

第3章布莱叶盲文与二元编码

第4章手电筒剖析

第5章绕过拐弯的通信

第6章发报机与转发器

第7章十进制记数法

第8章其他进位制记数法

第9章二进制数

第10章逻辑与开关

第11章逻辑门电路

第12章二进制加法机

第13章如何实现减法

第14章反馈与触发器

第15章字节与十六进制

第16章存储器组织

第17章自动操作

第18章从算盘到芯片

第19章两种典型的微处理器

第20章 ASCII 码与字符映射

第21章总线连接

第22章操作系统

第23章定点数和浮点数

第24章高级语言和低级语言

第25章图形化革命

国外计算机科学教材系列现代编译器的Java实现（第二版）

2008-04-01 23:59:55

【原书名】 Modern Compiler Implementation in Java,Second Edition
【原出版社】 Cambridge University Press
【作者】（美）Andrew W.Appel
【译者】陈明
【丛书名】国外计算机科学教材系列
【出版社】电子工业出版社【书号】 7121002701
【出版日期】 2004 年9月【开本】 16开【页码】 350 【版次】2-1

【内容简介】
本书是一本编译技术的教程，其特点是注重实现。从学习编译器的结构来掌握理论，并通过编程技术将编译理论融合于实践中。本书主要内容分为两部分，第一部分为编译基础（第1章至第12章），主要包括：词法分析、语法分析、抽象语法、语义分析、活动记录、翻译成中间代码、基本块和轨迹、指令选择、活性分析、寄存器分配、使之成为整体。第二部分为高级课题（第13章至第21章），主要包括：无用信息收集、面向对象语言、函数式编程语言、多态类型、数据流分析、循环优化、静态单赋值表、流水线和调度、分级存储器体系等。
本书可作为高等院校编译技术课程的教材、教师参考书以及编译技术研究人员的参考资料。

本书介绍了编译器的各个方面，包括词法分析，语法分析，抽象语法，语义行为，中间表示，通过树匹配选择指令，数据流分析，用色图法实现寄存器分配，运行时间系统。本书还讲述了通用的编译器实现技术，包括代码生成、寄存器分配以及大多数书籍未涉及的函数式编程语言和面向对象语言，并用实际的Java类详细说明了编译器各模块间的接口。本书的第一部分——编译器基础，适合作为第一学期编译器设计的入门课程。本书的第二部分ˉ一高级课题，包括面向对象语言和函数式语言的编译技术，无用信息收集，循环优化，静态单赋值表，指令调度以及高速缓冲存储器的分级优化，则适合作为第二学期的课程。本书第二版新增了关于Java和面向对象编程等概念，例如访问模型。本书的一大特色是利用Java子集重新实现了一个编译器项目。该项目包括前端和后端阶段，因此学生可以在一个学期内实现一个完整的编译器。

【作者介绍】
Andrew W.Appel
昔林斯顿大学计算机科学系教授，从事关于编译器、函数式编程语言、运行时间系统和无用信息收集、类型系统、计算机安全等方面的研究，并发表了多篇相关的论文；他还是“Compiling with Continuations”一书的作者，以及New Jersey项目ML标准的奠基者和设计者。由于“在编程语言和编译器领域的重大研究贡献”，以及他为ACM会刊“ACM Transactions on Programming Languages and Systems”所做的工作，1998年，Appel被选为ACM的会士。

【目录信息】
第一部分编译基础

第1章概述

1.1 模块及接口
1.1.1 阶段的描述
1.2 工具和软件
1.3 树型语言的数据结构
程序设计：直线程序解释器
习题

第2章词法分析

2.1 词法记号
2.2 正则表达式
2.3 有限自动机
2.3.1 识别最长的匹配
2.4 非确定有限自动机
2.4.1 正规文法转换为NFA
2.4.2 NFA转换为DFA
2.5 词法分析生成器
2.5.1 JAVACC
2.5.2 SableCC
程序设计：词法分析
进一步阅读
习题

第3章语法分析

3.1 上下文无关文法
3.1.1 推导
3.1.2 分析树
3.1.3 二义性文法
3.1.4 文件结束符
3.2 预测分析
3.2.1 FIRST和FOLLOW集
3.2.2 构造一个预测分析器
3.2.3 消除左递归
3.2.4 左因子
3.2.5 出错恢复
3.3 LR???析
3.3.1 LR分析器
3.3.2 LR(0)分析器生成器
3.3.3 SLR分析器生成器
3.3.4 LR(1)项目和LR(1)分析表
3.3.5 LALR(1)分析表
3.3.6 文法类型的层次结构
3.3.7 二义性文法的LR分析
3.4 使用分析器生成器
3.4.1 JAVACC
3.4.2 SableCC
3.4.3 算符优先分析法
3.4.4 语法和语义
3.5 出错恢复
3.5.1 用error符号恢复
3.5.2 全局出错修复
程序设计：实现分析器
进一步阅读
习题

第4章抽象语法

4.1 语义分析
4.1.1递归下降
4.1.2 自动生成分析器
4.2 抽象分析树
4.2.1位置
4.3 访问者
4.3.1 MiniJava的抽象语法
程序设计：抽象语法
进一步阅读
习题

第5章语义分析

5.1 符号表
5.1.1 多重符号表
5.1.2 高效率的命令符号表
5.1.3 高效率的功能符号表
5.1.4 符号
5.2 MiniJava的类型检查
5.2.1 错误处理
程序设计：类型检查
习题

第6章活动纪录

6.1 堆栈帧
6.1.1 帧指针
6.1.2 寄存器
6.1.3 参数传递
6.1.4 返回地址
6.1.5 常驻帧变量
6.1.6 静态连接
6.2 MiniJava语言编译器中的帧
6.2.1 帧的表示
6.2.2 局部变量
6.2.3 临时(局部)变量和标号
6.2.4 静态连接的管理
程序设计：帧
进一步阅读
习题

第7章翻译成中间代码

7.1 中间树
7.2 树的翻译
7.2.1 表达式的类型
7.2.2 简单变量
7.2.3 数组变量
7.2.4 结构化的L-值
7.2.5 下标和域选择
7.2.6 关于安全性
7.2.7 算术运算
7.2.8 条件
7.2.9 字符串
7.2.10 记录和数组的创建
7.2.11 while循环
7.2.12 for循环
7.2.13 函数调用
7.2.14 静态连接
7.3 声明
7.3.1 变量定义
7.3.2 函数定义
7.3.3 段
7.3.4 类和对象
程序设计：翻译为树
习题

第8章基本块和轨迹

8.1 规范树
8.1.1 ESEO的翻译
8.1.2 常用重写规则
8.1.3 将CALL移至顶部
8.1.4 语句的线性表
8.2 时间条件分支
8.2.1 基本块
8.2.2 轨迹
8.2.3 完成
8.2.4 最佳轨迹
进一步阅读
习题

第9章指令选择

9.1指令选择的算法
9.1.1 maximal munch算法
9.1.2 动态编程
9.1.3 树的文法规则
9.1.4 快速匹配
9.1.5表示算法的效率
9.2 CISC机
9.3 MiniJava编译器中的指令选择
9.3.1 抽象的汇编语言指令
9.3.2 生成汇编指令
9.3.3 过程调用
9.3.4 如果不存在帧指针
程序设计：指令选择
进一步阅读
习题

第10章活性分析

10.1 数据流的解
10.1.1 活性的计算
10.1.2 集合的表示
10.1.3 时间复杂度
10.1.4 最少的确定点
10.1.5 静态与动态活性
10.1.6 干扰图
10.2 MiniJava编译器中的活性分析
10.2.1 图
10.2.2 控制流图
10.2.3 活性分析
程序设计：构造流图
程序设计：活性
习题

第11章寄存器分配

11.1 简化着色
11.1.1 举例
11.2结合
11.2.1 溢出
11.3 预着色节点
11.3.1 机器寄存器临时变量的复制
11.3.2 调用保存寄存器和被调用保存寄存器
11.3.3 预着色节点的例子
11.4 图着色实现
11.4.1 数据结构
11.4.2 不变量
11.4.3 程序代码
11.5 树的寄存器分配
程序设计：图着色
进一步阅读
习题

第12章使之成为整体

程序设计进入/退出过程
程序设计：使程序运行
第二部分高级课题

第13章无用信息收集

13.1 标记一清除收集机制
13.2 引用计数
13.3 复制收集
13.4 世代收集
13.5 增量收集
13.6 Baker算法
13.7 编译器接口
13.7.1 快速分配
13.7.2 数据分布描述
13.7.3 派生指针
程序设计：描述符
程序设计：无用信息收集
进一步阅读
习题

第14章面向对象语言

14.1 类扩展
14.2 数据字段的单继承
14.2.1 方法
14.3 多继承
14.4 类成员测试
14.5 私有字段成员和方法
14.6 无类语言
14.7 优化面向对象程序
程序设计：带类扩展的MiniJava
进一步阅读
习题

第15章函数式编程语言

15.1 一种简单的函数式语言
15.2 闭包
15.2.1 堆分配激活记录
15.3 恒变量
15.3.1 基于连续的I/O
15.3.2 语言变换
15.3.3 纯函数式语言的优化
15.4 内部扩展
15.5 闭包转换
15.6 有效尾部递归
15.7 惰性评估
15.7.1 按名调用评估
15.7.2 按需调用
15.7.3 一个惰性程序的计算
15.7.4 推高不变量
15.7.5 惰性函数式程序的优化
15.7.6 严格性分析
进一步阅读
程序设计：编译函数式语言
习题

第16章多态类型

16.1 参数多态
16.2 多态类型检查
16.3 多态程序的翻译
16.3.1 指针、整型和包装
16.4 静态重载的解决方法
进一步阅读
习题

第17章数据流分析

17.1 流分析的中间表示
17.1.1 四元组
17.2 多种的数据流分析
17.2.1 到达定义
17.2.2 可用表达式
17.2.3 到达表达式
17.2.4 活性分析
17.3 使用数据流分析的变换
17.3.1 公用子表达式消除
17.3.2 常量传播
17.3.3 复制传播
17.3.4 死代码消除
17.4 加快数据流分析
17.4.1 位向量
17.4.2 基本块
17.4.3 节点排序
17.4.4 use-def和def-use链
17.4.5 work-list算法
17.4.6 增量式数据流分析
17.5 别名分析
17.5.1 基于类型的别名分析
17.5.2 基于流的别名分析
17.5.3 使用may-alias信息
17.5.4 严格纯函数式语言中的别名分析
进一步阅读
习题

第18章循环优化

18.1 必经节点
18.1.1 寻找必经节点的算法
18.1.2 直接必经节点
18.1.3 循环
18.1.4 循环前置首部
18.2 循环不变量的计算
18.2.1 提升
18.3 归纳变量
18.3.1 归纳变量检查
18.3.2 强度削减
18.3.3 消除
18.3.4 重写比较
18.4 数组边界检查
18.5 循环展开
进一步阅读
习题

第19章静态单赋值表

19.1 转化为SSA表
19.1.1 插入∮-function的准则
19.1.2 必经前端
19.1.3 插入∮-function
19.1.4 变量重命名
19.1.5 边分离
19.2 必经节点树的有效计算
19.2.1 深度优先生成(spanning)树
19.2.2 半必经节点
19.2.3 Lengauer-Tarjan算法
19.3 采用SSA优化算法
19.3.1 消除死代码
19.3.2 简单常量传播
19.3.3 条件常量复制
19.3.4 保存必经性质
19.4 数组，指针和存储
19.4.1 存储相关
19.5 控制相关图
19.5.1 积极的死代码消除
19.6 从SSA表后的转换
19.6.1 关于SSA的活性的分析
19.7 函数式中介表
进一步阅读
习题

第20章流水线和调度

20.1 不受资源限制的循环调度
20.2 资源限制循环流水线
20.2.1 模调度
20.2.2 发现最小启动间隔
20.2.3 其他控制流
20.2.4 编译器应该调度指令吗
20.3 分支预测
20.3.1 静态转移预测
20.3.2 编译器应该预测分支转移吗?
进一步阅读
习题

第21章分级存储器体系

21.1 高速缓冲存储器结构
21.2 cache块的排列
21.2.1 指令cache的对齐
21.3 预取指令
21.4 循环交换
21.5 分块
21.6 无用信息收集和分级存储器体系
进一步阅读
习题

附录 MiniJava语言参考手册

参考文献

编译器与编译器生成器（C++版）Compilers and Compiler Generators:an introduction with C++

2008-03-23 23:12:49

The book starts with a fairly simple overview of the translation process, of the constituent parts of a compiler, and of the concepts of porting and bootstrapping compilers. This is followed by a chapter
on machine architecture and machine emulation, as later case studies make extensive use of code generation for emulated machines, a very common strategy in introductory courses. The next chapter introduces the student to the notions of regular expressions, grammars, BNF and EBNF, and the value of being able to specify languages concisely and accurately.
Two chapters follow that discuss simple features of assembler language, accompanied by the development of an assembler/interpreter system which allows not only for very simple assembly, but also for conditional assembly, macro-assembly, error detection, and so on. Complete code for such an assembler is presented in a highly modularized form, but with deliberate scope left for extensions, ranging from the trivial to the extensive.
Three chapters follow on formal syntax theory, parsing, and the manual construction of scanners and parsers. The usual classifications of grammars and restrictions on practical grammars are discussed in some detail. The material on parsing is kept to a fairly simple level, but with a thorough discussion of the necessary conditions for LL(1) parsing. The parsing method treated in most detail is the method of recursive descent, as is found in many Pascal compilers; LR parsing is only briefly discussed.
The next chapter is on syntax directed translation, and stresses to the reader the importance and usefulness of being able to start from a context-free grammar, adding attributes and actions that allow for the manual or mechanical construction of a program that will handle the system that it defines. Obvious applications come from the field of translators, but applications in other areas such as simple database design are also used and suggested.
The next two chapters give a thorough introduction to the use of Coco/R, a compiler generator based on L- attributed grammars. Besides a discussion of Cocol, the specification language for this tool, several in-depth case studies are presented, and the reader is given some indication of how parser generators are themselves constructed.
The next two chapters discuss the construction of a recursive descent compiler for a simple Pascal-like source language, using both hand-crafted and machine-generated techniques. The compiler produces pseudo-code for a hypothetical stack-based computer (for which an interpreter was developed in an earlier chapter). "On the fly" code generation is discussed, as well as the use of intermediate tree construction.
The last chapters extend the simple language (and its compiler) to allow for procedures and functions, demonstrate the usual stack-frame approach to storage management, and go on to discuss the implementation of simple concurrent programming. At all times the student can see how these are handled by the compiler/interpreter system, which slowly grows in complexity and usefulness until the final product enables the development of quite sophisticated programs.
The text abounds with suggestions for further exploration, and includes references to more advanced texts where these can be followed up. Wherever it seems appropriate the opportunity is taken to make the reader more aware of the strong and weak points in topical imperative languages. Examples are drawn from several languages, such as Pascal, Modula-2, Oberon, C, C++, Edison and Ada.

编译程序设计：理论、工具与实例（Java版）Compiler Design:Theory, Tools, and Examples(Java Edition)

2008-03-23 22:54:47

This book is a revision of earlier editions that were written for Pascal and C++
based curricula. As many computer science departments have moved to Java as the
primary language in the undergraduate curriculum, I have produced this edition to
accommodate those departments. This book is not intended to be strictly an object-
oriented approach to compiler design. Though most Java compilers compile to an
intermediate form known as Byte Code, the approach taken here is a more traditional one
in which we compile to native code for a particular machine.
The most essential prerequisites for this book are courses in Java application
programming, Data Structures, Assembly Language or Computer Architecture, and
possibly Programming Languages. If the student has not studied formal languages and
automata, this book includes introductory sections on these theoretic topics, but in this
case it is not likely that all seven chapters will be covered in a one semester course.
Students who have studied the theory will be able to skip the preliminary sections (2.0,
3.0, 4.0) without loss of continuity.
The concepts of compiler design are applied to a case study which is an imple-
mentation of a subset of Java which I call Decaf. Chapters 2, 4, 5, and 6 include a
section devoted to explaining how the relevant part of the Decaf compiler is designed.
This public domain software is presented in full in the appendices and is available on the Internet. Students can benefit by enhancing or changing the Decaf compiler provided.
Chapters 6 and 7 focus on the back end of the compiler (code generation and
optimization). Here I rely on a fictitious computer, called Mini, as the target machine. I use a fictitious machine for three reasons: (1) I can design it for simplicity so that the compiler design concepts are not obscured by architectural requirements, (2) It is available to anyone who has a C compiler (the Mini simulator, written in C, is available also), and (3) the teacher or student can modify the Mini machine to suit his/her tastes.

Chapter 7 includes only a brief description of optimization techniques since
there is not enough time in a one semester course to delve into these topics, and becau-se these are typically studied in more detail at the graduate level.
To use the software that accompanies this book, you will need access to the
world wide web. The source files can be accessed at
http://www.rowan.edu/~bergmann/books/decaf
These are plain text files which can be saved from your internet browser. Additional
description of these files can be found in Appendix B.
I wish to acknowledge the people who participated in the design of this book.
The reviewers of the original Pascal version – James E. Miller of Transylvania Unive-rsity, Jeffrey C. Chang of Garner-Webb University, Stephen J. Allan of Utah State
University, Karsten Henckell of the New College of USF, and Keith Olson of Montana
Technical College – all took the time to read through various versions of the manuscri-pt of the original edition and provided many helpful suggestions. My students in the
Compiler Design course here at Rowan University also played an important role in
testing the original version and subsequent versions of this book. Support in the form of time and equipment was provided by the administration of Rowan University.
The pages of this book were composed entirely by me using Adobe Pagemaker,
and diagrams were drawn with Microsoft Excel and Powerpoint. Finally, I am most grateful to my wife Sue for being so understanding during the time that I spent working on this project.

Seth D. Bergmann
bergmann@rowan.edu

编译原理习题精选与解析

2008-03-21 02:50:13

本书为十五国家级规划教材《编译原理》的配套用书。全书从主教材的习题和作者近年来所设计的各种试题中，精选出180道题目进行分析与解答，融入作者多年讲授这门课程的经验和体会。为便于结合教学使用，全书各章的名称和主教材一致，并对难度较大的题目标注星号。同时，为方便读者准备研究生入学考试，凡是作者曾用于研究生入学考试的题目，都在前面加注“考研题”三个字。本书的习题涉及面广、灵活性强、机械性和重复性少，对学习编译原理课程很有帮助。本书可供本科生、自学考试考生和其他人员学习编译原理和技术的参考，也是研究生入学考试的一本有用的复习参考书。

【目录信息】
第1章编译器概述.
第2章词法分析
第3章语法分析
第4章语法制导的翻译
第5章类型检查
第6章运行时存储空间的组织和管理
第7章中间代码生成..
第8章代码生成
第9章代码优化
第10章编译系统和运行系统
第11章面向对象语言的编译
第12章函数式语言的编译...

Foundations of Multithreaded Parallel and Distributed Programming

2008-03-20 09:03:04

Book Description
Foundations of Multithreaded, Parallel, and Distributed Programming covers-and then applies-the core concepts and techniques needed for an introductory course in this topic. The book emphasizes the practice and application of parallel systems, using real-world examples throughout.

Greg Andrews teaches the fundamental concepts of multithreaded, parallel and distributed computing and relates them to the implementation and performance processes. He presents the appropriate breadth of topics and supports these discussions with an emphasis on performance.

Book Info
Covers the unifying core concepts that programmers using these methods should know. Case studies are used to demonstrate applications of the most important languages and software libraries, including Pthreads, Java, Linda, CSP, MPI, Ada, SR, OpenMP, and High Performance Fortran. Softcover. DLC: Parallel programming (Computer science).

Exposing Cryptovirology

2008-03-16 11:07:38

Contents
Foreword xiii
Acknowledgments xix
Introduction xxi
1 Through Hacker’s Eyes 1
2 Cryptovirology 33
3 Tools for Security and Insecurity 51
3.1 Sources of Entropy . . . . . . . . . . . . . . . . . . . . . . 53
3.2 Entropy Extraction via Hashing . . . . . . . . . . . . . . . 54
3.3 Unbiasing a Biased Coin . . . . . . . . . . . . . . . . . . . 57
3.3.1 Von Neumann’s Coin Flipping Algorithm . . . . . . 57
3.3.2 Iterating Neumann’s Algorithm . . . . . . . . . . . 59
3.3.3 Heuristic Bias Matching . . . . . . . . . . . . . . . 60
3.4 Combining Weak Sources of Entropy . . . . . . . . . . . . 62
3.5 Pseudorandom Number Generators . . . . . . . . . . . . . 66
3.5.1 Heuristic Pseudorandom Number Generation . . . . 66
3.5.2 PRNGs Based on Reduction Arguments . . . . . . 67
3.6 Uniform Sampling . . . . . . . . . . . . . . . . . . . . . . . 68
3.7 Random Permutation Generation . . . . . . . . . . . . . . 71
3.7.1 Shuffling Cards by Repeated Sampling . . . . . . . 71
3.7.2 Shuffling Cards Using Trotter-Johnson . . . . . . . 73
3.8 Sound Approach to Random Number Generation and Use 76
3.9 RNGs Are the Beating Heart of System Security . . . . . . 77
3.10 Cryptovirology Benefits from General Advances . . . . . . 78
3.10.1 Strong Crypto Yields Strong Cryptoviruses . . . . . 78
3.10.2 Mix Networks and Cryptovirus Extortion . . . . . . 80

3.11 Anonymizing Program Propagation . . . . . . . . . . . . . 85
4 The Two Faces of Anonymity 89
4.1 Anonymity in a Digital Age . . . . . . . . . . . . . . . . . 89
4.1.1 From Free Elections to the Unabomber . . . . . . . 90
4.1.2 Electronic Money and Anonymous Payments . . . . 90
4.1.3 Anonymous Assassination Lotteries . . . . . . . . . 92
4.1.4 Kidnapping and Perfect Crimes . . . . . . . . . . . 93
4.1.5 Conducting Criminal Operations with Mixes . . . . 94
4.2 Deniable Password Snatching . . . . . . . . . . . . . . . . 97
4.2.1 Password Snatching and Security by Obscurity . . . 97
4.2.2 Solving the Problem Using Cryptovirology . . . . . 98
4.2.3 Zero-Knowledge Proofs to the Rescue . . . . . . . . 100
4.2.4 Improving the Attack Using ElGamal . . . . . . . . 101
5 Cryptocounters 103
5.1 Overview of Cryptocounters . . . . . . . . . . . . . . . . . 104
5.2 Implementing Cryptocounters . . . . . . . . . . . . . . . . 105
5.2.1 A Simple Counter Based on ElGamal . . . . . . . . 105
5.2.2 Drawback to the ElGamal Solution . . . . . . . . . 106
5.2.3 Cryptocounter Based on Squaring . . . . . . . . . . 107
5.2.4 The Paillier Encryption Algorithm . . . . . . . . . 108
5.2.5 A Simple Counter Based on Paillier . . . . . . . . . 111
5.3 Other Approaches to Cryptocounters . . . . . . . . . . . . 111
6 Computationally Secure Information Stealing 113
6.1 Using Viruses to Steal Information . . . . . . . . . . . . . 114
6.2 Private Information Retrieval . . . . . . . . . . . . . . . . 115
6.2.1 PIR Based on the Phi-Hiding Problem . . . . . . . 117
6.2.2 Security of the Phi-Hiding PIR . . . . . . . . . . . 120
6.2.3 Application of the Phi-Hiding Technique . . . . . . 122
6.3 A Variant of the Phi-Hiding Scheme . . . . . . . . . . . . . 122
6.4 Tagged Private Information Retrieval . . . . . . . . . . . . 126
6.5 Secure Information Stealing Malware . . . . . . . . . . . . 131
6.6 Deniable Password Snatching Based on Phi-Hiding . . . . 132
6.6.1 Improved Password-Snatching Algorithm . . . . . . 133
6.6.2 Questionable Encryptions . . . . . . . . . . . . . . 134
6.6.3 Deniable Encryptions . . . . . . . . . . . . . . . . . 139
6.7 Malware Loaders . . . . . . . . . . . . . . . . . . . . . . . 140
6.8 Cryptographic Computing . . . . . . . . . . . . . . . . . . 141

7 Non-Zero Sum Games and Survivable Malware 147
7.1 Survivable Malware . . . . . . . . . . . . . . . . . . . . . . 148
7.2 Elements of Game Theory . . . . . . . . . . . . . . . . . . 150
7.3 Attacking a Brokerage Firm . . . . . . . . . . . . . . . . . 151
7.3.1 Assumptions for the Attack . . . . . . . . . . . . . 152
7.3.2 The Distributed Cryptoviral Attack . . . . . . . . . 153
7.3.3 Security of the Attack . . . . . . . . . . . . . . . . 158
7.3.4 Utility of the Attack . . . . . . . . . . . . . . . . . 159
7.4 Other Two-Player Game Attacks . . . . . . . . . . . . . . 161
7.4.1 Key Search via Facehuggers . . . . . . . . . . . . . 161
7.4.2 Catalyzing Conflict Among Hosts . . . . . . . . . . 167
7.5 Future Possibilities . . . . . . . . . . . . . . . . . . . . . . 167
8 Coping with Malicious Software 171
8.1 Undecidability of Virus Detection . . . . . . . . . . . . . . 171
8.2 Virus Identification and Obfuscation . . . . . . . . . . . . 172
8.2.1 Virus String Matching . . . . . . . . . . . . . . . . 173
8.2.2 Polymorphic Viruses . . . . . . . . . . . . . . . . . 176
8.3 Heuristic Virus Detection . . . . . . . . . . . . . . . . . . . 182
8.3.1 Detecting Code Abnormalities . . . . . . . . . . . . 182
8.3.2 Detecting Abnormal Program Behavior . . . . . . . 183
8.3.3 Detecting Cryptographic Code . . . . . . . . . . . . 191
8.4 Change Detection . . . . . . . . . . . . . . . . . . . . . . . 197
8.4.1 Integrity Self-Checks . . . . . . . . . . . . . . . . . 197
8.4.2 Program Inoculation . . . . . . . . . . . . . . . . . 198
8.4.3 Kernel Based Signature Verification . . . . . . . . . 199
9 The Nature of Trojan Horses 201
9.1 Text Editor Trojan Horse . . . . . . . . . . . . . . . . . . 202
9.2 Salami Slicing Attacks . . . . . . . . . . . . . . . . . . . . 202
9.3 Thompson’s Password Snatcher . . . . . . . . . . . . . . . 203
9.4 The Subtle Nature of Trojan Horses . . . . . . . . . . . . . 206
9.4.1 Bugs May In Fact Be Trojans . . . . . . . . . . . . 208
9.4.2 RNG Biasing Trojan Horse . . . . . . . . . . . . . . 208
10 Subliminal Channels 211
10.1 Brief History of Subliminal Channels . . . . . . . . . . . . 212
10.2 The Difference Between a Subliminal and a Covert Channel 214
10.3 The Prisoner’s Problem of Gustavus Simmons . . . . . . . 215
10.4 Subliminal Channels New and Old . . . . . . . . . . . . . 216

10.4.1 The Legendre Channel of Gus Simmons . . . . . . 217
10.4.2 The Oracle Channel . . . . . . . . . . . . . . . . . 220
10.4.3 Subliminal Card Marking . . . . . . . . . . . . . . 222
10.4.4 The Newton Channel . . . . . . . . . . . . . . . . . 223
10.4.5 Subliminal Channel in Composites . . . . . . . . . 224
10.5 The Impact of Subliminal Channels on Key Escrow . . . . 226
11 SETUP Attack on Factoring Based Key Generation 229
11.1 Honest Composite Key Generation . . . . . . . . . . . . . 231
11.2 Weak Backdoor Attacks on Composite Key Generation . . 232
11.2.1 Using a Fixed Prime . . . . . . . . . . . . . . . . . 233
11.2.2 Using a Pseudorandom Function . . . . . . . . . . 234
11.2.3 Using a Pseudorandom Generator . . . . . . . . . . 236
11.3 Probabilistic Bias Removal Method . . . . . . . . . . . . . 239
11.4 Secretly Embedded Trapdoors . . . . . . . . . . . . . . . . 241
11.5 Key Generation SETUP Attack . . . . . . . . . . . . . . . 244
11.6 Security of the SETUP Attack . . . . . . . . . . . . . . . . 249
11.6.1 Indistinguishability of Outputs . . . . . . . . . . . 249
11.6.2 Confidentiality of Outputs . . . . . . . . . . . . . . 252
11.7 Detecting the Attack in Code Reviews . . . . . . . . . . . 256
11.8 Countering the SETUP Attack . . . . . . . . . . . . . . . 259
11.9 Thinking Outside the Box . . . . . . . . . . . . . . . . . . 261
11.10 The Isaac Newton Institute Lecture . . . . . . . . . . . . 262
12 SETUP Attacks on Discrete-Log Cryptosystems 265
12.1 The Discrete-Log SETUP Primitive . . . . . . . . . . . . . 266
12.2 Diffie-Hellman SETUP Attack . . . . . . . . . . . . . . . . 268
12.3 Security of the Diffie-Hellman SETUP Attack . . . . . . . 270
12.3.1 Indistinguishability of Outputs . . . . . . . . . . . 270
12.3.2 Confidentiality of Outputs . . . . . . . . . . . . . . 271
12.4 Intuition Behind the Attack . . . . . . . . . . . . . . . . . 275
12.5 Kleptogram Attack Methodology . . . . . . . . . . . . . . 276
12.6 PKCS SETUP Attacks . . . . . . . . . . . . . . . . . . . . 277
12.6.1 ElGamal PKCS SETUP Attack . . . . . . . . . . . 277
12.6.2 Cramer-Shoup PKCS SETUP Attack . . . . . . . . 279
12.7 SETUP Attacks on Digital Signature Algorithms . . . . . 280
12.7.1 SETUP in the ElGamal Signature Algorithm . . . . 281
12.7.2 SETUP in the Pointcheval-Stern Algorithm . . . . 282
12.7.3 SETUP in DSA . . . . . . . . . . . . . . . . . . . . 283

12.7.4 SETUP in the Schnorr Signature Algorithm . . . . 284
12.8 Rogue Use of DSA for Encryption . . . . . . . . . . . . . . 285
12.9 Other Work in Kleptography . . . . . . . . . . . . . . . . . 286
12.10 Should You Trust Your Smart Card? . . . . . . . . . . . . 288
Appendix A: Computer Virus Basics 295
A.1 Origins of Malicious Software . . . . . . . . . . . . . . . . 295
A.2 Trojans, Viruses, and Worms: What Is the Difference? . . 297
A.3 A Simple DOS COM Infector . . . . . . . . . . . . . . . . 299
A.4 Viruses Don’t Have to Gain Control Before the Host . . . 303
Appendix B: Notation and Other Background Information 307
B.1 Notation Used Throughout the Book . . . . . . . . . . . . 307
B.2 Basic Facts from Number Theory and Algorithmics . . . . 309
B.3 Intractability: Malware’s Biggest Ally . . . . . . . . . . . . 312
B.3.1 The Factoring Problem . . . . . . . . . . . . . . . . 313
B.3.2 The eth Roots Problem . . . . . . . . . . . . . . . . 314
B.3.3 The Composite Residuosity Problem . . . . . . . . 314
B.3.4 The Decision Composite Residuosity Problem . . . 315
B.3.5 The Quadratic Residuosity Problem . . . . . . . . . 315
B.3.6 The Phi-Hiding Problem . . . . . . . . . . . . . . . 315
B.3.7 The Phi-Sampling Problem . . . . . . . . . . . . . 317
B.3.8 The Discrete Logarithm Problem . . . . . . . . . . 318
B.3.9 The Computational Diffie-Hellman Problem . . . . 318
B.3.10 The Decision Diffie-Hellman Problem . . . . . . . . 318
B.4 Random Oracles and Functions . . . . . . . . . . . . . . . 319
Appendix C: Public Key Cryptography in a Nutshell 321
C.1 Overview of Cryptography . . . . . . . . . . . . . . . . . . 321
C.1.1 Classical Cryptography . . . . . . . . . . . . . . . . 322
C.1.2 The Diffie-Hellman Key Exchange . . . . . . . . . . 324
C.1.3 Public Key Cryptography . . . . . . . . . . . . . . 325
C.1.4 Attacks on Cryptosystems . . . . . . . . . . . . . . 326
C.1.5 The Rabin Encryption Algorithm . . . . . . . . . . 330
C.1.6 The Rabin Signature Algorithm . . . . . . . . . . . 331
C.1.7 The RSA Encryption Algorithm . . . . . . . . . . . 332
C.1.8 The RSA Signature Algorithm . . . . . . . . . . . . 334
C.1.9 The Goldwasser-Micali Algorithm . . . . . . . . . . 335
C.1.10 Public Key Infrastructures . . . . . . . . . . . . . . 336
C.2 Discrete-Log Based Cryptosystems . . . . . . . . . . . . . 337

C.2.1 The ElGamal Encryption Algorithm . . . . . . . . 338
C.2.2 Security of ElGamal . . . . . . . . . . . . . . . . . 338
C.2.3 The Cramer-Shoup Encryption Algorithm . . . . . 340
C.2.4 The ElGamal Signature Algorithm . . . . . . . . . 342
C.2.5 The Pointcheval-Stern Signature Algorithm . . . . 343
C.2.6 The Schnorr Signature Algorithm . . . . . . . . . . 344
C.2.7 The Digital Signature Algorithm (DSA) . . . . . . 345
Glossary 347
References 357
Index 387

The Transform and Data Compression Handbook

2008-03-15 09:24:12

1 Karhunen-LoèveTransform
1.1 Introduction
1.2 DataDecorrelation
1.2.1 Calculation oftheKLT
1.3 PerformanceofTransforms
1.3.1 Information Theory
1.3.2 Quantization
1.3.3 Truncation Error
1.3.4 Block Size
1.4 Examples
1.4.1 Calculation ofKLT
1.4.2 Quantization and Encoding
1.4.3 Generalization
1.4.4 Markov-1 Solution
1.4.5 MedicalImaging
1.4.6 ColorImages
1.5 Summary
References
2 TheDiscreteFourierTransform
2.1 Introduction
2.2 TheDFTMatrix
2.3 AnExample
2.4 DFT FrequencyAnalysis
2.5 SelectedPropertiesoftheDFT
2.5.1 Symmetry Properties
2.6 Real-Valued DFT-Based Transforms
2.7 TheFastFourierTransform
2.8 TheDFT in Coding Applications
2.9 TheDFT andFilterBanks
2.9.1 Cosine-Modulated Filter Banks
2.9.2 Complex DFT-Based Filter Banks

2.10 Conclusion
2.11 FFT Web sites
References
3 ComparametricTransformsforTransmittingEyeTapVideowithPicture
TransferProtocol(PTP)
3.1 Introduction: WearableCybernetics
3.1.1 Historical Overviewof WearComp
3.1.2 EyeTap Video
3.2 TheEdgertonian Image Sequence
3.2.1 Edgertonian versus Nyquist Thinking
3.2.2 FramesversusRows,Columns,and Pixels
3.3 PictureTransfer Protocol (PTP)
3.4 BestCaseImaging and Fear of Functionality
3.5 Comparametric ImageSequenceAnalysis
3.5.1 Camera, Eye, or Head Motion: Common Assumptions and
Terminology
3.5.2 VideoOrbits
3.6 Framework: Comparameter Estimation and Optical Flow
3.6.1 Feature-Based Methods
3.6.2 FeaturelessMethodsBased on Generalized Cross-Correlation
3.6.3 FeaturelessMethodsBasedon Spatio-Temporal Derivatives
3.7 MultiscaleProjective Flow Comparameter Estimation
3.7.1 FourPointMethodforRelatingApproximateModeltoExact
Model
3.7.2 Overviewof the New ProjectiveFlow Algorithm
3.7.3 MultiscaleRepetitiveImplementation
3.7.4 Exploiting Commutativity for Parameter Estimation
3.8 Performance/Applications
3.8.1 A Paradigm Reversal in ResolutionEnhancement
3.8.2 Increasing Resolutionin the “Pixel Sense”
3.9 Summary
3.10 Acknowledgements
References
4 DiscreteCosineand SineTransforms
4.1 Introduction
4.2 TheFamily of DCTsand DSTs
4.2.1 Definitionsof DCTs and DSTs
4.2.2 Mathematical Properties
4.2.3 Relationsto theKLT
4.3 A Unified FastComputationof DCTsand DSTs
4.3.1 Definitionsof Even-Odd Matrices
4.3.2 DCT-II/DST-II and DCT-III/DST-III Computation
4.3.3 DCT-I and DST-I Computation

4.3.4 DCT-IV/DST-IV Computation
4.3.5 Implementation of the Unified Fast Computation of DCTs
andDSTs
4.4 The2-DDCT/DST Universal Computational Structure
4.4.1 TheFastDirect2-D DCT/DSTComputation
4.4.2 Implementationofthe Direct 2-DDCT/DST Computation
4.5 DCT andDataCompression
4.5.1 DCT-Based ImageCompression/Decompression
4.5.2 DataStructuresforCompression/Decompression
4.5.3 Setting theQuantization Table
4.5.4 StandardHuffman Coding/Decoding Tables
4.5.5 Compression ofOne Sub-ImageBlock
4.5.6 DecompressionofOne Sub-Image Block
4.5.7 ImageCompression/Decompression
4.5.8 Compression ofColor Images
4.5.9 ResultsofImageCompression
4.6 Summary
References
5 Lapped TransformsforImageCompression
5.1 Introduction
5.1.1 Notation
5.1.2 BriefHistory
5.1.3 Block Transforms
5.1.4 Factorization ofDiscrete Transforms
5.1.5 DiscreteMIMOLinear Systems
5.1.6 BlockTransform as aMIMO System
5.2 Lapped Transforms
5.2.1 OrthogonalLapped Transforms
5.2.2 NonorthogonalLappedTransforms
5.3 LTsasMIMOSystems
5.4 Factorization ofLapped Transforms
5.5 HierarchicalConnectionofLTs: An Introduction
5.5.1 Time-Frequency Diagram
5.5.2 Tree-Structured Hierarchical LappedTransforms
5.5.3 Variable-Length LTs
5.6 PracticalSymmetricLTs
5.6.1 TheLappedOrthogonal Transform: LOT
5.6.2 TheLapped Bi-Orthogonal Transform: LBT
5.6.3 TheGeneralized LOT: GenLOT
5.6.4 TheGeneralFactorization: GLBT
5.7 TheFastLappedTransform: FLT
5.8 Modulated LTs
5.9 Finite-Length Signals
5.9.1 OverallTransform

5.9.2 Recovering Distorted Samples
5.9.3 SymmetricExtensions
5.10 Design Issuesfor Compression
5.11 Transform-Based Image Compression Systems
5.11.1 JPEG
5.11.2 Embedded Zerotree Coding
5.11.3 OtherCoders
5.12 PerformanceAnalysis
5.12.1 JPEG
5.12.2 Embedded Zerotree Coding
5.13 Conclusions
References
6 Wavelet-Based Image Compression
6.1 Introduction
6.2 DyadicWavelet Transform
6.2.1 Two-Channel Perfect-Reconstruction Filter Bank
6.2.2 Dyadic WaveletTransform,Multiresolution Representation
6.2.3 Wavelet Smoothness
6.3 Wavelet-Based ImageCompression
6.3.1 Lossy Compression
6.3.2 EZW Algorithm
6.3.3 SPIHTAlgorithm
6.3.4 WDRAlgorithm
6.3.5 ASWDR Algorithm
6.3.6 LosslessCompression
6.3.7 ColorImages
6.3.8 OtherCompression Algorithms
6.3.9 Ringing Artifacts and Postprocessing Algorithms
References
7 Fractal-BasedImageand Video Compression
7.1 Introduction
7.2 BasicPropertiesof Fractalsand ImageCompression
7.3 ContractiveAffineTransforms,IteratedFunctionSystems,andImage
Generation
7.4 ImageCompression Directly Based on theIFS Theory
7.5 ImageCompression Based on IFS Library
7.6 ImageCompression Based on Partitioned IFS
7.6.1 ImagePartitions
7.6.2 Distortion Measure
7.6.3 AClassof DiscreteImage Transformation
7.6.4 Encodingand Decoding Procedures
7.6.5 Experimental Results
7.7 ImageCoding Using QuadtreePartitioned IFS(QPIFS)

7.7.1 RMS ToleranceSelection
7.7.2 ACompactStorage Scheme
7.7.3 ExperimentalResults
7.8 ImageCoding by Exploiting Scalability of Fractals
7.8.1 ImageSpatialSub-Sampling
7.8.2 Decoding to aLarger Image
7.8.3 ExperimentalResults
7.9 Video SequenceCompression using QuadtreePIFS
7.9.1 DefinitionsofTypes of Range Blocks
7.9.2 Encoding andDecoding Processes
7.9.3 StorageRequirements
7.9.4 ExperimentalResults
7.9.5 Discussion
7.10 OtherFractal-BasedImageCompression Techniques
7.10.1 Segmentation-Based Coding Using Fractal Dimension
7.10.2 Yardstick Coding
7.11 Conclusions
References
8 CompressionofWaveletTransformCoefficients
8.1 Introduction
8.2 Embedded CoefficientCoding
8.3 StatisticalContextModelingof Embedded Bit Stream
8.4 ContextDilution Problem
8.5 ContextFormation
8.6 ContextQuantization
8.7 Optimization ofContextQuantization
8.8 DynamicProgramming forMinimumConditional Entropy
8.9 FastAlgorithmsforHigh-Order Context Modeling
8.9.1 ContextFormation viaConvolution
8.9.2 SharedModeling Context for Signsand Textures
8.10 ExperimentalResults
8.10.1 Lossy Case
8.10.2 LosslessCase
8.11 Summary
References

The Data Compression Book

2008-03-15 09:13:06

Afterword
Why This Book Is For You

Chapter 1—Introduction to Data Compression

The Audience
Why C?
Which C?
Issues in Writing Portable C
Keeping Score
The Structure

Chapter 2—The Data-Compression Lexicon, with a History

The Two Kingdoms
Data Compression = Modeling + Coding
The Dawn Age
Coding
An Improvement
Modeling
Statistical Modeling
Dictionary Schemes
Ziv and Lempel
LZ77
LZ78
Lossy Compression
Programs to Know

Chapter 3—The Dawn Age: Minimum Redundancy Coding

The Shannon-Fano Algorithm
The Huffman Algorithm
Huffman in C
BITIO.C
A Reminder about Prototypes
MAIN-C.C AND MAIN-E.C
MAIN-C.C
ERRHAND.C
Into the Huffman Code
Counting the Symbols
Saving the Counts
Building the Tree
Using the Tree
The Compression Code
Putting It All Together
Performance

Chapter 4—A Significant Improvement: Adaptive Huffman Coding

Adaptive Coding
Updating the Huffman Tree
What Swapping Does

The Algorithm
An Enhancement
The Escape Code
The Overflow Problem
A Rescaling Bonus
The Code
Initialization of the Array
The Compress Main Program
The Expand Main Program
Encoding the Symbol
Updating the Tree
Decoding the Symbol
The Code

Chapter 5—Huffman One Better: Arithmetic Coding
Difficulties
Arithmetic Coding: A Step Forward
Practical Matters
A Complication
Decoding
Where’s the Beef?
The Code
The Compression Program
The Expansion Program
Initializing the Model
Reading the Model
Initializing the Encoder
The Encoding Process
Flushing the Encoder
The Decoding Process
Summary
Code

Chapter 6—Statistical Modeling

Higher-Order Modeling
Finite Context Modeling
Adaptive Modeling
A Simple Example
Using the Escape Code as a Fallback
Improvements
Highest-Order Modeling
Updating the Model
Escape Probabilities
Scoreboarding
Data Structures
The Finishing Touches: Tables –1 and –2
Model Flushing
Implementation
Conclusions
Enhancement
ARITH-N Listing

Chapter 7—Dictionary-Based Compression

An Example

Static vs. Adaptive
Adaptive Methods
A Representative Example
Israeli Roots
History
ARC: The Father of MS-DOS Dictionary Compression
Dictionary Compression: Where It Shows Up
Danger Ahead—Patents
Conclusion

Chapter 8—Sliding Window Compression

The Algorithm
Problems with LZ77
An Encoding Problem
LZSS Compression
Data Structures
A Balancing Act
Greedy vs. Best Possible
The Code
Constants and Macros
Global Variables
The Compression Code
Initialization
The Main Loop
The Exit Code
AddString()
DeleteString()
Binary Tree Support Routines
The Expansion Routine
Improvements
The Code

Chapter 9—LZ78 Compression

Can LZ77 Improve?
Enter LZ78
LZ78 Details
LZ78 Implementation
An Effective Variant
Decompression
The Catch
LZW Implementation
Tree Maintenance and Navigation
Compression
Decompression
The Code
Improvements
Patents

Chapter 10—Speech Compression

Digital Audio Concepts
Fundamentals
Sampling Variables
PC-Based Sound
Lossless Compression of Sound

Problems and Results
Lossy Compression
Silence Compression
Companding
Other Techniques

Chapter 11—Lossy Graphics Compression

Enter Compression
Statistical and Dictionary Compression Methods
Lossy Compression
Differential Modulation
Adaptive Coding
A Standard That Works: JPEG
JPEG Compression
The Discrete Cosine Transform
DCT Specifics
Why Bother?
Implementing the DCT
Matrix Multiplication
Continued Improvements
Output of the DCT
Quantization
Selecting a Quantization Matrix
Coding
The Zig-Zag Sequence
Entropy Encoding
What About Color?
The Sample Program
Input Format
The Code
Initialization
The Forward DCT Routine
WriteDCTData()
OutputCode()
File Expansion
ReadDCTData()
Input DCT Codes
The Inverse DCT
The Complete Code Listing
Support Programs
Some Compression Results

Chapter 12—An Archiving Package

CAR and CARMAN
The CARMAN Command Set
The CAR File
The Header
Storing the Header
The Header CRC
Command-Line Processing
Generating the File List
Opening the Archive Files
The Main Processing Loop
Skipping/Copying Input File

File Insertion
File Extraction
Cleanup
The Code

Chapter 13—Fractal Image Compression
A brief history of fractal image compression
What is an Iterated Function System?
Basic IFS mathematics
Image compression with Iterated Function Systems
Image compression with Partitioned Iterated Function Systems
Fractal image decoding
Resolution independence
The sample program
The main compression module
Initialization
Domain classification
Image partitioning
Finding optimal affine maps
The decompression module
The complete code listing
Some Compression Results
Patents
Bibliography
Appendix A
Appendix B
Glossary
Index

波谱原理与解析

2008-01-16 09:30:04

1.绪论
2.紫外线光谱法
3.红外和拉曼光谱
4.1H核磁共振
5.13C核磁共振与2维核磁共振
6.质谱法
7.综合解析
8.悬光光谱和圆2色光谱
9.X射线衍射法

编译程序构造原理和实现技术

2008-01-05 20:19:23

本书主要介绍过程式语言的编译程序构造原理和实现技术。本书共分10章，主要包括词法分析和语法分析的理论与技术，语义分析原理与技术，运行时的存储分配原则，动作文法和属性文法技术，中间代码生成、中间代码优化和目标代码生成，的原理与技术等。
本书的特点是概念清晰，层次分明，循序渐进，整体性强，便于教学，并反映当前的实用技术，适合作为高校计算机专业的教材，亦可作为有关专业人员进一步掌握编译程序构造原理与实现技术的参考书。

《算法设计与实验题解》(高清晰PDF)

2008-01-01 12:53:57

【下载说明】
这里提供给大家的是《算法设计与实验题解》一书的高清晰PDF格式电子书下载。

【内容提要】
本书是与普通高等教育“十一五”国家级规划教材《计算机算法设计与分析》（第2版）配套的辅助教材，对主教材中的全部习题做了解答或给出了解题思路提示，并对主教材的内容进行了扩展，有些主教材中无法讲述的较深入的主题以习题的形式展现出来。为了提高学生解决实际问题的能力，本书还将主教材中的许多习题改造成算法实现题，要求学生设计出算法并上机实现。作者还结合精品课程建设，进行了教材的立体化开发，包括主教材、辅助教材、实验与设计、电子课件和教学网站建设。本身附有光盘，包含各章算法实现题目、测试数据和答案。.
本书内容丰富，理论联系实际，可作为高等学校计算机科学与技术、软件工程、信息与计算科学等专业本科生和研究生学习计算机算法设计的辅助教材，也是工程技术人员的自学参考书。...

【前言摘要】
一些著名的计算机科学家在有关计算机科学教育的论述中认为，计算机科学是一种创造性思维活动，其教育必须面向设计。计算机算法设计与分析正是一门面向设计，且处于计算机学科核心地位的教育课程。通过对计算机算法系统的学习与研究，理解和掌握算法设计的主要方法，培养对算法的计算复杂性进行正确分析的能力，为独立地设计算法和对给定算法进行复杂性分析奠定坚实的理论基础，对从事计算机系统结构、系统软件和应用软件研究与开发的科技工作者是非常重要和必不可少的。. 电子工业出版社出版的《计算机算法设计与分析》是普通高等教育“十一五”国家级规划教材，它是根据教育部高教司主持评审的《中国计.

【目录信息】
第1章算法概述
习题1-1 函数的渐近表达式
习题1-2 O（1）和O（2）的区别
习题1-4 按渐近阶排列表达式
习题1-5 算法效率
习题1-6 硬件效率
习题1-7 函数渐近阶
习题1-8 n！的阶
习题1-9 3n+1问题
习题1-10 平均情况下的计算时间复杂性
算法实现题1-1 统计数字问题
算法实现题1-2 字典序问题
算法实现题1-3 最多约数问题
算法实现题1-4 金币阵列问题
算法实现题1-5 最大间隙问题
第2章递归与分治策略
习题2-1 Hanoi塔问题的非递归算法
习题2-2 7个二分搜索算法
习题2-3 改写二分搜索算法
习题2-4 大整数乘法的O（mmlog（3/2）算法
习题2-5 5次n/3位整数的乘法
习题2-6 矩阵乘法
习题2-7 多项式乘积
习题2-8 不动点问题的O（logn）时间算法
习题2-9 主元素问题的线性时间法
习题2-10 无序集主元素问题的线性时间法
习题2-11 O（1）空间子数组换位算法
习题2-12 O（1）空间合并算法
习题2-13 n段合并排序算法
习题2-14 自然合并排序算法
习题2-15 最大值和最小值问题的最优算法
习题2-16 最大值和次大值问题的最优算法
习题2-17 整数集合排序
习题2-18 第k小元素问题的计算时间下界
习题2-19 非增序快速排序算法
习题2-20 随机化算法
习题2-21 随机化快速排序算法
习题2-22 随机排列算法
习题2-23 算法QuickSort中的尾递归
习题2-24 用栈模拟递归
习题2-25 算法Select中的元素划分
习题2-26 O（nlogn）时间快速排序算法
习题2-27 最按近中位数的k个数
习题2-28 X和Y的中位数
习题2-29 网络开关设计
习题2-32 带权中位数问题
习题2-34 构造Gray码的分治算法
习题2-35 网球循环赛日程表
习题2-36 二叉树T的前序、中序和后序序列
算法实现题2-1 输油管道问题（习题2-30）
算法实现题2-2 众数问题（习题2-31）
算法实现题2-3 邮局选址问题（习题2-32）
算法实现题2-4 马的Hamilton周游路线问题（习题2-33）
算法实现题2-5 半数集问题
算法实现题2-6 半数单集问题
算法实现题2-7 士兵部队问题
算法实现题2-8 有重复元素的排列问题
算法实现题2-9 排列的字典序问题
算法实现题2-10 集合划分问题
算法实现题2-11 集合划分问题
算法实现题2-12 双色Hanoi塔问题
算法实现题2-13 标准二维表问题
算法实现题2-14 整数因子分解问题
第3章动态规划
习题3-1 最长单调递增子序列
习题3-2 间长单调递增子序列的O（nlogn）算法
习题3-7 漂亮打印
习题3-11 整数线性规划问题
习题3-12 二维0-1 背包问题
习题3-14 Ackermann函数
习题3-17 最短行驶路线
习题3-19 最优旅行路线
算法实现题3-1 独立任务最优调度问题（习题3-3）
算法实现题3-2 最少硬币问题（习题3-4）
算法实现题3-3 序关系计数问题（习题3-5）
……
第4章贪心算法
第5章回溯法
第6章分支限界法
第7章概率算法
第8章线性规划与网络流
第9章 NP完全性理论与近似算法
参考文献

高性能计算之并行编程技术_MPI并行程序设计

2007-12-14 12:10:21

本书介绍目前最常见的并行程序――MPI并行程序设计方法，它适合高等院校计算机专业高年级本科生、非计算机专业研究生作为教材和教学参考书，也适合广大的并行计算(高性能计算)用户作为自学参考书。具有FORTRAN语言和C语言编程经验的人员都可以阅读并掌握本书的内容。书中首先介绍了并行程序设计基础，提供给读者进行并行程序设计所需要的基本知识；然后介绍MPI的基本功能，从简单的例子入手，告诉读者MPI程序设计的基本过程和框架，这一部分是具有C或FORTRAN串行程序设计经验的人员很容易理解和接受的；接下来介绍MPI程序设计的高级特征，这是已经掌握了MH基本程序设计的人员进一步编写简洁高效的MPI程序、使用各种高级和复杂的MPI功能所需要的；最后一部分介绍了MPI的最新发展和扩充MPI―2，其中包括三个部分，动态进程管理、远程存储访问和并行文件读写。本书包括了MPI―1的全部调用和MPI―2的关键扩充部分的调用，并附以大量的图表和示例性程序，对程序的关键部分给出了讲解或注释。读者若能将例子和对MPI调用的讲解结合起来学习，会取得更好的效果。本书的目的，不仅是教给读者如何去编写从简单到复杂的MPI并行程序，更重要的是，希望读者通过本书的学习，在以后解决问题的过程中能够树立并行求解的概念，使并行方法真正成为广大应用人员和程序开发员手中的重要工具。

Artificial Intelligence.A New Synthesis 英文版

2007-12-10 15:12:26

懂的都知道人工智能一本相当好的书，推荐看原版

正则表达式资料打包（正则全集）

2007-12-02 13:38:03

非常好的学习正则表达式的资料打包。该打包全集包括：

Mastering Regular Expressions(精通正则表达式) 3rd Edition 英文 CHM/PDF

正则表达式系统教程 CHM

表单验证Validator v1.0 基于正则表达式的例子 CHM

正则表达式参考文档 MHT

Codes and Curves

2007-11-21 22:44:58

Codes and Curves
These notes summarize a series of lectures I gave as part of the
IAS/PCMI Mentoring Program forWomen in Mathematics, held May
17-27, 1999 at the Institute for Advanced Study in Princeton, NJ
with funding from the National Science Foundation. The material
included is not original, but the exposition is new. The booklet [LG]
also contains an introduction to algebraic geometric coding theory,
but its intended audience is researchers specializing in either coding
theory or algebraic geometry and wanting to understand the connections
between the two subjects. These notes, on the other hand, are
designed for a general mathematical audience. In fact, the lectures
were originally designed for undergraduates.
I have tried to retain the conversational tone of the lectures, and
I hope that the reader will nd this monograph both accessible and
useful. Exercises are scattered throughout, and the reader is strongly
encouraged to work through them.
Judy L. Walker
Author address:
Department of Mathematics and Statistics, University
of Nebraska, Lincoln, NE 68588-0323
E-mail address: jwalker@math.unl.edu

Algorithmic Information Theory-Third Printing

2007-11-21 22:41:47

ALGORITHMIC INFORMATION THEORY, Third Printing
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of G?del's incompleteness theorem, using an information theoretic approach based on the size of computer programs. One half of the book is concerned with studying the halting probability of a universal computer if its program is chosen by tossing a coin. The other half is concerned with encoding the halting probability as an algebraic equation in integers, a so-called exponential diophantine equation.

An exponential diophantine equation is explicitly constructed with the property that certain assertions are independent mathematical facts, that is, irreducible mathematical information that cannot be compressed into any finite set of axioms.

This is the first book on this subject and will be of interest to computer scientists, mathematicians, physicists and philosophers interested in the nature of randomness and in the limitations of the axiomatic method.

``Gregory Chaitin... has proved the ultimate in undecidability theorems..., that the logical structure of arithmetic can be random... The assumption that the formal structure of arithmetic is precise and regular turns out to have been a time-bomb, and Chaitin has just pushed the detonator.'' Ian Stewart in Nature

``No one, but no one, is exploring to greater depths the amazing insights and theorems that flow from G?del's work on undecidability than Gregory Chaitin. His exciting discoveries and speculations invade such areas as logic, induction, simplicity, the philosophy of mathematics and science, randomness, proof theory, chaos, information theory, computer complexity, diophantine analysis, and even the origin and evolution of life. If you haven't yet encountered his brilliant, clear, creative, wide-ranging mind, this is the book to read and absorb.'' Martin Gardner
Paperback: 190 pages
Publisher: Cambridge University Press; New Ed edition (December 2, 2004)
Language: English
ISBN-10: 0521616042
Product Dimensions: 9.6 x 7.4 x 0.6 inches
Shipping Weight: 13.4 ounces

现代计算机历史 A.History.of.Modern.Computing

2007-09-21 02:48:53

Bookmarks
A History of Modern Computing
A History of Modern Computing
Copyright
Dedication
Contents
Preface to the Second Edition
Acknowledgments
Introduction: Defining ???? Computer?ˉ?ˉ
The Computer Revolution and the History of Technology
Themes
1 The Advent of Commercial Computing, 1945–1956
The UNIVAC in Context
Punched Cards
The Card- Programmed Calculator
The Stored- Program Principle
John von Neumann?ˉs Role
The von Neumann Architecture and Its Significance
From ENIAC to UNIVAC: First Transformation 41
UNIVAC
The UNIVAC in Use
IBM?ˉs Response
Engineering Research Associates
The Drum Machines
CRC 102A
Later Drum Machines, 1953 ¨C 1956
LGP- 30
Bendix G- 15
IBM 650
Summary
2 Computing Comes of Age, 1956–1964
Core Memory
Honeywell, GE, RCA
GE
RCA
A Primer on Computer Architecture
Word Length
Register Structure
Number of addresses
Number of addresse
Floating- point Hardware
The Transistor
Philco
NCR, Burroughs
The Rise of IBM
Disk Storage In 1957 IBM
Disk Storage In 1957 IBM
Disk Storage In 1957 IB
Small Transistorized Machines
Conclusion
3 The Early History of Software, 1952–1968
Beginnings ( 1944 ¨C 1951)
UNIVAC Compilers ( 1952)
Laning and Zierler ( 1954)
Assemblers
SHARE ( 1955)
Sorting Data
FORTRAN ( 1957)
COBOL
Languages Versus Software
System Software
MAD
Computer Science
Other Events of 1968 and 1969
Donald E. Knuth
Structured Programming
Intellectual Property Issues
Software Engineering
Unbundling
Conclusion
4 From Mainframe to Minicomputer, 1959–1969
The Influence of the Federal Government
Massachusetts Blue Cross
NASA- Ames Research Center
The IRS
NASA?ˉs Manned Space Program
The Minicomputer
Architecture
The Digital Equipment Corporation
The PDP- 8
The DEC Culture
The MIT Culture
5 The ‘‘Go-Go’’ Years and the System/360, 1961–1975
IBM, the Seven Dwarfs, and the BUNCH
IBM System/ 360
System/ 360 and the Full Circle of Computing
Time- Sharing and System/ 360
The Period of Soaring Stocks
Leasing Companies
Compatible Mainframes
The Plug- Compatible Manufacturers
UNIVAC, SDS
Software Houses
The Fate of the BUNCH
Conclusion
6 The Chip and Its Impact, 1965–1975
The Invention of the Integrated Circuit
Commercial Impact of the Chip
Second- Generation Minicomputers
The Founding of Intel
The PDP- 11
Direct- Access Computing Triumphant
Computer Science Education
BASIC at Dartmouth
7 The Personal Computer, 1972–1977
Calculators and Corporate Personal Computer Projects
The Microprocessor
From Microprocessor to Personal Computer
Role of Hobbyists
Altair
Software: BASIC
System Software: The Final Piece of the Puzzle
End of the Pioneering Phase, 1977
8 Augmenting Human Intellect, 1975–1985
Digital Equipment Corporation
A Word about UNIX
IBM and the Classic Mainframe Culture
From ???? POTS?ˉ?ˉ to ???? OLTP?ˉ?ˉ
Viatron
Wang
Xerox PARC
Personal Computers: the Second Wave, 1977 ¨C 1985
APPLE II?ˉs Disk Drive and VisiCalc
IBM PC ( 1981)
MS- DOS
The PC and IBM
???? The Better is the Enemy of the Good?ˉ?ˉ
Macintosh ( 1984)
The Clones
9 Workstations, UNIX, and the Net, 1981–1995
UNIX: From New Jersey to California
The Ironies of UNIX
VAX Strategy
RISC
Networking I: Ethernet
Networking II: Internet
Networking III: the World Wide Web
Gopher, WAIS
World Wide Web, Mosaic
Conclusion
10 ‘‘Internet Time,’’ 1995–2001
Microsoft
The Macintosh Connection
Internet Explorer
Hotmail, UNIX
Dot. Com
The Acceptable Use Policy
Java
Search Engines, Portals
Tragedy of the Commons
GNU/ Linux
GNU
IBM
Conclusion
Conclusion: The Digitization of the World Picture
The Digitization of the World Picture
Notes
Preface
Introduction
Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7
Chapter 8
Chapter 9
Chapter 10
Conclusion
Bibliography
Index

Let's Build a Compiler

2007-08-09 20:33:16

Table of Contents
Readme file (first release) (7th November 1988)
Part I: INTRODUCTION (24th July 1988)
l INTRODUCTION
l THE CRADLE
Part II: EXPRESSION PARSING (24th July 1988)
l GETTING STARTED
l SINGLE DIGITS
l BINARY EXPRESSIONS
l GENERAL EXPRESSIONS
l USING THE STACK
l MULTIPLICATION AND DIVISION
l PARENTHESES
l UNARY MINUS
l A WORD ABOUT OPTIMIZATION
Part III: MORE EXPRESSIONS (4th Aug 1988)
l INTRODUCTION
l VARIABLES
l FUNCTIONS
l MORE ON ERROR HANDLING
l ASSIGNMENT STATEMENTS
l MULTI-CHARACTER TOKENS
l WHITE SPACE
Part IV: INTERPRETERS (24th July 1988)
l INTRODUCTION
l THE INTERPRETER
l A LITTLE PHILOSOPHY
Part V: CONTROL CONSTRUCTS (19th Aug 1988)
l INTRODUCTION
l THE PLAN
l SOME GROUNDWORK
l THE IF STATEMENT
l THE WHILE STATEMENT
l THE LOOP STATEMENT
l REPEAT-UNTIL
l THE FOR LOOP
l THE DO STATEMENT
l THE BREAK STATEMENT
l CONCLUSION
Part VI: BOOLEAN EXPRESSIONS (31st Aug 1988)
l INTRODUCTION
l THE PLAN
l THE GRAMMAR
l RELOPS
l FIXING THE GRAMMAR
l THE PARSER
l MERGING WITH CONTROL CONSTRUCTS
l ADDING ASSIGNMENTS
Part VII: LEXICAL SCANNING (7th Nov 1988)
l INTRODUCTION
l LEXICAL SCANNING
l STATE MACHINES AND ALTERNATIVES
l SOME EXPERIMENTS IN SCANNING
l WHITE SPACE
l STATE MACHINES
l NEWLINES
l OPERATORS
l LISTS, COMMAS AND COMMAND LINES
l GETTING FANCY
l RETURNING A CHARACTER
l DISTRIBUTED vs. CENTRALIZED SCANNERS
l MERGING SCANNER AND PARSER
l CONCLUSION
Part VIII: A LITTLE PHILOSOPHY (2nd Apr 1989)
l INTRODUCTION
l THE ROAD HOME
l WHY IS IT SO SIMPLE?
l CONCLUSION
Part IX: A TOP VIEW (16th Apr 1989)
l INTRODUCTION
l THE TOP LEVEL
l THE STRUCTURE OF PASCAL
l FLESHING IT OUT
l DECLARATIONS
l THE STRUCTURE OF C
Part X: INTRODUCING "TINY" (21st May 1989)
l INTRODUCTION
l GETTING STARTED
l DECLARATIONS
l DECLARATIONS AND SYMBOLS
l INITIALIZERS
l THE SYMBOL TABLE
l EXECUTABLE STATEMENTS
l BOOLEANS
l CONTROL STRUCTURES
l LEXICAL SCANNING
l MULTI-CHARACTER VARIABLE NAMES
l MORE RELOPS
l INPUT/OUTPUT
l CONCLUSION
Part XI: LEXICAL SCAN REVISITED (3rd Jun 1989)
l INTRODUCTION
l BACKGROUND
l THE PROBLEM
l THE SOLUTION
l FIXING UP THE COMPILER
l CONCLUSION
l TINY VERSION 1.1
Part XII: MISCELLANY (5th Jun 1989)
l INTRODUCTION
l SEMICOLONS
l SYNTACTIC SUGAR
l DEALING WITH SEMICOLONS
l A COMPROMISE
l COMMENTS
l SINGLE-CHARACTER DELIMITERS
l MULTI-CHARACTER DELIMITERS
l ONE-SIDED COMMENTS
l CONCLUSION
Part XIII: PROCEDURES (27th Aug 1989)
l INTRODUCTION
l ONE LAST DIGRESSION
l THE BASICS
l A BASIS FOR EXPERIMENTS
l DECLARING A PROCEDURE
l CALLING THE PROCEDURE
l PASSING PARAMETERS
l THE SEMANTICS OF PARAMETERS
l PASS-BY-VALUE
l WHAT'S WRONG?
l CALL-BY-REFERENCE
l LOCAL VARIABLES
l CONCLUSION
Part XIV: TYPES (26th May 1990)
l INTRODUCTION
l WHAT'S COMING NEXT?
l THE SYMBOL TABLE
l ADDING ENTRIES
l ALLOCATING STORAGE
l DECLARING TYPES
l ASSIGNMENTS
l THE COWARD'S WAY OUT
l A MORE REASONABLE SOLUTION
l LITERAL ARGUMENTS
l ADDITIVE EXPRESSIONS
l WHY SO MANY PROCEDURES?
l MULTIPLICATIVE EXPRESSIONS
l MULTIPLICATION
l DIVISION
l BEGINNING TO WIND DOWN
l TO COERCE OR NOT TO COERCE
l CONCLUSION
Part 15: BACK TO THE FUTURE (5th Mar 1994)
l INTRODUCTION
l NEW STARTS, OLD DIRECTIONS
l STARTING OVER?
l THE INPUT UNIT
l THE OUTPUT UNIT
l THE ERROR UNIT
l SCANNING AND PARSING
l THE SCANNER UNIT
l DECISIONS, DECISIONS
l PARSING
l REFERENCES
Part 16: UNIT CONSTRUCTION (29th May 1995)
l INTRODUCTION
l JUST LIKE CLASSICAL?
l FLESHING OUT THE PARSER
l TERMS AND EXPRESSIONS
l ASSIGNMENTS
l BOOLEANS
l BOOLEAN "AND"

Algorithms for Compiler Design

2007-08-09 19:51:37

Table of Contents
Algorithms for Compiler Design
Preface
Chapter 1 - Introduction
Chapter 2 - Finite Automata and Regular Expressions
Chapter 3 - Context-Free Grammar and Syntax Analysis
Chapter 4 - Top-Down Parsing
Chapter 5 - Bottom-up Parsing
Chapter 6 - Syntax-Directed Definitions and Translations
Chapter 7 - Symbol Table Management
Chapter 8 - Storage Management
Chapter 9 - Error Handling
Chapter 10 - Code Optimization
Chapter 11 - Code Generation
Chapter 12 - Exercises
Index
List of Figures
List of Tables
List of Examples

编译程序设计原理与构造技术

2007-08-09 19:39:44

1. 引论
2. 形式语言的基本知识
3. 词法分析
4. 语法分析
5. 语法制导翻译和中间代码生成
6. 运行环境
7. 代码生成
8. 代码优化和数据流分析
9. 编译器的设计与实现

Beautiful Code

2007-07-29 12:25:50

Beautiful Code: Leading Programmers Explain How They Think
亚马逊计算机榜首图书，五星推荐

Technology Trends in Wireless Communications

2007-06-24 08:49:20

A comprehensive discussion of trends on wireless communication technology.

[Genetic.Programming.Theory.and.Practice.II][15][lingeng1986][pdf].pdf

2007-06-19 09:20:04

O'Reilly作品~
编程必经之路..

java成功人士必读的书

2007-06-07 08:37:58

很好的书我找了好久了

《编译原理基础》习题与上机题解答

2007-06-06 14:11:26

内容简介
　　本书是为西安电子科技大学出版社出版的教材《编译原理基础》(2002年2月出版，刘坚编著)配套的参考书，内容包括习题解答、上机题和参考解决方案，并在附录中给出了源程序清单。习题解答部分给出了教材第1～6章中必做题的参考答案：上机题部分设计了一个函数绘图语言并要求为此语言编写一个解释器，解决方案以递归子程序方法为例详细讨论了文法的设计和词法分析器、语法分析器、语义支撑函数的编写与测试，同时也简单介绍了LEX／YACC方法的设计思想和程序设计特点：附录中分别给出了递归子程序和LEX／YACC两种实现方法的源程序清单以及在不同编译器条件下程序开发和运行环境的设置方法。本书可以作为工科院校计算机专业或非计算机专业编译原理程课的辅助教材，也可作为软件工程技术人员或程序设计爱好者的参考书。
　　本资料和配套教材的PDF电子版均已上传至NetYi，敬请各位读者留意下载。

编译原理基础

2007-06-06 14:02:15

内容简介
　　“编译原理”是国内高校计算机科学与技术专业的必修专业课之一，是一门理论与实践并重的课程，对引导学生进行科学思维和提高学生解决实际问题的能力有重要的作用。本书介绍程序设计语言和语言翻译的基本原理和技术，内容包括词法分析、语法分析、语义分析与中间代码生成、运行时的存储分配、以及目标代码的生成等。本书可以作为工科院校计算机专业或非计算机专业的本科生教材，也可以作为软件技术人员或程序设计语言爱好者的参考书。
　　本电子版是《编译原理基础》原书教材的PDF版，与该教材配套的习题与上机参考资料的PDF电子版也一并上传至NetYi，敬请各位读者留意下载。

bios的视频

2007-06-03 16:44:27

关于设置bois的视频

上海交大——编译原理第1讲

2007-06-01 21:40:12

编译原理课程详细讲解

introduction to The Design & Analysis of Algorithms(算法设计与分析基础)

2007-05-30 07:04:20

(美)Anany Levitin 著，清华大学出版社(影印版) 一书的ppt

程序设计规范（扫描版）

2007-05-23 17:53:48

英文名：A Discipline of Programming.
关于结构程序设计的权威著作，1976年出版。作者E.W.代克斯特拉是结构程序设计的创始人。本书论述的结构程序设计学说是程序设计方法学的基础。全书分两部分，第一部分是基本理论，提出用最弱前置谓词定义语义，并给出相应的结构程序设计语言。作者认为，程序设计是面向目标的推导过程，从问题的形式规定出发，采用逐步求精方法，逐步展开程序，同时作出正确性论证，最后可以获得一个结构清晰和正确的程序。第二部分用大量实例阐明他的思想和使用的各种具体技术。在此书之后出版的一系列程序设计著作，都以这本书为理论基础。

计算机算法——设计与分析导论(第三版)

2007-05-23 17:21:54

目录：
1，Analyzing Algorithms and problems：Principles and Examples
2，Data abstraction and basic data structures
3，Recursion and Induction
4，sorting
5，selection and adversary arguments
6，Dynamic sets and searching
7，graphs and graph traversals
8，graph optimization problems and greedy algorithms
9，Transitive closure，all-Pairs shortest paths
10，Dynamic programming
11，string matching
12，Polynomials and matrices
13，NP-Complete problems
14，Parallel algorithms
A，Java examples and Techniques

MATLAB 7_0实用指南（上下册）

2007-05-23 13:08:36

MATLAB 7_0实用指南（上下册）

Fast and Compact Regular Expression Matching

2007-05-19 14:36:57

关于快速正则表达式匹配的论文

mpi程序设计

2007-05-04 16:52:48

mpi简单入门

北大青鸟ACCP4.0 S1 第一学期 C语言和HTML PPT及代码

2007-05-03 19:49:56

内包含C语言和HTML的PPT文档和课后作业代码,十分全面

Z Notation

2007-05-03 07:27:56

This document was prepared by ISO Panel JTC1/SC22/WG19 (Rapporteur Group for Z) for project JTC1.22.45. Its structure is in accordance with ISO Directives Part 3. The membership of JTC1/SC22/WG19 (Rapporteur Group for Z) includes the members of BSI Panel IST/5/-/19/2 (Z Notation). Annexes A and B are normative parts of this International Standard; the other annexes are for information only.

装机必读DIY有备而战.rar

2007-05-03 00:36:12

想自己装电脑的看看

人工智能:一种现代方法Artificial Intelligence：A Modern Approach（只有3章）

2007-04-29 17:20:42

本书以详尽和丰富的资料，从理性智能体的角度，全面阐述了人工智能领域的核心内容，并深入介绍了各个主要的研究方向，是一本难得的综合性教材。全书分为八大部分：第一部分"人工智能"，第二部分"问题求解"，第三部分"知识与推理"，第四部分"规划"，第五部分"不确定知识与推理"，第六部分"学习"，第七部分"通讯、感知与行动"，第八部分"结论"。本书既详细介绍了大量的基本概念、思想和算法，也描述了各研究方向最前沿的进展，同时收集整理了详实的历史文献与事件。因此本书适合于不同层次和领域的研究人员及学生，可以作为信息领域和相关领域的高等院校本科生和研究生的教材或教学辅导书目，也可以作为相关领域的科研与工程技术人员的参考书。

完美模式设计指南

2007-04-29 14:34:21

一本繁体中文版的设计模式指南，我自己看着很费劲，免费共享出来，希望对有些人有所帮助。

parallel programs

2007-04-29 11:03:56

本书介绍了设计并行程序的技巧以及实现这些设计的工具(CC++, FM,HPF,MPI)

programming languages theory and practice2005

2007-04-25 09:20:56

programming languages theory and practice2005.pdf

Theoretical Introduction to Programming

2007-04-20 14:01:10

Theoretical Introduction to Programming

编译原理（龙书中文版）

2007-04-18 01:10:34

本书深入讨论了编译器设计的重要主题，包括词法分析、语法分析、语法制导分析、类型检查、运行环境、中间代码生成、代码生成、代码优化等，并在最后两章中讨论了实现编译器的一些编程问题和几个编译器实例，每章都提供了大量的练习和参考文献。本书从介绍编译的原理性概念开始，然后通过构建一个简单的一遍编译器来逐一解释这些概念。本书是编译原理课程的经典教材，作者曾多次使用本书的内容在贝尔实验室、哥伦比亚大学、普林斯顿大学和斯坦福大学向本科生和研究生讲授初等及高等编译课程。本书作者Alfred V．Aho、Ravi Sethi和Jeffrey D．Ullman是世界著名的计算机科学家，他们在计算机科学理论、数据库等很多领域都做出了杰出贡献。本书是编译领域无可替代的经典著作，被广大计算机专业人士誉为“龙书”。本书一直被世界各地的著名高等院校和科研机构(如贝尔实验室、哥伦比亚大学、普林斯顿大学和斯坦福大学等)广泛用作本科生和研究生编译原理与技术课程的教材，本书对我国计算机教育界也具有重大影响。书中深入讨论了编译器设计的重要主题，包括词法分析、语法分析、语法制导分析、类型检查、运行环境、中间代码生成、代码生成、代码优化等，并在最后两章中讨论了实现编译器的一些编程问题和几个编译器实例，而且每章都提供了大量的练习和参考文献。本书可以作为高等院校计算机专业本科生和研究生编译原理与技术课程的教材，也可以作为计算机技术人员必读的专业参考书之一。

程序设计语言编译原理（第3版）

2007-04-13 09:30:18

本书是在陈火旺、钱家骅、孙永强三位教授编写的《程序设计语言编译原理》的基础上，结合编译技术的最新研究成果和作者多年的教学经验编写而成的。本书比较全面、系统地介绍了编译程序构造的一般原理和基本实现方法，内容包括词法分析、语法分析、属性文法与语法制导翻译、语义分析与中间代码产生、符号表与运行时存储空间组织、优化与目标代码生成、并行编译技术。与原教材相比，本书将编译技术的最新发展，例如属性文法、面向对象语言的编译技术、并行编译技术、编译程序自动构造工具等内容系统地融合到教材中；在语言背景方面，以C，Pascal替代原教材中的FORTRAN和Algol；并在一些重要的章节中增加了必要的例题，以帮助读者理解和自学。本书可作为高等(理、工)院校计算机科学(或工程)专业的教材，或作为教师、研究生、高年级学生或软件工程技术人员的参考书。
【目录信息】
第一章引论
1．1 什么叫编译程序
1．2　编译过程概述
1．3 编译程序的结构
1．3．1 编译程序总框
1．3．2　表格与表格管理
1．3．3 出错处理
1．3．4 遍
1．3．5 编译前端与后端
1．4 编译程序与程序设计环境
1．5 编译程序的生成
第二章高级语言及其语法描述
2．1 程序语言的定义
2．1．1 语法
2．1．2 语义
2．2 高级语言的一般特性
2、2．1 高级语言的分类
2．2．2 程序结构
2．2．3　数据类型与操作
2．2．4　语句与控制结构

程序理论_计算机基础理论_计算机类_最新资料_得益网

编译原理考点精要与解题指导

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generatio

Design.Patterns.Explained.A.New.Perspective.on.Object.Oriented.Design

编码奥秘

国外计算机科学教材系列 现代编译器的Java实现 （第二版）

编译器与编译器生成器（C++版）Compilers and Compiler Generators:an introduction with C++

编译程序设计：理论、工具与实例（Java版）Compiler Design:Theory, Tools, and Examples(Java Edition)

编译原理习题精选与解析

Foundations of Multithreaded Parallel and Distributed Programming

Exposing Cryptovirology

The Transform and Data Compression Handbook

The Data Compression Book

波谱原理与解析

编译程序构造原理和实现技术

《算法设计与实验题解》(高清晰PDF)

高性能计算之并行编程技术_MPI并行程序设计

Artificial Intelligence.A New Synthesis 英文版

正则表达式资料打包（正则全集）

Codes and Curves

Algorithmic Information Theory-Third Printing

现代计算机历史 A.History.of.Modern.Computing

Let's Build a Compiler

Algorithms for Compiler Design

编译程序设计原理与构造技术

Beautiful Code

Technology Trends in Wireless Communications

[Genetic.Programming.Theory.and.Practice.II][15][lingeng1986][pdf].pdf

java成功人士必读的书

《编译原理基础》习题与上机题解答

编译原理基础

bios的视频

上海交大——编译原理第1讲

introduction to The Design & Analysis of Algorithms(算法设计与分析基础)

程序设计规范（扫描版）

计算机算法——设计与分析导论(第三版)

MATLAB 7_0实用指南 （上下册）

Fast and Compact Regular Expression Matching

mpi程序设计

北大青鸟ACCP4.0 S1 第一学期 C语言和HTML PPT及代码

Z Notation

装机必读DIY有备而战.rar

人工智能:一种现代方法Artificial Intelligence：A Modern Approach（只有3章）

完美模式设计指南

parallel programs

programming languages theory and practice2005

Theoretical Introduction to Programming

编译原理（龙书中文版）

程序设计语言编译原理（第3版）

国外计算机科学教材系列现代编译器的Java实现（第二版）

MATLAB 7_0实用指南（上下册）