• SYMMGRP.MAX

  • Referenced in 67 articles [sw10756]
  • MACSYMA program that performs the most elaborate part of the job, namely the construction...
  • CABOB

  • Referenced in 30 articles [sw17813]
  • upper and lower bounding (also across components), elaborate and dynamically chosen bid-ordering heuristics...
  • Ruby

  • Referenced in 26 articles [sw16267]
  • insight underlying the semantics is that various elaborate features of Ruby can be cleanly represented...
  • LUDWIG

  • Referenced in 22 articles [sw02229]
  • large codes for academic consortia. Next we elaborate on some parallel implementation issues such...
  • FELSOS

  • Referenced in 16 articles [sw18095]
  • free moving interface. Our goal is to elaborate a unified strategy for numerical modelling...
  • EasyCrypt

  • Referenced in 14 articles [sw09738]
  • present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches...
  • CRCP

  • Referenced in 13 articles [sw18339]
  • efforts from large-eddy simulation to elaborate yet ‘embarrassingly parallel’ turbulence models. Similar...
  • TOPPER

  • Referenced in 11 articles [sw01390]
  • available multiprocessor system. TOPPER proceeds with the elaboration of these two graphs and proposes...
  • dlm

  • Referenced in 11 articles [sw04503]
  • maximum likelihood estimation and a much more elaborated one on Bayesian inference. The last chapter...
  • SALBPGen

  • Referenced in 9 articles [sw14513]
  • variety of real-world problem variations and elaborate solution methods were developed and presented...
  • Prosper

  • Referenced in 8 articles [sw01309]
  • solutions. An architecture comprising two layers is elaborated. The lower layer, attached directly yet flexibly...
  • HASL

  • Referenced in 5 articles [sw13330]
  • advantage with LHA is that rather elaborate information can be collected on-the-fly during ... where temporal reasoning is naturally blended with elaborate reward-based analysis. We illustrate the HASL...
  • TRIM

  • Referenced in 7 articles [sw01375]
  • check whether oneset of requirements correctly elaborates on another. This paper presents TRIM, a toolfor...
  • MSTA

  • Referenced in 6 articles [sw09777]
  • tool that supports the construction, analysis and elaboration of Modal Transition Systems...
  • EDPEPPS

  • Referenced in 5 articles [sw02269]
  • detailed PVM platform model library has been elaborated that is linked against the user application...
  • NLREG

  • Referenced in 5 articles [sw08630]
  • regularization methods which make use of more elaborate prior information. Accordingly, there is a need...
  • GENEREG

  • Referenced in 4 articles [sw08631]
  • regularization methods which make use of more elaborate prior information. Accordingly, there is a need...
  • LinModel

  • Referenced in 4 articles [sw10152]
  • With the aid of the software LinModel elaborated on the basis of the computer algebra...
  • COSMOS

  • Referenced in 4 articles [sw13329]
  • sophisticated temporal reasoning is naturally blended with elaborate reward-based analysis. COSMOS takes as input...
  • LTSA-MSC

  • Referenced in 2 articles [sw02369]
  • LTSA-MSC: Tool support for behaviour model elaboration using implied scenarios. We present a tool ... that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing...