Searching for "Trace Substitution." – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
On the Relationship Between Process Algebra and Input/Output Automata (Extended Abstract)
- … and output actions, the quiescent trace preorder and the fair trace preorder are substitutive. A simple I…
- Cited by 30 (1 self) – Add To MetaCart
-
Feature-Based TAG in place of multi-component adjunction: Computational Implications
- …, such as shown in (3), requires that the tree with the trace be substituted rather than adjoined as in the cases…
- Cited by 4 (2 self) – Add To MetaCart
-
A consistent semantics of self-adjusting computation
- … two expressions, performs binding by substitution, and yields a trace consisting of the sequential…
- Add To MetaCart
-
Scheme: An interpreter for extended lambda calculus
- … in two ways. (1) We will consider programming styles in terms of substitution semantics of the lambda…
- Cited by 53 (2 self) – Add To MetaCart
-
On the Syntax of Dependent Types and the Coherence Problem (working draft)
- … gives no trace, but substituting a propositionally equal part is recorded in a construction. For example…
- Add To MetaCart
-
Literal Movement Grammars
- …- formation (the filler), and then find the logical location (the trace), to substitute that information…
- Cited by 4 (4 self) – Add To MetaCart
-
How loss and delay correlations affect TCP pseudo
- … the PingTrace by substituting a sequence of ‘0’s of length with a sequence of length Local Slope (2H) 1.7 1…
- Add To MetaCart
-
Chiral Anomalies
- … matrix associated with isospin. If we take the trace, substituting in for the charge of the quarks, we…
- Add To MetaCart
-
Policing and Statistical Multiplexing of Self-Similar Sources
- … variance for this trace and substitute for and s 2 in Equation 1. We compute the optimal envelope process…
- Cited by 3 (0 self) – Add To MetaCart
-
ESG89001 Electro magnetic compatibility and printed circuit board (PCB) constraints
- … line segments, ds1, ds2, of each trace. Substituting the geometry of two parallel lines results in: M k…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
