• Uppaal

• Referenced in 658 articles [sw04702]
• verification of real-time systems, developed jointly by Basic Research in Computer Science at Aalborg ... 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...

• Erlang

• Referenced in 116 articles [sw07202]
• used to build massively scalable soft real-time systems with requirements on high availability. Some ... uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang’s runtime...

• ASTREE

• Referenced in 115 articles [sw13704]
• large embedded control-command safety critical real-time software generated automatically from synchronous specifications, producing ... false alarm in a few hours of computation...

• Uppaal2k

• Referenced in 43 articles [sw01595]
• verification of real-time systems, developed jointly by Basic Research in Computer Science at Aalborg ... 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...

• STeP

• Referenced in 36 articles [sw17948]
• support the computer-aided formal verification of reactive, real-time and hybrid systems based...

• Pfinder

• Referenced in 80 articles [sw36676]
• human body. Pfinder is a real-time system for tracking people and interpreting their behavior ... standard SGI Indy computer, and has performed reliably on thousands of people in many different...

• ROBOTRAN

• Referenced in 8 articles [sw16045]
• since the exponential increase in modern computer performances naturally provides the opportunity to investigate larger ... more sophisticated models for which real-time computation is a real asset. Nowadays...

• odmd

• Referenced in 8 articles [sw31747]
• efficient method for computing DMD in real time, updating the approximation of a system ... require storage of past data and computes the exact DMD matrix using rank-1 updates ... time-varying systems. A variant of the method may also be applied to online computation ... algorithm is the most efficient for real-time computation, and it can be orders...

• ART 3

• Referenced in 27 articles [sw08755]
• input patterns in real-time. The search process emerges when computational properties of the chemical...

• TAXYS

• Referenced in 21 articles [sw01389]
• real-time applications depends not only on the correctness of the results of computations ... matter of fact, violations of real-time constraints in embedded systems are the most difficult ... design and validation of real-time telecommunications software. One of the major goal ... application which is composed of the embedded computer and its external environment. For this purpose...

• PRINCE

• Referenced in 69 articles [sw13240]
• latency block cipher for pervasive computing applications. Extended abstract. This paper presents a block cipher ... many future pervasive applications with real-time security needs. Our cipher, named PRINCE, allows encryption...

• Faster R-CNN

• Referenced in 71 articles [sw42495]
• Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks. State ... reduced the running time of these detection networks, exposing region proposal computation as a bottleneck...

• CVXGEN

• Referenced in 44 articles [sw07151]
• free code suitable for embedding in real-time applications. The generated code is almost branch ... free, and so has highly predictable run-time behavior. The combination of regularization (both static ... iterative refinement in the search direction computation yields reliable performance, even with poor quality data...

• GeneMANIA

• Referenced in 12 articles [sw30022]
• real-time multiple association network integration algorithm for predicting gene function. Background: Most successful computational ... algorithms have long running times, making them unsuitable for real-time protein function prediction ... capable of predicting protein function in real-time. Results: We use a fast heuristic algorithm ... average, less than ten seconds of computation time on tasks from these benchmarks. Conclusion: GeneMANIA...

• SCiFI

• Referenced in 4 articles [sw33595]
• system - SCiFI, which implements a secure computation of the face identification protocol. 4. Experiments which ... system can run in near real-time: The secure computation protocol performs a preprocessing...

• FABRIK

• Referenced in 10 articles [sw09382]
• used in a wide range of computer animation applications and is not limited ... real-time implementable and exploits the advantages of CGA for applications in computer vision, graphics...

• QSobel

• Referenced in 15 articles [sw12660]
• sharp increase in the image data, real-time problem has become a limitation ... that QSobel can extract edges in the computational complexity ... computation to reach a significant and exponential speedup. Hence, QSobel would resolve the real-time...

• AMON

• Referenced in 3 articles [sw35497]
• using rapid hashing and computes certain real-time data products. The resulting data structures provide...

• Rabbit

• Referenced in 24 articles [sw01317]
• checking tool for real-time systems. The modeling language are timed automata extended with concepts ... Good variable orderings for the BDDs are computed from the modular structure of the model...

• aiT

• Referenced in 12 articles [sw13101]
• compute tight bounds for the worst-case execution time (WCET) of tasks in real-time...