• RSVP

  • Referenced in 4 articles [sw03395]
  • geometric toolkit for controlled repair of solid models. The paper presents a system ... associated algorithms for repairing the boundary representation of CAD models. Two types of errors ... algorithms, e.g., finite element analysis, radiosity computation, model simplification, and solid free form fabrication ... valid solution. Our system proposes an object repairing process based on a set of user...
  • CADfix

  • Referenced in 3 articles [sw27299]
  • leading software solution for CAD model translation, repair, healing, defeaturing and simplification. CADfix tackles...
  • PARTRAC

  • Referenced in 2 articles [sw18319]
  • radiation damage induction. Recent model extension towards DNA repair processes extends the time dimension...
  • ASENT

  • Referenced in 2 articles [sw25271]
  • model a system, using either the Mission Reliability approach or the Reliability with Repair approach...
  • ReMESH

  • Referenced in 5 articles [sw21776]
  • friendly graphical tool which incorporates several mesh-repairing features, and allows to perform a kind ... post-processing of scanned surface models. In this context, ReMESH represents a valid support...
  • Nopol

  • Referenced in 2 articles [sw26884]
  • propose Nopol, an approach to automatic repair of buggy conditional statements (i.e., if-then-else ... required to contain passing test cases to model the expected behavior of the program ... case that reveals the bug to be repaired. The process of Nopol consists of three...
  • LPG

  • Referenced in 12 articles [sw20690]
  • represented in the actions graphs, and are modeled in the evaluation function. In temporal domains ... produce a quasi-solution that is then repaired by ADJ, a plan-analysis technique...
  • SensorDCSP

  • Referenced in 7 articles [sw30992]
  • event network simulator, which allows us to model the impact of different network traffic conditions ... study the attractiveness of solution repairing for solving a sequence of DisCSPs that represent...
  • Tortoise

  • Referenced in 1 article [sw30232]
  • allows system administrators to automatically synthesize program repairs based on changes made via the command ... idea of a synergistic programming model where the system administrator can fluidly move between declarative...
  • ORE

  • Referenced in 2 articles [sw24975]
  • article, we present ORE, a tool for repairing and enriching OWL ontologies. State ... detection of a variety of ontology modelling problems and guides the user through the process...
  • SAFERELNET

  • Referenced in 1 article [sw25304]
  • maintenance and availability. The approaches include modelling the reliability of systems throughout their lifetime ... study the impact of new maintenance and repair schemes on system safety, life cycle costs...
  • SINGRAR

  • Referenced in 2 articles [sw02322]
  • fuzzy multiple attribute decision making model. Underway is the development of an ES shell, which ... between fault detection and triggering of the repair process...
  • DeepTriage

  • Referenced in 0 articles [sw27745]
  • more difficult. Moreover, the efficiency of bug repairing will likely be reduced if the bugs ... similar characteristics. This paper proposes a learning model named DeepTriage based on the recurrent neural...
  • FGb

  • Referenced in 234 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • Galileo

  • Referenced in 13 articles [sw00316]
  • Galileo: A tool for dynamic fault tree analysis...
  • Maple

  • Referenced in 4919 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5703 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 374 articles [sw00610]
  • Produced by experts for use in a variety...
  • QuBE++

  • Referenced in 26 articles [sw00766]
  • In this paper we describe QuBE++, an efficient...