• Xilinx

  • Referenced in 96 articles [sw07491]
  • Programmable’ company, offering technology from logic and I/O to software programmable ARM® processing systems...
  • ff

  • Referenced in 5 articles [sw23393]
  • standard atomic data types ’double’, ’logical’, ’raw’ and ’integer’ and non-standard atomic types boolean ... disk. Further, to reduce disk I/O, ’logicals’ and non-standard data types get stored native...
  • MENDELS

  • Referenced in 1 article [sw00570]
  • MENDELS: Concurrent program synthesis system using temporal logic A concurrent program synthesis system called MENDELS ... I/O data specifications, and (2) synthesizing a synchronization supervisor from a propositional temporal logic specification...
  • Fuzzy sets for Ada

  • Referenced in 1 article [sw05537]
  • sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets ... variables with operations on them. String-oriented I/O is supported. A rich...
  • VeriCount

  • Referenced in 1 article [sw25455]
  • Linux container-based applications. To protect VeriCount logic, we propose a novel approach called self ... measure user CPU time, memory, I/O bytes and network bandwidth while simultaneously detecting resource usage...
  • Edge

  • Referenced in 1 article [sw30261]
  • chart editing, directory browsing, call graph display, logic circuit simulation or configuration visualization. EDGE provides ... handles extensions with program generator technology: the I/O routines for reading and writing extended node...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Kronos

  • Referenced in 274 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • LARCH

  • Referenced in 104 articles [sw02126]
  • The Larch family of languages supports a two...
  • CLOS

  • Referenced in 51 articles [sw03334]
  • An environment for DEVS-based multiformalism simulation in...
  • SPIN

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

  • Referenced in 885 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • METIS

  • Referenced in 480 articles [sw04089]
  • METIS is a set of serial programs for...
  • HyTech

  • Referenced in 333 articles [sw04125]
  • HyTech is an automatic tool for the analysis...
  • OMNet++

  • Referenced in 67 articles [sw04170]
  • OMNeT++ is an extensible, modular, component-based C...
  • SNAP

  • Referenced in 179 articles [sw04184]
  • Stanford Network Analysis Platform (SNAP) is a general...
  • ParMETIS

  • Referenced in 143 articles [sw04697]
  • ParMETIS is an MPI-based parallel library that...
  • Uppaal

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

  • Referenced in 104 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...