• SIGNAL

  • Referenced in 52 articles [sw02915]
  • design of dependable real-time systems. Synchronous languages enable a very high-level specification ... systems by structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages ... functions in a program. In SIGNAL, the notion of conditional data-flow graph can similarly...
  • CoCoNAD

  • Referenced in 3 articles [sw40294]
  • Continuous-time Closed Neuron Assembly Detection) is a program to find frequent imprecisely synchronous joint ... factor of 40), but supports a graded notion of synchrony. This is (currently) not supported...
  • PMC

  • Referenced in 1 article [sw28466]
  • Milner’s ccs with a notion of qualitative time called clocks. The algebra has been ... language features point-to-point communication, multi-synchronization, local deter-ministic parallel composition, global...
  • PAFSV

  • Referenced in 1 article [sw26766]
  • means of deduction rules that associate a time transition system with a PAFSV process ... properties of PAFSV is presented for a notion of bisimilarity. PAFSV may be regarded ... PAFSV with some examples: a MUX, a synchronous reset D flip-flop and an arbiter...
  • DTRON

  • Referenced in 0 articles [sw23642]
  • issues of distributed execution and real-time constraints imposed by the design of networked ... tool TRON enabling coordination, synchronization, and online distributed testing. The notion of $Delta$-testability required ... Spread message serialization service and Network Time Protocol allows reducing $Delta$ down...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

  • Referenced in 241 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • HMQV

  • Referenced in 80 articles [sw02714]
  • The MQV protocol of Law, Menezes, Qu, Solinas...
  • CPLEX

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

  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...
  • Isar

  • Referenced in 144 articles [sw04599]
  • Theorem proving system supporting both interactive proof development...
  • LKH

  • Referenced in 148 articles [sw04735]
  • LKH is an effective implementation of the Lin...
  • Reo

  • Referenced in 88 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...
  • LIME

  • Referenced in 26 articles [sw09425]
  • LIME: a middleware for physical and logical mobility...
  • UMDES

  • Referenced in 403 articles [sw09523]
  • UMDES Software Library: UMDES-LIB is a library...
  • gamair

  • Referenced in 344 articles [sw11132]
  • R package gamair: Data for ”GAMs: An Introduction...
  • QRM

  • Referenced in 764 articles [sw11358]
  • R package QRM: Provides R-language Code to...
  • FranTk

  • Referenced in 6 articles [sw13065]
  • FranTk -- a declarative GUI language for Haskell. FranTk...
  • EMD

  • Referenced in 243 articles [sw14902]
  • Code for the Earth Movers Distance (EMD). This...