CTIT University of Twente
Research Business & Innovation About CTIT Research Calls Looking for a job? Intranet

Technical Reports 2015

Number of items: 9.

Ahmad, W. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2015) Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version). Technical Report TR-CTIT-15-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Blom, S.C.C. and Huisman, M. and Zaharieva-Stojanovski, M. (2015) History-based Verification of Functional Behaviour of Concurrent Programs. Technical Report TR-CTIT-15-02, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Correa, J. and de Jong, J. and de Keijzer, B. and Uetz, M.J. (2015) The curse of sequentiality in routing games. Technical Report TR-CTIT-15-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ionita, D. and Wieringa, R.J. and Bullee, J.H. and Vasenev, A. (2015) Investigating the usability and utility of tangible modelling of socio-technical architectures. Technical Report TR-CTIT-15-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Joosse, M.P. and Lohse, M. and Evers, V. (2015) How a Guide Robot Should Behave at an Airport - Insights Based on Observing Passengers. Technical Report TR-CTIT-15-01, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Muller, D. and Elsinga, J. and van Keulen, M. (2015) Stairwalker User Manual. Technical Report TR-CTIT-15-09, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Ramsgaard Wognsen, E. and Jongerden, M.R. and Haverkort, B.R.H.M. (2015) A Score Function for State of Charge Profiles for Rechargeable Batteries. Technical Report TR-CTIT-15-06, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
van der Veen, Han and Hiemstra, D. and van den Broek, T.A. and Ehrenhard, M. and Need, A. (2015) Determine the User Country of a Tweet. Technical Report TR-CTIT-15-05, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625
Yildiz, B.M. and Rensink, A. and Bockisch, C.M. and Akşit, M. (2015) A Model-Derivation Framework for Timing Analysis of Java Software Systems. Technical Report TR-CTIT-15-08, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

This list was generated on Mon Dec 5 07:27:42 CET 2016.