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