Search Results for Invariants.

6 Results Found

000000DEFAULT

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

Palaniswamy, Prashanth, author.

Format:

Excerpt:

vulnerabilities are then mitigated, to the extent possible, by adding executable invariants on system operation

Patlolla, Sai Sidharth, author.

Format:

Excerpt:

thesis offers a thorough documentation on the vulnerable points of attack, invariants used for removing

Harrison, Gavin M, author. (orcid)0000-0002-6471-397X

Format:

Excerpt:

to computing with sparse matrices and can be used to compute matrix invariants such as minimal

Schulze, Christoph, author. (orcid)0000-0001-9300-5641

Format:

Excerpt:

; instrument → retest paradigm, where the initial invariants are refined with additional test data. This

Sousa, Valter Balegas de, author.

Format:

Excerpt:

unmodified weak consistency systems, while enforcing application invariants, as in strong consistency systems.

Gao, Zebao, author.

Format:

Excerpt:

to quantify the flakiness of different layers of test outputs (such as code coverage, invariants, and

	{displayName}	{count}
{error}