• CSDP

  • Referenced in 202 articles [sw00169]
  • shared memory multi-processor systems, and it makes effective use of sparsity in the constraint ... CSDP has been compiled on many different systems. The code should work on any system...
  • Vador

  • Referenced in 134 articles [sw06987]
  • evolution of a system of particles under the effects of self-consistent electro magnetic fields...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 110 articles [sw19506]
  • synthesis of control systems, with an emphasis on quantifying the effects of uncertainty. μ-Tools ... data structures for the unified treatment of systems in either a time domain, frequency domain...
  • Spec#

  • Referenced in 123 articles [sw04598]
  • Spec# programming system is a new attempt at a more cost effective way to develop ... goals and architecture of the Spec# programming system, consisting of the object-oriented Spec# programming...
  • PIPER

  • Referenced in 28 articles [sw11478]
  • behavioral type-and-effect system for the π-calculus, which extracts sound models as types...
  • MPI

  • Referenced in 522 articles [sw06496]
  • number. These methods are capable of producing effectively exact derivative values. However, when second-derivative ... that multiplication is commutative. One particular number system is developed, termed hyper-dual numbers, which...
  • MJ

  • Referenced in 12 articles [sw24342]
  • core calculus for Java and Java with effects. In order to study rigorously object-oriented ... Boyland to extend Java with an effects system. This effects system is intended to delimit ... extension of MJ with a similar effects system and instrument the operational semantics. We then ... prove the correctness of the effects system; a question left open by Greenhouse and Boyland...
  • PYTHIA

  • Referenced in 29 articles [sw00747]
  • software/hardware artifacts. The functionality and effectiveness of the system is demonstrated for two existing performance...
  • GPDT

  • Referenced in 47 articles [sw04803]
  • computing resources available on multiprocessor systems, by distributing the heaviest computational tasks of each decomposition ... their careful combination to get an effective parallel tool is discussed. A comparison with state ... nonlinear support vector machines effectively tractable on common multiprocessor systems. This feature is not shown...
  • DDDAS

  • Referenced in 31 articles [sw18325]
  • Simulations and Measurements. Dynamic Data Driven Application Systems (DDDAS) entails the ability to incorporate additional ... application simulations and the effectiveness of measurement systems. This presents the potential to transform...
  • Freshml

  • Referenced in 50 articles [sw08992]
  • variables explicitly. This may have the computational effect of swapping bound names with freshly generated ... FreshML used a complicated static type system inferring information about the ’freshness’ of names ... expressions in order to tame this effect. The main contribution of this paper ... show (perhaps surprisingly) that a standard type system without freshness inference, coupled with a conventional...
  • IFISS

  • Referenced in 258 articles [sw04398]
  • iterative solvers for the discrete linear equation systems that arise in incompressible flow modelling ... interaction between the two and the resulting effect on overall efficiency...
  • TETRAD

  • Referenced in 440 articles [sw12177]
  • intended to replace flexible statistical programming systems such as Matlab, Splus or R. Tetrad ... ability to calculate predictions of the effects of interventions or experiments based on a model...
  • HSL_MI20

  • Referenced in 56 articles [sw07246]
  • most effective iterative methods for the solution of large, sparse linear systems obtained from ... design and development of a robust, effective and portable Fortran 95 implementation of the classical...
  • LGO

  • Referenced in 96 articles [sw00516]
  • program system LGO serves to solve global optimization problems under very mild -- continuity or Lipschitz ... into a menu-driven user interface which effectively assists the application development process. Implementation details...
  • BPKit

  • Referenced in 22 articles [sw05807]
  • iterative solution of linear systems. The most effective general purpose and black-box type...
  • CHomP

  • Referenced in 51 articles [sw09358]
  • Furthermore, most of our understanding of specific systems comes from experimental observation or numerical simulations ... efficient and effective topologically based methods to the analysis of nonlinear systems...
  • Möbius

  • Referenced in 25 articles [sw04098]
  • genes to the effects of malicious attackers on secure computer systems, in addition...
  • ArchJava

  • Referenced in 19 articles [sw01803]
  • describes the structure of a system, enabling more effective design, program understanding, and formal analysis ... software architecture with implementation, using a type system to ensure that the implementation conforms...
  • QUBE

  • Referenced in 28 articles [sw11381]
  • this paper we present QuBE, a system for deciding QBFs satisfiability. We start our presentation ... experimental results showing QuBE effectiveness in comparison with other systems. QuBE, and more information about...