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