Use ImportAOTResults to import the results of an AOT campaign into your Polyspace results.The review information of checks reached by the AOT will be updated with AOT coverage information.
SPtrack is a GUI (Graphical User Interface) based program written in Matlab which is used for tracking single particles and finding Diffusion properties. It works on Matlab 6 and above platforms and requires the Image Processing Toolbox and the Curve fitting Toolbox (optional). The program analyzes each particle in an image sequence and then fits the centre of the particle. The key feature of the program is its GUI based approach which is very user friendly and gives the user the freedom to analyze the data in more than one way.
The goal of PolySpace Email Notifier (or simply EmailNotifier) is very simple: automatically send an email at the end of a PolySpace verification that runs on a server. The features of EmailNotifier: - the email is sent to the author of the project - it runs on the Queue Manager - it is possible to send the email to another person (Cc) - 2 mail protocols can be used : sendmail and SMTP - if the verification has failed, the last 20 lines of the log will be showed in the email, otherwise the check statistics will be given.
This program asks the user for the SEER variable stored in excel, it tabultes the eleemtns, then write it back to the excel. This facilates creation of excel tables for reporting and publication purposes. Otherwise, manually copying the tabulated results will be very tedious.