• Isar

  • Referenced in 140 articles [sw04599]
  • partial documents; intermediate states may be inspected by diagnostic commands...
  • MICE

  • Referenced in 130 articles [sw09315]
  • variables. Various diagnostic plots are available to inspect the quality of the imputations...
  • geoR

  • Referenced in 52 articles [sw04489]
  • calls and the user is encouraged to inspect other arguments of the functions using...
  • WaveLab

  • Referenced in 43 articles [sw09323]
  • published wavelet articles. The interested reader can inspect the source code to see exactly what...
  • TR-BDF2

  • Referenced in 30 articles [sw03446]
  • orders 2 and 3. A detailed inspection yields new results on stability, continuous extension, implementation...
  • Multilinear Engine

  • Referenced in 30 articles [sw14430]
  • solution may be determined by inspecting the singular values of the Jacobian matrix. A global...
  • Epigram

  • Referenced in 22 articles [sw09687]
  • compatibly. However, sooner or later, most programs inspect data and make a choice—at that...
  • MeshLab

  • Referenced in 19 articles [sw10726]
  • tools for editing, cleaning, healing, inspecting, rendering and converting this kind of meshes. The system...
  • NX

  • Referenced in 16 articles [sw10886]
  • manufacturing solutions for tooling, machining and quality inspection...
  • PBEQ-Solver

  • Referenced in 13 articles [sw17203]
  • molecules specified by users. Users can interactively inspect the calculated electrostatic potential on the solvent...
  • Firmato

  • Referenced in 12 articles [sw10595]
  • seen some impressive technological advances (e.g., stateful inspection, transparency, performance, etc.) and widespread deployment...
  • JCrasher

  • Referenced in 12 articles [sw12796]
  • supervision is required except for online inspection of the test cases that have caused...
  • Dendroscope

  • Referenced in 12 articles [sw21230]
  • graphics export capabilities. To support the inspection of large trees, Dendroscope offers a magnification tool...
  • AMNESIA

  • Referenced in 11 articles [sw12039]
  • part, the technique uses runtime monitoring to inspect the dynamically-generated queries and check them...
  • SparseLab

  • Referenced in 10 articles [sw09585]
  • included published articles. The interested reader can inspect the source code to see exactly what...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • systems have adopted a technique called stack inspection to address this concern. But its original ... present a new semantics for stack inspection based on a belief logic and its implementation ... which addresses the concerns of traditional stack inspection. With security-passing style, we can efficiently ... implementation showes reasonable performance (although traditional stack inspection is still faster), and is easier...
  • Anima

  • Referenced in 4 articles [sw10101]
  • Inspecting rewriting logic computations (in a parametric and stepwise way). Trace inspection is concerned with ... highly dynamic, parameterized technique for the trace inspection of Rewriting Logic theories that allows ... trace is driven by a user-defined, inspection criterion that specifies the required exploration mode ... selecting different inspection criteria, one can automatically derive a family of practical algorithms such...
  • RAVEN

  • Referenced in 8 articles [sw10079]
  • algorithms for analyzing critical delay times, for inspecting data values and event occurrences...
  • SoftPOSIT

  • Referenced in 8 articles [sw28187]
  • vision, including object recognition, object tracking, site inspection and updating, and autonomous navigation using scene...