Results 1 - 10
of
17,485
Table 1: Sign Propagation Rules.
1999
Cited by 5
Table 3: Overview of local propagation algorithms.
1998
"... In PAGE 11: ... inequalities permitted. See Table3 for an overview of the systems described in this section. 3.... ..."
Cited by 1
Table 3: Overview of local propagation algorithms.
1998
"... In PAGE 11: ... inequalities permitted. See Table3 for an overview of the systems described in this section. 3.... ..."
Cited by 1
Table 1. Call and success states of simple programs with limited local propagation.
"... In PAGE 9: ... We tested several programs. For a lot of simple programs, one obtains already good results as illustrated by Table1 which con- tains for each program all the call states and the corresponding success states of the involved predicates. The code of the programs is found in Appendix A.... ..."
Table 2. Call and success states for qs/3 with limited local propagation
Table 3: The signs propagated from the part of the network under consideration to the variable Lymph-metas.
Table 3: The signs propagated from the part of the network under consideration to the variable Lymph-metas.
Table 3.1: Local optimizations. constant propagation forward copy propagation memory copy propagation arithmetic common subexpression elimination redundant load elimination redundant store elimination constant folding
Table 4 shows the dependencies between the Web server, the UNIX services, and the OS. A plus sign indicates that the propagation might occur; a minus sign indicates that the propaga- tion will not occur, because there is no dependency.
in NO WARRANTY
2002
"... In PAGE 63: ...+ + + + + + + + + + + Web server changes propagate to the OS - +1 - +1 - - + + + - - UNIX services changes propagate to the OS + + + + + + + + + + + 1 Semantic dependencies still exist, but they are weakened by the abstraction level of the OS services interface. Table 4: Dependencies Between the Web Server, OS, and UNIX Services In the row of Table4 that shows the dependencies between the Web server and the OS, the UNIX services components acts as an intermediary to break the dependencies on data, ser- vice syntax, control sequencing, quality of service, and resource behavior. The use of the tactic for separating the interface from the implementation also weakens the semantic de- pendencies between the Web server and OS.... ..."
Results 1 - 10
of
17,485