• SATzilla

  • Referenced in 100 articles [sw06281]
  • given objective function (such as mean runtime, percent of instances solved, or score ... candidate solvers, by predicting performance score instead of runtime, and by using hierarchical hardness models...
  • jPredictor

  • Referenced in 5 articles [sw23065]
  • jPredictor is a runtime predictive analysis tool for Java. Based on sliced causality among property ... order on events, has been used in runtime analysis of concurrent programs in several works ... lead to a better coverage of the prediction, while still keeps the correctness...
  • Moca

  • Referenced in 5 articles [sw08801]
  • uniformly, then our stochastic analysis predicts an O(nlogn) runtime. Indeed, extensive experiments ... synthetic and real-world datasets confirm a runtime of less than 10 -5 nlogn seconds ... cells crossed by a motorcycle, as predicted by our analysis. This makes Moca the first...
  • PACC starter kit

  • Referenced in 1 article [sw17498]
  • safety, and security analyses. These analyses predict runtime behavior based on specifications of component behavior...
  • WorkflowSim

  • Referenced in 2 articles [sw22891]
  • could cause significant inaccuracies in the predicted workflow runtime. To further validate its value...
  • QBFFam

  • Referenced in 1 article [sw41579]
  • will see in this paper, runtime behavior predicted by proof complexity is indeed reflected...
  • Stargazer

  • Referenced in 1 article [sw33633]
  • specific performance model which can accurately predict program runtime for any point in the design...
  • HYCOM

  • Referenced in 18 articles [sw18126]
  • based ocean prediction system output. The ocean prediction system runs daily at the Navy ... accessible within 48-hrs of the initial runtime. This site also provides access to several...
  • CCMpred

  • Referenced in 1 article [sw17014]
  • contact prediction have made reliable de novo prediction of protein structures possible ... overheads. This impedes the runtime and large-scale contact prediction for larger protein families, multi...
  • GRAMPC

  • Referenced in 8 articles [sw30732]
  • software framework for embedded nonlinear model predictive control using a gradient-based augmented Lagrangian approach ... other nonlinear MPC packages. In addition, runtime results and memory requirements for GRAMPC...
  • DeepRT

  • Referenced in 1 article [sw36237]
  • DeepRT: predictable deep learning inference for cyber-physical systems. Recently, in mobile and embedded devices ... deep learning inference runtime. Unlike previous approaches, DeepRT focuses on supporting predictable temporal and spatial ... minimize the tardiness of inference tasks at runtime while achieving high energy-efficiency. Further, DeepRT...
  • Callgrind

  • Referenced in 1 article [sw37998]
  • and/or branch prediction (similar to Cachegrind) can produce further information about the runtime behavior...
  • Parsec

  • Referenced in 9 articles [sw22031]
  • efficient techniques for evaluating design alternatives and predicting their impact on overall system performance metrics ... called Pave, and the portable runtime system that implements the simulation algorithms...
  • STRAL

  • Referenced in 3 articles [sw35516]
  • published reference alignments. The quality of alignments predicted by STRAL is far better than that ... homologies drop below ∼65%; nevertheless STRAL’s runtime is comparable to that of CLUSTALW. Availability...
  • PACE

  • Referenced in 2 articles [sw21259]
  • relevant performance numbers without sacrificing accuracy. The predictive nature of the approach provides both ... times, these techniques can be used at runtime to assist in application steering and scheduling...
  • SMATER

  • Referenced in 1 article [sw30962]
  • runtime. SMATER leverages a machine-learning model and retargetable back-end library to quickly predict...
  • SpMV

  • Referenced in 1 article [sw41804]
  • runtime. SMATER leverages a machine-learning model and retargetable back-end library to quickly predict...
  • pyBKT

  • Referenced in 1 article [sw38426]
  • literature. The library provides data generation, fitting, prediction, and cross-validation routines, as well ... tutor log dataset formats. We evaluate the runtime with various dataset sizes and compare ... real-world data to validate its predictions, comparing pyBKT’s supported model variants with results...
  • PeptX

  • Referenced in 2 articles [sw35178]
  • possible peptides is not feasible in reasonable runtime, we introduce a heuristic approach. We developed ... influence and (2) that five different binding prediction methods lead to five different sets ... different previously published scoring functions in reasonable runtime. Furthermore we give insight into the different...
  • OGOLEM

  • Referenced in 1 article [sw25240]
  • towards chemical problems such as cluster structure prediction, parameter optimization and molecular design. Through ... well as very efficient at runtime...