COMP SUPERSCALAR User Manual Application execution guide VERSION 1 3 November 3 2015 Barcelona Supercomputing Center Centro Nacional de Supercomputaci n This manual provides information about how to execute COMPSs applications how to retrieve the results and the logs of an execution and it provides an overview of the COMPSs tools usage It is highly recommended to test the examples described in this manual with a working COMPSs installation For this purpos
Symbolic Execution Tool User Manual This symbolic execution tool was developed under Microsoft windows XP and Maple 9 5 You can use examples mpl to try our Symbolic Execution Tool There are two ways to use our examples file One way is to test the examples and modules in batch input and the other way is to test the examples and the modules Interactively Method 1 Test the Examples and the Modules In Batch Input To run test please type the following command restart read