In applying stateless model checking methods to realistic multithreaded programs, we find that stateless search methods are ineffective in practice, even with dynamic partial order reduction (DPOR) enabled. To solve the inefficiency of stateless runtime model checking, this paper makes two related contributions. The first contribution is a novel and conservative light-weight method for storing ...

In this paper we consider a new class of logic programs, called weight constraint programs with functions, which are lparse programs incorporating functions over non-Herbrand domains. We define answer sets for these programs and develop a computational mechanism based on loop completion. We present our results in two stages. First, we formulate loop formulas for lparse programs (without functio...

optimal design of cantilever reinforced concrete retaining wall can lead considerable cost saving if its involvement in hill road formation and railway line formation is significant.  a study of weight reduction optimization of reinforced cantilever retaining wall subjected to a sloped backfill using differential evolution algorithm (dea) is carried out in the present research.  the retaining w...

OBJECTIVE The purpose of this study was to estimate how much at-risk individuals are willing to pay for type 2 diabetes primary prevention programs. RESEARCH DESIGN AND METHODS An Internet-based, choice-format conjoint survey was presented to individuals at elevated risk for type 2 diabetes. Hypothetical diabetes risk-reduction programs included seven features: diet, exercise, counseling, med...