Results 1 to 20 of 42
Sort by:

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