• COMET

  • Referenced in 70 articles [sw03051]
  • constraint programming has emerged as a fundamental methodology to solve a variety of combinatorial problems...
  • SystemC

  • Referenced in 41 articles [sw07807]
  • SystemC fits into the system design methodology; Why features are as they are.par Well-known ... adoption and teaching of new technologies and methodologies for a combined total of 42+ years ... Ally, focused on helping companies adopt SystemC methodologies...
  • SPLASH-2

  • Referenced in 45 articles [sw09604]
  • SPLASH-2 programs: characterization and methodological considerations. The SPLASH-2 suite of parallel applications ... processors. The other, related goal is methodological: to assist people who will use the programs...
  • Jason

  • Referenced in 61 articles [sw06187]
  • generated using an agent-oriented software engineering methodology particularly suited for implementation using BDI-based...
  • StatXact

  • Referenced in 60 articles [sw04926]
  • offering of validated exact statistics tests and methodologies. The environment is easy to understand...
  • ProB

  • Referenced in 60 articles [sw07084]
  • specifications. We describe the underlying methodology of ProB, and present the important aspects...
  • METATEM

  • Referenced in 55 articles [sw06568]
  • MetateM: An introduction. A methodology for the use of temporal logic as an executable imperative...
  • PHiPAC

  • Referenced in 53 articles [sw04898]
  • near peak performance. We have developed a methodology whereby near-peak performance on such routines...
  • wbs

  • Referenced in 50 articles [sw11110]
  • state of the art. The WBS methodology is implemented in the R package wbs, available...
  • EBarrays

  • Referenced in 31 articles [sw08355]
  • Microarrays. We have developed an empirical Bayes methodology for gene expression data to account ... range of modeling assumptions. The methodology is implemented in an R library called EBarrays. Functions ... This chapter provides an overview of the methodology and its implementation in EBarrays...
  • R-INLA

  • Referenced in 49 articles [sw08014]
  • have a near-Gaussian distribution. The proposed methodology is an essential component of a bigger...
  • TRIC

  • Referenced in 46 articles [sw02165]
  • naturally circumvents all previously imposed constraints. The methodology is based on physical inspirations...
  • edgeR

  • Referenced in 45 articles [sw06936]
  • transcripts, improving the reliability of inference. The methodology can be used even with the most...
  • ComPAIRS

  • Referenced in 45 articles [sw16191]
  • statements in value tree analysis. The underlying methodology of these programs is described...
  • jStar

  • Referenced in 32 articles [sw11261]
  • this paper we introduce a novel methodology for verifying a large set of Java programs ... techniques. We demonstrate the effectiveness of our methodology by using jStar to verify example programs...
  • ITK

  • Referenced in 44 articles [sw08382]
  • image analysis. Developed through extreme programming methodologies, ITK employs leading-edge algorithms for registering...
  • AK-MCS

  • Referenced in 44 articles [sw18303]
  • from literature are performed to illustrate the methodology and to prove its efficiency particularly...
  • MonoSLAM

  • Referenced in 41 articles [sw18884]
  • first successful application of the SLAM methodology from mobile robotics to the ”pure vision” domain...
  • CommonKADS

  • Referenced in 29 articles [sw01531]
  • been constructed as part of the CommonKADS methodology, and its presentation in the book allows ... application independent of a particular methodology, or tools for implementing KBS’s. This book contains...