• OPERAS

  • Referenced in 4 articles [sw30593]
  • biological computation systems, such as X-machines and P Systems respectively. We demonstrate...
  • kPWorkbench

  • Referenced in 3 articles [sw19654]
  • systems as a set of communicating X-machines. kPWorkbench’s model checking environment permits...
  • JSXM

  • Referenced in 2 articles [sw15041]
  • Automated Test Generation. The Stream X-machine (SXM) is an intuitive and powerful modelling formalism...
  • FLAME

  • Referenced in 39 articles [sw00293]
  • We present a number of application program interfaces...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • CUDA

  • Referenced in 1324 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • OpenCL

  • Referenced in 232 articles [sw07060]
  • OpenCL™ is the first open, royalty-free standard...
  • Hadoop

  • Referenced in 130 articles [sw08481]
  • The Apache Hadoop software library is a framework...
  • NetLogo

  • Referenced in 116 articles [sw09150]
  • NetLogo, a Multi-agent Simulation Environment. NetLogo [Wilensky...
  • VCODE

  • Referenced in 8 articles [sw09697]
  • VCODE: A Retargetable, Extensible, Very Fast Dynamic Code...
  • CheCL

  • Referenced in 1 article [sw19655]
  • CheCL: transparent checkpointing and process migration of openCL...
  • FLAME

  • Referenced in 2 articles [sw19656]
  • FLAME is a generic agent-based modelling system...