与 «INSTANTIATION»相关的英语书籍
在以下的参考文献中发现
instantiation的用法。与
instantiation相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
Instantiation Theory: On the Foundations of Automated Deduction
This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems.
2
VHDL Designer’s Reference
The instantiation mechanism is also very different in the two languages. In VHDL,
components are instantiated in architectures, and these components are linked to
couples entity-architecture via a configuration declaration or a configuration ...
This type ofinstantiation is termed implicit instantiation because the compiler
deduces the necessity for making the definition by noting that the program uses a
Swap() function with int parameters. Originally, using implicit instantiation was the
...
4
Exploring Translation and Multilingual Text Production: ...
Translation in relation to the global dimensions: stratification & instantiation In the
preceding section, I sketched the relevant environments in which translation —
including translation equivalence and translation shift — can be located.
Erich Steiner, Colin Yallop, 2001
5
A Paradigm Theory of Existence: Onto-Theology Vindicated
[1] The particular a instantiates property F. [2] Prima facie, however, instantiation
is a universal, found wherever there are things having properties. [3] So this state
of affairs, a's instantiating property F, is a token of the type instantiation... [4] The ...
6
Design Patterns Formalization Techniques
Consistency management between specification and instantiation views, so
changes to a specification are reflected in each of the instantiations • Support for
binding UML model elements to instantiation diagram participants and proxies.
7
Rapid Integration of Software Engineering Techniques: First ...
The runtime organization to accomplish this functional behavior has been
illustrated earlier in Figure 4, introducing also the logical differentiation of classes
among virtual objects, instantiation definitions and mapping schemes. Such
logical ...
8
Generative Programming and Component Engineering: Second ...
They cannot be directly used for our purpose for several reasons: the target
components may not be visualizable, they may be written in languages other
than Java, their instantiation operations may not fit the JavaBeans model, etc.
Since the ...
Frank Pfenning, Yannis Smaragdakis, 2003
9
A Logical Approach to Discrete Math
In many predicate logics, the following law of Instantiation (9.13) is written as an
inference rule, and One-point rule (8.14), particularized for universal
quantification as (Vx | x = E : P) = P[x := E] , does not appear. However, the One-
point rule is ...
David Gries, Fred B. Schneider, 1993
10
Object-Process Methodology: A Holistic Systems Paradigm ; ...
Dog is the class of all the dogs, and Lassie is an actual exemplar of that class. As
depicted in Figure 8.20, the symbol of instantiation is a black inverted triangle
inside a larger white triangle. Figure 8.20. The instantiation symbol links a class ...
包含词语«INSTANTIATION»的新条目
找出国内和国际出版社所讨论的内容,以及词语
instantiation在以下新条目的上下文中是如何使用的。
RADCOM Bolsters Its NFV-Based Customer Experience …
MaveriQ Manager enables full automation for a wide range of procedures including: virtual probe instantiation, automated vertical and ... «PR Newswire, 七月 15»
Of brokerage booms, hidden debt and Chinese GDP data | FT …
This gap is the statistical instantiation of the way in which money has slowed down in the real economy and metastasized in the speculative ... «FT Alphaville, 七月 15»
Cloud Computing - Gaining the Benefits, Avoiding the Risks
... Technology 3.0 also enables confidentially by encrypting the workload prior to instantiation and storing it securely using OpenStack Glance. «CIO, 七月 15»
The appliance of converged infrastructure appliance, science
... upgrades, scale-out movements (when the cloud instance has to grow) and all the way back to the initial instantiation of the operating system ... «ComputerWeekly.com, 七月 15»
Laws for Mobility, IoT, Artificial Intelligence & Intelligent Process …
It is the addition of AI capabilities and the instantiation of heuristically derived recommendations that provide the "back end" benefit. «Pulse, 七月 15»
Podemos' dilemma and why leadership still matters
... to a radically democratic politics that eschews the formation of a “professional” leadership, these parties have been the closest instantiation of ... «Open Democracy, 七月 15»
Mellanox, IBM, ORNL Spearhead UCX Framework Initiative
Functionality: work request setup and instantiation of operations. UC-P for Protocols. High-level API uses UCT framework to construct protocols ... «HPCwire, 七月 15»
Fixing flaws in science must be professionalised. By me in the …
... reporting with best practice guidelines, but perhaps most encouraging is the instantiation of such principles in clear proformas for reporting. «Bad Science, 七月 15»
Project Bonneville merges VMware virtualization with Docker …
“Others point to the resource management capabilities typically associated with VMs and the low overheads of container instantiation. «TechSpective, 七月 15»
Cyber-bogeymen are out there, but we should be just as worried …
It's the latest instantiation of post-9/11 paranoia, in which transport and infrastructure operators were jumping at every shadow, decontamination ... «ABC Online, 七月 15»