Searching for "Controlling witnesses." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
SMARTS: Exploiting temporal locality and parallelism through vertical execution
- … model has only a single thread of control, there wits no possibility of the iterates requesting data…
- Cited by 11 (4 self) – Add To MetaCart
-
A PSYCHOSOCIAL APPROACH TO UNDERSTANDING PILOT AND CONTROLLER ACCEPTANCE OF CHANGE IN ATM, BASED ON
- … with the group of controllers. This was witnessed to some extent during our interviews, whereby the propensity…
- Add To MetaCart
-
A Language-Theoretic Approach to Specifying and Verifying
- … state storage tape FSM_VC2 L2 Cache Control witness string tape Figure 5: The computation tree…
- Add To MetaCart
-
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
- … typing algorithms focusing on resources’ usage control witnessed by the works of FOURNET et al. [16…
- Cited by 2 (2 self) – Add To MetaCart
-
Game Classification and Game Design: Construction through Critical Analysis
- … addition of new dimensions (haste, synchronicity, and interval control) witnessed earlier is an example…
- Cited by 2 (0 self) – Add To MetaCart
-
M.J.: An efficient cellular solution for the Partition problem,in this volume
- … membranes with only two charges). This condition is controlled by the “witness-objects” e ′ i and e′′ i…
- Cited by 1 (1 self) – Add To MetaCart
-
Recover of Productivity in Acid Sulfate Soils Non-Coast in Colombia
- … (OM) 10 6.87 76.8 cd 0 Control-witness 0 2.99 33.5 g *means values **similar litters don't have…
- Add To MetaCart
-
Approximation representations for ∆2 reals
- … hand we have a non-decreasing sequence y which controls the enumeration in Az, i.e. whenever we wish…
- Cited by 2 (2 self) – Add To MetaCart
-
Multiobjective flow control in telecommunications networks
- …Abstract MULTIOBJECTIVE FLOW CONTROL IN TELECOMMUNICATION NETWORKS Christos Douligeris Department…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 9.
