Results 1 - 10 of 24,720

Table 1. Completion steps of all events of implementation and abstract model

in Shared Memory Consistency Protocol Verification against Weak Memory Models: Refinement via Model-Checking
by Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan 2002
"... In PAGE 9: ... Synchronization scheme: The discovery of the synchronization sequences between the implementation and the specification is the crux of our verification method. Table1 provides an overview of the overall synchronization scheme. This table compares the completion steps of both the implementation and the abstract model, and highlights all synchronization points.... ..."
Cited by 7

Table 2. Completion steps of all events of implementation and abstract model

in A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols
by Prosenjit Chatterjee, Ganesh Gopalakrishnan
"... In PAGE 13: ...2 Synchronization scheme The discovery of the synchronization sequences between the implementation and the specification is the crux of our verification method. Table2 provides an overview of the overall synchronization scheme. This table compares the com- pletion steps of both the implementation and the abstract model, and highlights all synchronization points.... ..."
Cited by 1

Table 1. Completion steps of all events of implementation and abstract model

in
by Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan
"... In PAGE 9: ... Synchronization scheme: The discovery of the synchronization sequences between the implementation and the specification is the crux of our verification method. Table1 provides an overview of the overall synchronization scheme. This table compares the completion steps of both the implementation and the abstract model, and highlights all synchronization points.... ..."

Table 1: Examples of synchronizing sequences.

in Binary Periodic Synchronizing Sequences
by Marcin Skubiszewski
"... In PAGE 14: ... In Section 5.2 (Figure 2 and Table1 ) examples of sequences are quoted for l = 3; 7; 11; 15; 19; 23; 31; 35. Proof of Theorem 4: Let S satisfy the hypotheses of the theorem.... In PAGE 16: ... The autodistance can be compared to up (l), also shown on the figures. Table1 reproduces part of these results. 5.... ..."

Table 1: Examples of synchronizing sequences.

in 6 Binary Periodic Synchronizing Sequences
by Marcin Skubiszewski 1991
"... In PAGE 15: ... In Section 5.2 (Figure 2 and Table1 ) examples of sequences are quoted for l =3n3b 7n3b 11n3b 15n3b 19n3b 23n3b 31n3b 35. Proof of Theorem 4: Let S satisfy the hypotheses of the theorem.... In PAGE 17: ... The autodistance can be compared to up (l), also shown on the figures. Table1 reproduces part of these results. 5.... ..."

Table 1: Examples of synchronizing sequences.

in Binary Periodic Synchronizing Sequences
by Marcin Skubiszewski
"... In PAGE 11: ... The autodistance can be compared to up(l), also shown on the figures. Table1 reproduces part of these results. 5.... ..."

Table 7.1 Results for Synchronizing Sequences

in Sequential Circuit Test Generation Using Genetic Techniques
by Michael Shaun Hsiao 1997
Cited by 2

Table 2. The contextual elements of the workflow task Writing an extended abstract

in A Similarity Measure for Task Contexts
by Roza Shkundina, Sven Schwarz 2005
Cited by 2

Table 4: Sequence Enumeration under Abstraction 1

in unknown title
by unknown authors 2005

Table 5: Sequence Enumeration under Abstraction 2

in unknown title
by unknown authors 2005
Results 1 - 10 of 24,720