Results 1 to 20 of 51
Sort by:

  • POWER-TRUCTOR
  • Referenced in 2 articles [sw38043]
  • gradually shrinking power requirements in the system-on-chip designs, sophisticated global power management policies...

  • xMAML
  • Referenced in 2 articles [sw21580]
  • norms and applications, usually implemented on system-on-chip (SOC), increases architecture performance and flexibility...

  • STABLE

  • Referenced in 2 articles [sw11913]
  • based property checking flow for System-on-Chip (SoC) designs. When verifying industrial data path...

  • PISA
  • Referenced in 65 articles [sw01397]
  • PISA consists of two parts: PISA is a...

  • TIMES
  • Referenced in 26 articles [sw01403]
  • TIMES -- a tool for modelling and implementation of...

  • FastLSA
  • Referenced in 3 articles [sw01958]
  • FastLSA: A fast, linear-space, parallel and sequential...

  • ISDL
  • Referenced in 10 articles [sw02314]
  • ISDL: An instruction set description language for retargetability...

  • POLIS
  • Referenced in 6 articles [sw03141]
  • An enhanced POLIS framework for fast exploration and...

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

  • SPIN
  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...

  • GALib
  • Referenced in 68 articles [sw04086]
  • GAlib: A C++ Library of Genetic Algorithm Components...

  • Uppaal
  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...

  • Genocop
  • Referenced in 1103 articles [sw04707]
  • Genocop, by Zbigniew Michalewicz, is a genetic algorithm...

  • SIGOA
  • Referenced in 31 articles [sw05065]
  • SIGOA: The Simple Interface for Global Optimization Algorithms...

  • SPEA2
  • Referenced in 486 articles [sw06686]
  • SPEA2 - The Strength Pareto Evolutionary Algorithm 2: SPEA2...

  • B4Free
  • Referenced in 6 articles [sw07085]
  • Academic tool enabling the operational use of formal...

  • Xilinx
  • Referenced in 96 articles [sw07491]
  • Xilinx system generator and Xilinx Tool Kit. Programmable...

  • SystemC
  • Referenced in 42 articles [sw07807]
  • SystemC: From the ground up. SystemC provides a...

  • eCos
  • Referenced in 1 article [sw07837]
  • eCos is a free open source real-time...