Results 1 to 20 of 21
Sort by:

  • Kronos
  • Referenced in 274 articles [sw01270]
  • time deadlines. Embedded controllers, circuits and communication protocols are examples of such time-dependent systems ... failures may have severe consequences. Hence, real-time systems need to be rigorously modeled ... KRONOS, components of real-time systems are modeled by timed automata and the correctness requirements...

  • Time4sys2imi
  • Referenced in 1 article [sw31184]
  • tool translating Time4sys models into parametric timed automata in the input language of IMITATOR. This ... real-time systems, but also to infer some timing constraints (deadlines, offsets (ldots)) guaranteeing schedulability...

  • Maple
  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...

  • MapReduce
  • Referenced in 267 articles [sw00546]
  • MapReduce is a new parallel programming model initially...

  • TSPLIB
  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...

  • MoDeST
  • Referenced in 34 articles [sw01544]
  • MoDeST --- a modelling and description language for stochastic...

  • MOTOR
  • Referenced in 8 articles [sw02988]
  • MoTor stands for the MoDeST Tool Environment. MoTor...

  • IF-2.0
  • Referenced in 46 articles [sw03303]
  • IF-2.0: A validation environment for component-based...

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

  • PVS
  • Referenced in 634 articles [sw03484]
  • PVS is a verification system: that is, a...

  • CPLEX
  • Referenced in 2804 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

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

  • Ptolemy
  • Referenced in 81 articles [sw07459]
  • A modular formal semantics for Ptolemy. Ptolemy is...

  • Hadoop
  • Referenced in 134 articles [sw08481]
  • The Apache Hadoop software library is a framework...

  • CESAR
  • Referenced in 161 articles [sw08510]
  • Specification and verification of concurrent systems in CESAR...

  • SAPA
  • Referenced in 17 articles [sw20683]
  • SAPA: A multi-objective metric temporal planner. SAPA...