Search Results - "Theory of computation Models of computation"

No-Rainbow Problem and the Surjective Constraint Satisfaction Problem by Zhuk, Dmitriy

“…The Surjective Constraint Satisfaction Problem (SCSP) is the problem of deciding whether there exists a surjective assignment to a set of variables subject…”
Get full text

Checkpointing strategies for a fixed-length execution by Benoit, Anne, Perotin, Lucas, Robert, Yves, Vivien, Frederic

“…This work considers checkpointing strategies for a parallel application executing on a large-scale platform whose nodes are subject to failures…”
Get full text

Using symbolic evaluation to understand behavior in configurable software systems by Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam

“… We used symbolic evaluation to discover how the settings of run-time configuration options affect line, basic block, edge, and condition coverage for our subjects under a given test suite…”
Get full text

Type Theory based on Dependent Inductive and Coinductive Types by Basold, Henning, Geuvers, Herman

“…We develop a dependent type theory that is based purely on inductive and coinductive types, and the corresponding recursion and corecursion principles. This…”
Get full text

Parallel hierarchical molecular structure estimation by Chen, Cheng Che, Singh, Jaswinder Pal, Altman, Russ B.

“… Individual sources of data about molecular structure are subject to varying degrees of uncertainty…”
Get full text