• Uppaal

• Referenced in 658 articles [sw04702]
• modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared ... WPD94, LPW97b]. Typical application areas include real-time controllers and communication protocols in particular, those...

• SIFT

• Referenced in 635 articles [sw16554]
• clutter and occlusion while achieving near real-time performance...

• Kronos

• Referenced in 274 articles [sw01270]
• with the aim to verify complex real-time systems. Real-time systems are systems that ... failures may have severe consequences. Hence, real-time systems need to be rigorously modeled ... desired requirements. In KRONOS, components of real-time systems are modeled by timed automata ... correctness requirements are expressed in the real-time temporal logic TCTL...

• MPT

• Referenced in 235 articles [sw04732]
• from different performance objectives (linear, quadratic, minimum time) to the handling of systems with persistent ... deployed to target platforms using Real Time Workshop...

• Esterel

• Referenced in 166 articles [sw20012]
• suited to programming reactive systems, including real-time systems and control automata. The Esterel...

• ASTREE

• Referenced in 115 articles [sw13704]
• proving automatically the absence of run time errors in programs written in the C programming ... large embedded control-command safety critical real-time software generated automatically from synchronous specifications, producing...

• Erlang

• Referenced in 116 articles [sw07202]
• used to build massively scalable soft real-time systems with requirements on high availability. Some...

• Pfinder

• Referenced in 80 articles [sw36676]
• Pfinder: real-time tracking of the human body. Pfinder is a real-time system...

• PPL

• Referenced in 104 articles [sw05357]
• languages, synchronous languages and synchronization protocols, real-time and hybrid systems. Since the seminal work...

• MonoSLAM

• Referenced in 41 articles [sw18884]
• MonoSLAM: Real-Time Single Camera SLAM. We present a real-time algorithm which can recover ... single uncontrolled camera, achieving real time but drift-free performance inaccessible to structure from motion ... present applications of MonoSLAM to real-time 3D localization and mapping for a high-performance...

• Faster R-CNN

• Referenced in 71 articles [sw42495]
• Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks. State...

• PRINCE

• Referenced in 69 articles [sw13240]
• many future pervasive applications with real-time security needs. Our cipher, named PRINCE, allows encryption...

• Uppaal2k

• Referenced in 43 articles [sw01595]
• modeling, simulation and verification of real-time systems, developed jointly by Basic Research in Computer ... deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared ... WPD94, LPW97b]. Typical application areas include real-time controllers and communication protocols in particular, those ... case verification of a particular real-time system fails. The diagnostic traces may be automatically...

• OMNet++

• Referenced in 67 articles [sw04170]
• other tools. There are extensions for real-time simulation, network emulation, alternative programming languages (Java...

• IF-2.0

• Referenced in 46 articles [sw03303]
• validation environment for component-based real-time systems It is widely recognised that the automated ... study the semantics of real-time primitives for asynchronous systems. Currently, the toolbox contains dedicated...

• TrueTime

• Referenced in 42 articles [sw13636]
• TrueTime is a Matlab/Simulink-based simulator for real-time control systems. TrueTime facilitates co-simulation ... controller task execution in real-time kernels, network transmissions, and continuous plant dynamics...

• CMC

• Referenced in 34 articles [sw12422]
• Tool for Compositional Model-Checking of Real-Time Systems. In this paper we present ... compositional model-checking of real-time systems. CMC is based on a completely different method ... compared to existing real-time verification tools (HYTECH, KRONOS, UPPAAL). After a description...

• LUSTRE

• Referenced in 38 articles [sw08938]
• LUSTRE: a declarative language for real-time programming. LUSTRE is a synchronous data-flow language ... which interact with their environments in real-time. After an informal presentation of the language...

• SIGNAL

• Referenced in 52 articles [sw02915]
• suited for the design of dependable real-time systems. Synchronous languages enable a very high...

• LAPACK

• Referenced in 1713 articles [sw00503]
• areas, similar functionality is provided for real and complex matrices, in both single and double ... machines, thereby spending too much time moving data instead of doing useful floating-point operations...