搜索结果: 1-8 共查到“abstraction”相关记录8条 . 查询时间(0.078 秒)
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...
Delay-based Bandwidth-aware Topology Abstraction Scheme for OIF E-NNI Multi-domain Routing
Fiber optics optical communications Networks circuit-switched
2010/6/5
An abstraction scheme for delay-based metric advertisement of virtual intra-domain links is proposed for multi-domain traffic engineering. The scheme guarantees an effective combination of blocking pr...
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...
Abstraction and control techniques for non-stationary scheduling problems
non-stationary scheduling heuristic approaches
2009/11/30
The paper faces the problem of scheduling from a new perspective, trying to bridge the gap between classical heuristic approaches and system identification and control strategies. To this aim, a compl...
Semantic Hierarchical Abstraction of Web Site Structures for Web Searchers
Hierarchical abstraction web browsing site map web site abstraction directed graph semantic weights.
2002/3/6
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...