Publikationer per år
Publikationer per år
Forskningsresultat
- 12 resultat
Sökresultat
-
2013
Model-Based Performance Testing Using the MBPeT Tool
Ahmad, T., Abbors, F., Truscan, D. & Porres Paltor, I., 2013, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Fil17 Nedladdningar (Pure) -
2014
Energy and Power Management, Measurement and Analysis for Multi-Core Processors
Holmbacka, S., Hällis, F., Lund, K. W., Lafond, S. & Lilius, J., 2014, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
Tool Support for Automated Workload Model Creation from Web Server Logs
Abbors, F., Truscan, D. & Ahmad, T., 2014, Turku Center for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Fil19 Nedladdningar (Pure) -
2015
An Excursion Through Quantitative Model Refinement
Azimi Rashti, S., Czeizler, E., Gratie, D-E., Gratie, C., Iancu, B., Nebiat, I., Petre, I., Rogojin, V., Shadbahr, T. & Shokri-Manninen, F., 2015, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
2 Citeringar (Scopus) -
A Systematic Literature Review on Environment Modeling Techniques in Model-Based Testing
Siavashi, F. & Truscan, D., 2015, TUCS Turku Centre for Computer Science. (TUCS Technical Report; vol. 1129)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Öppen tillgångFil40 Nedladdningar (Pure) -
Full Structural Model Refinement as Type Refinement of Colored Petri Nets
Gratie, D-E. & Petre, I., 2015, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
1 Citeringar (Scopus) -
Towards a Multi-Objective ACS Algorithm to Optimize Cost, Performance, and Reliability in the Cloud
Ashraf, A., Byholm, B. & Porres Paltor, I., 2015, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Fil13 Nedladdningar (Pure) -
2016
Distributed Virtual Machine Consolidation: A Systematic Mapping Study
Ashraf, A., Byholm, B. & Porres Paltor, I., 2016, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
Fil36 Nedladdningar (Pure) -
2017
AODVv2: Performance vs. Loop Freedom
Kamali, M., Merro, M. & Dal Corso, A., 2017, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time
Byholm, B. & Porres Paltor, I., 2017, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
Fast Algorithms for Fragmentable Items Bin Packing
Byholm, B. & Porres Paltor, I., 2017, Turku Centre for Computer Science (TUCS).Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell
-
2018
Improving the Modelling Experience in Event-B - A Literature Review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2018, Turku Center for Computer Science (TUCS). (TUCS Technical Report; vol. 1196)Forskningsoutput: Bok/tidskrift/rapport › Beställd rapport › Professionell