• CIPRNG

  • Referenced in 2 articles [sw23608]
  • Linear Pseudorandom Number Generation Based on Zynq MPSoC. Hardware pseudorandom number generators are continuously improved...
  • Noxim

  • Referenced in 1 article [sw20785]
  • current Chip-MultiProcessors (CMP) and MultiProcessor-SoC (MPSoC) is mainly based on the Network...
  • Noodle

  • Referenced in 1 article [sw26944]
  • Heuristic Algorithm for Task Scheduling in MPSoC Architectures. Task scheduling is crucial for the performance...
  • PowerCool

  • Referenced in 0 articles [sw24967]
  • simulation of cooling and powering of 3D MPSoCs with integrated flow cell arrays. Integrated Flow ... issues in 3D Multiprocessor Systems-on-Chips (MPSoCs). In this paper we motivate the benefits ... MPSoCs via a qualitative analysis and explore the capabilities of the proposed technology using ... compact thermal and electrochemical simulation of 3D MPSoCs with inter-tier FCA-based cooling...
  • DuCNoC

  • Referenced in 0 articles [sw24966]
  • important role in multi/many-processor systems-on-chip (MPSoCs). In order to achieve efficient optimization, each...
  • Matlab

  • Referenced in 12721 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • SPIRAL

  • Referenced in 46 articles [sw00903]
  • The SPIRAL system (www.spiral.net) is a tool for...
  • PRISM

  • Referenced in 424 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • SPRINT

  • Referenced in 11 articles [sw01362]
  • SPRINT: a tool to generate concurrent transaction-level...
  • VEST

  • Referenced in 26 articles [sw01405]
  • VEST -- a toolset for constructing and analyzing component...
  • PHAVer

  • Referenced in 116 articles [sw04123]
  • In 1995, HyTech broke new ground as a...
  • HyTech

  • Referenced in 330 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • RSOLVER

  • Referenced in 71 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Valgrind

  • Referenced in 58 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...
  • MiBench

  • Referenced in 51 articles [sw04421]
  • This paper examines a set of commercially representative...
  • Benchmarks

  • Referenced in 24 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation...
  • JaCoP

  • Referenced in 20 articles [sw06307]
  • JaCoP is a Java Constraint Programming solver. It...
  • HSolver

  • Referenced in 42 articles [sw07419]
  • HSolver is a program for verification of hybrid...
  • Cellss

  • Referenced in 15 articles [sw08912]
  • CellSs: Making it easier to program the Cell...
  • SpaceEx

  • Referenced in 72 articles [sw10939]
  • SpaceEx: Scalable Verification of Hybrid Systems. We present...