Download List

Projeto Descrição

Stochastic Performance Logic (SPL) serves for capturing performance assumptions.

With SPL, it is possible to annotate Java functions with assumptions stating, for example, that the annotated function is at most three times slower than array copying. The assumption is then checked at build time in a similar way as standard unit testing. In other words, SPL is about introducing performance assert().

The advantage of SPL in comparison with other similar solutions includes following. SPL formulas uses well-defined logic and statistically sound testing (such as t-test). Next, SPL is aimed at automatic evaluation. And finally, SPL formulas uses relative comparisons (opposed to comparing against fixed time) to provide better portability.

System Requirements

Sistema Operacional: OS Portable (Source code to work with many OS platforms)

Download Package list

Últimos 5 Arquivos
Nome Tamanho Data Download count
spl-latest.zip 18.3 MB 2014-01-28 22:06 16
spl-1.0_b20140128.zip 18.3 MB 2014-01-28 22:05 14
blade_results.tar.gz 22.4 MB 2013-04-23 23:26 12
SPL-Tools-Eclipse-Plugin-Update-Projects.zip 3.8 KB 2013-04-08 16:03 11
core-javadoc.zip 1.9 MB 2013-04-08 16:02 9
Todos os Arquivos
release
spl-latest.zip18.3 MB2014-01-28 22:0616
spl-1.0_b20140128.zip18.3 MB2014-01-28 22:0514
spl-1.0_b20130405.zip18.1 MB2013-04-08 15:466
older
spl-1.0_b20130320_01.zip18.1 MB2013-03-21 05:194
results
blade_results.tar.gz22.4 MB2013-04-23 23:2612
SupportFiles
SPL-Tools-Eclipse-Plugin-Update-Projects.zip3.8 KB2013-04-08 16:0311
SPL-Tools-Eclipse-Plugin-Update-Site-1.0.0.b20130405_01.zip20.1 MB2013-04-05 20:088
SPL-Tools-Eclipse-Plugin-Update-Site-1.0.0.b20130404_02.zip20.1 MB2013-04-05 17:035
presentation
prezentace.pdf268.6 KB2013-04-05 16:3023
prezentace.odp172.8 KB2013-04-05 16:301
spl-tools-cd-b20130320_01.iso285.0 MB2013-03-21 05:1116
SPL-Tools-Eclipse-Plugin-Update-Site-1.0.0.b20130320_01.zip20.1 MB2013-03-21 03:472
SPL-Tools-Eclipse-Plugin-Update-Site-0.6.1.b20130307_01.zip20.1 MB2013-03-07 17:505
SPL-Tools-Eclipse-Plugin-Update-Site-0.5.0.b20130121_01.zip20.0 MB2013-01-21 23:284
SPL-Tools-Eclipse-Plugin-Update-Site-0.4.0.b20130113_01.zip20.1 MB2013-01-14 04:455
SPL-Tools-Eclipse-Plugin-Update-Site-0.3.1.b20130103_02.zip20.0 MB2013-01-04 07:382
SPL-Tools-Eclipse-Plugin-Update-Site-0.3.1.b20130103_01.zip20.0 MB2013-01-04 03:457
SPL-Tools-Eclipse-Plugin-Update-Site-0.3.0.b20121222_01.zip20.2 MB2012-12-23 06:084
SPL-Tools-Eclipse-Plugin-Update-Site-0.2.1.b20121220_01.zip20.0 MB2012-12-21 06:3212
documentation
core-javadoc.zip1.9 MB2013-04-08 16:029
eclipseplugin-javadoc.zip2.4 MB2013-04-08 16:024
hudsonplugin-javadoc.zip114.3 KB2013-04-08 16:011
user-manual.pdf1.3 MB2013-03-21 03:5028
development-documentation.pdf342.9 KB2013-03-21 03:5015
HudsonPlugin
spl-tools-hudson-plugin_1.0.2_b20130405_01.hpi18.1 MB2013-04-08 15:344
older
spl-tools-hudson-plugin_1.0.2_b20130320_01.hpi18.1 MB2013-03-21 05:039
spl-tools-hudson-plugin-1.0.1-b20130224_01.hpi18.1 MB2013-02-25 05:332
spl-tools-hudson-plugin-1.0.1-b20130128_01.hpi18.1 MB2013-01-29 06:053
spl-tools-hudson-plugin-1.0.0-b20130123_01.hpi18.1 MB2013-01-23 22:244
eclipseupdatesite
site.xml0.5 KB2013-04-05 20:079
artifacts.jar0.6 KB2013-04-05 20:075
content.jar2.9 KB2013-04-05 20:073
features
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin.feature_1.0.0.b20130405_01.jar1.7 KB2013-04-05 20:071
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin.feature_1.0.0.b20130404_02.jar1.7 KB2013-04-05 17:031
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin.feature_1.0.0.b20130404_01.jar1.7 KB2013-04-04 18:110
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin.feature_1.0.0.b20130320_01.jar1.7 KB2013-03-21 03:453
plugins
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin_1.0.0.b20130405_01.jar20.5 MB2013-04-05 20:074
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin_1.0.0.b20130404_02.jar20.5 MB2013-04-05 17:030
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin_1.0.0.b20130404_01.jar20.5 MB2013-04-04 18:111
cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin_1.0.0.b20130320_01.jar20.5 MB2013-03-21 03:455
readme.txt0.8 KB2012-09-12 03:043