Search Results for "core-analyzer"

...OpenEMM offers tons of features for professional users, among them: a great user interface, template-based HTML mailings, automatic bounce management, mail opening and link tracking, lots of graphical realtime statistics, a content management system, self-defined and behaviour-based target groups, a multi-queue mail backend for maximum sending performance, a time-driven automated data import and export feature, an extensive set of webservices, a plugin interface to easily extend the core functionality, a scripting feature to enhance the functionality of OpenEMM with triggerable customized actions and an audit-proof user activity log.

* 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