• ML

  • Referenced in 517 articles [sw01218]
  • well-typed ML program does not cause runtime type errors.[1] ML provides pattern matching...
  • STL

  • Referenced in 79 articles [sw11800]
  • paper, we present some scenarios that may cause undefined or weird behaviour at runtime. These...
  • CreditRisk+

  • Referenced in 43 articles [sw31697]
  • risk that makes no assumptions about the causes of default. This approach is similar ... attempt is made to model the causes of market price movements. The CREDITRISK+ Model considers ... state of the economy, may cause the incidence of defaults to be correlated, even though...
  • BRITE

  • Referenced in 33 articles [sw03098]
  • used to study the relevance of possible causes for properties recently observed in Internet topologies ... Different combinations of possible causes can be tested. In this version, we consider four...
  • GHC

  • Referenced in 43 articles [sw23765]
  • restriction on data flow caused by unification, and the other is the introduction of choice...
  • T-coffee

  • Referenced in 40 articles [sw13195]
  • alignment but avoids the most serious pitfalls caused by the greedy nature of this algorithm...
  • Multilisp

  • Referenced in 33 articles [sw09420]
  • parallel programming languages, Multilisp incorporates constructs for causing side effects and for explicitly introducing parallelism...
  • CONTSID

  • Referenced in 33 articles [sw14945]
  • software support was available to serve the cause of direct time-domain identification of continuous...
  • dSPIN

  • Referenced in 31 articles [sw09888]
  • while coping with potential complexity blow-ups caused by adding extra functionalities. The input language...
  • TCPDUMP

  • Referenced in 22 articles [sw04165]
  • with the -w flag, which causes it to save the packet data to a file ... analysis, and/or with the -r flag, which causes it to read from a saved packet...
  • NESTOR

  • Referenced in 27 articles [sw22096]
  • used to aid in diagnosing the cause of a patient’s condition. This dissertation presents...
  • PointNet

  • Referenced in 27 articles [sw31209]
  • This, however, renders data unnecessarily voluminous and causes issues. In this paper, we design...
  • MAYA

  • Referenced in 26 articles [sw03423]
  • Verifying formal specifications usually reveals hidden errors causing the change of parts of the specification...
  • SACLIB

  • Referenced in 25 articles [sw00823]
  • preclude computations. Such problems have been caused by SACLIB 2.1 routines for computations with real...
  • pySDC

  • Referenced in 25 articles [sw16754]
  • slow dynamics are resolved. The method causes little numerical diffusion and its semidiscrete phase speed...
  • AMUSE

  • Referenced in 24 articles [sw11915]
  • very helpful in diagnosing the causes of infeasibility in large systems. Our algorithm is unique...
  • BATON

  • Referenced in 23 articles [sw09436]
  • efficiently. In spite of the tree structure causing distinctions to be made between nodes...
  • iRNAm5C-PseDNC

  • Referenced in 22 articles [sw24531]
  • eukaryotes and prokaryotes. It may also, however, cause cancers and other major diseases. Given...
  • EVPI

  • Referenced in 20 articles [sw02644]
  • solutions. Differing structures of the test problems cause differing levels of speed...
  • ArchJava

  • Referenced in 19 articles [sw01803]
  • decouple implementation code from architecture, allowing inconsistencies, causing confusion, violating architectural properties, and inhibiting software...