Search Results for "clock"

SMF service wrapper for Sun/Oracle VirtualBox under Sun/Oracle Solaris 10+ and OpenSolaris builds (including OpenIndiana and illumos). Detailed project description is available in the README file: http://vboxsvc.svn.sourceforge.net/viewvc/vboxsvc/usr/share/doc/vboxsvc/README-vboxsvc.txt Discuss and get help in VirtualBox Forum thread "[Free as in beer] SMF service for VirtualBox VM's": https://forums.virtualbox.org/viewtopic.php?f=11&t=33249 A replica is hosted (and would likely be...

FastFlow is a C/C++ programming framework supporting the development of pattern-based parallel programs on multi/many-core, GPUs and distributed platforms. FastFlow run-time is built upon non-blocking threads and lock-free queues. Thanks to its very efficient CAS-free communication/synchronization support (e.g. few clock cycles core-to-core latency), FastFlow effectively supports the exploitation of fine grain parallelism, e.g. parallel codes managing very high frequency streams on commodity multi-core. FastFlow works on x86, x86_64, PPC, ARM, and Linux, Mac and Win XP/7. From Jan 1, 2018 code development migrated on GitHub at https://github.com/fastflow/fastflow

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol