
Uppaal
 Referenced in 658 articles
[sw04702]
 verification of realtime systems, developed jointly by Basic Research in Computer Science at Aalborg ... deterministic processes with finite control structure and realvalued clocks, communicating through channels or shared ... WPD94, LPW97b]. Typical application areas include realtime controllers and communication protocols in particular, those...

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

ASTREE
 Referenced in 115 articles
[sw13704]
 large embedded controlcommand safety critical realtime software generated automatically from synchronous specifications, producing ... false alarm in a few hours of computation...

Uppaal2k
 Referenced in 43 articles
[sw01595]
 verification of realtime systems, developed jointly by Basic Research in Computer Science at Aalborg ... deterministic processes with finite control structure and realvalued clocks, communicating through channels or shared ... WPD94, LPW97b]. Typical application areas include realtime controllers and communication protocols in particular, those...

STeP
 Referenced in 36 articles
[sw17948]
 support the computeraided formal verification of reactive, realtime and hybrid systems based...

Pfinder
 Referenced in 80 articles
[sw36676]
 human body. Pfinder is a realtime 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 realtime 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 rank1 updates ... timevarying systems. A variant of the method may also be applied to online computation ... algorithm is the most efficient for realtime computation, and it can be orders...

ART 3
 Referenced in 27 articles
[sw08755]
 input patterns in realtime. The search process emerges when computational properties of the chemical...

TAXYS
 Referenced in 21 articles
[sw01389]
 realtime applications depends not only on the correctness of the results of computations ... matter of fact, violations of realtime constraints in embedded systems are the most difficult ... design and validation of realtime 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 realtime security needs. Our cipher, named PRINCE, allows encryption...

Faster RCNN
 Referenced in 71 articles
[sw42495]
 Faster RCNN: Towards RealTime 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 realtime applications. The generated code is almost branch ... free, and so has highly predictable runtime 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]
 realtime multiple association network integration algorithm for predicting gene function. Background: Most successful computational ... algorithms have long running times, making them unsuitable for realtime protein function prediction ... capable of predicting protein function in realtime. 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 realtime: 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 ... realtime 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, realtime 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 realtime...

AMON
 Referenced in 3 articles
[sw35497]
 using rapid hashing and computes certain realtime data products. The resulting data structures provide...

Rabbit
 Referenced in 24 articles
[sw01317]
 checking tool for realtime 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 worstcase execution time (WCET) of tasks in realtime...