Results 1 to 14 of 14
Sort by:

  • 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...