• 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...

• Genetic Algorithm and Direct Search Toolbox

• Referenced in 29 articles [sw13052]
• MATLAB language. This means that you can inspect the algorithms, modify the source code...

• 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...