• Pueblo

  • Referenced in 34 articles [sw00743]
  • combine it with generic implication graph analysis for conflict-induced learning. Novel features...
  • versat

  • Referenced in 10 articles [sw08417]
  • including clause learning, watched literals, optimized conflict analysis, non-chronological backtracking, and decision heuristics. Unlike...
  • Program-Conflict-Analysis

  • Referenced in 5 articles [sw32219]
  • Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors. In this work ... precision of a static program analysis that detects conflicts (e. g. data races) in programs ... theorem prover. As common in static program analysis, our program model abstracts guarded branching ... thread creation. The analysis is based on the observation that all conflicts already occur...
  • CLAN

  • Referenced in 8 articles [sw00129]
  • CLAN: A tool for contract analysis and conflict discovery...
  • VIKOR

  • Referenced in 43 articles [sw38339]
  • alternatives in the presence of conflicting criteria, and on proposing compromise solution (one or more ... VIKOR method is extended with a stability analysis determining the weight stability intervals and with...
  • AnaCon

  • Referenced in 2 articles [sw14801]
  • framework for conflict analysis of normative texts written in controlled natural language. In this paper ... concerned with the analysis of normative conflicts, or the detection of conflicting obligations, permissions...
  • SplitsTree

  • Referenced in 32 articles [sw12234]
  • that may indicate evidence for different and conflicting phylogenies. RESULTS: SplitsTree is an interactive program ... transformations, the computation of parsimony splits, spectral analysis and bootstrapping...
  • DPMF

  • Referenced in 1 article [sw02810]
  • Dynamic Policy Management Framework (DPMF), a Conflict Analysis with Partial Information (CAPI) mechanism ... provide an approach of policy conflict analysis in open environments without complete policy information...
  • TAMC

  • Referenced in 72 articles [sw07198]
  • applications are data assimilation, model tuning, sensitivity analysis, and determination of singular vectors. The adjoint ... presented and illustrated with some examples.par Conflicts that occur due to loops and redefinition...
  • QMiraXT

  • Referenced in 4 articles [sw11456]
  • Tool unterstützt fortgeschrittene Techniken zur conflict und solution analysis sowie Lernen von Konfliktklauseln. Die bedeutendste...
  • TRELLIS

  • Referenced in 4 articles [sw00977]
  • topic (e.g., intelligence analysis), and handle incomplete and conflicting information (e.g., genealogy research...
  • margrave

  • Referenced in 4 articles [sw28803]
  • firewall analysis, including enumerating consequences of configuration edits, detecting overlaps and conflicts among rules, tracing ... security goals. Margrave differs from other firewall-analysis tools in supporting queries at multiple levels...
  • Velodrome

  • Referenced in 5 articles [sw08925]
  • that is both sound and complete. The analysis reasons about the exact dependencies between operations ... conflict-serializable. Despite this significant increase in precision, the performance and coverage of our analysis...
  • CYCLADES

  • Referenced in 3 articles [sw15227]
  • introduces no conflicts during the parallel execution, and offers a black-box analysis for provable...
  • L2Roe

  • Referenced in 15 articles [sw18355]
  • present for the first time an asymptotic analysis of the last method. Numerical tests ... show the correct behavior of L2Roe. No conflict is observed between the reduced numerical dissipation...
  • GKLEE

  • Referenced in 11 articles [sw12794]
  • exploration. Existing tools based on conservative static analysis or conservative modeling of SIMD concurrency generate ... bugs (non-coalesced memory accesses, memory bank conflicts, and divergent warps). We provide...
  • CalCS

  • Referenced in 8 articles [sw13098]
  • generate succinct infeasibility proofs that support conflict-driven learning. Moreover, whenever non-convex constraints ... model checking of hybrid automata and static analysis of floating-point software...
  • Mousetrap

  • Referenced in 3 articles [sw28270]
  • source mouse-tracking package. Mouse-tracking – the analysis of mouse movements in computerized experiments ... indicator of commitment to or conflict between choice options during the decision process. Using mouse ... using the mousetrap package, which greatly facilitates analysis. Mousetrap is cross-platform, open-source...
  • MathCheck

  • Referenced in 13 articles [sw13642]
  • within the inner loop of a conflict-driven clause-learning SAT solver. SAT+CAS systems ... higher-dimensional hypercubes. We provide detailed performance analysis and show an exponential reduction in search...