搜索结果: 1-6 共查到“计算机科学技术 Abstraction”相关记录6条 . 查询时间(0.046 秒)
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
Heap Analysis Relational Static Analysis Array Analysis Memory Invariants
2016/5/24
Many relational static analysis techniques for precise reasoning about heap contents perform an explicit case analysis of all possible heaps that can arise. We argue that such precise relational reaso...
福建师范大学软件学院计算机系统概论课件 Data Abstraction。
From Computing Machineries to Cloud Computing:The Minimal Levels of Abstraction of Inforgs through History
Computing Machineries Cloud Computing Minimal Levels
2015/7/22
Before the modern computing era, the word `computers' referred to human beings as living calculators---in fact, still Turing (1950) proposed his test for A.I. referring to `computing machinery', not `...
The Minimal Levels of Abstraction in the History of Modern Computing
Epistemological levellism Constructive levellism Philosophy of In- formation Computational interconnected informational organisms
2015/7/10
From the advent of general-purpose, Turing-complete machines, the relation between operators, programmers, and users with computers can be seen in terms of interconnected informational organisms (info...
From Documents to User Interfaces Universal Design and the Emergence of Abstraction
User Interfaces Universal Design Emergence Abstraction
2009/12/8
representations of content which allow it to be automatically adapted to suit the delivery context, have emerged historically with the development of markup languages intended to facilitate the storag...
Semantic Hierarchical Abstraction of Web Site Structures for Web Searchers
Hierarchical abstraction web browsing site map web site abstraction directed graph semantic weights.
2014/3/12
The hierarchical abstraction of a Web site is useful in organising information and reducing the number of alternatives that must be considered at any one time when browsing the site. We present such a...