Search research publications and outputs

  1. 2013
  2. PFT - A low overhead predictability enhancement technique for non-preemptive NoCs

    Sudev, B. & Soares Indrusiak, L., 2013, Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip (VLSI-SoC). IEEE, p. 314-317

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Potential-based reward shaping for POMDPs

    Eck, A., Son, L. K., Devlin, S. & Kudenko, D., 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1123-1124 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Pre fetching across a shared memory tree within a network-on-chip architecture

    Garside, J. & Audsley, N. C., 2013, 2013 International Symposium on System-on-Chip, SoC 2013 - Proceedings. IEEE Computer Society Press, 6675268

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Principled Construction of Software Safety Cases

    Hawkins, R., Habli, I. & Kelly, T., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Programmatic Muddle Management

    Kolovos, D. S., Matragkas, N. D., Rodriguez, H. H. & Paige, R. F., 2013, Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013.. p. 2-10 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Programming FPGA based NoCs with Java

    Plumbridge, G. & Audsley, N. C., 2013, 2013 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2013. IEEE Computer Society Press, 6732323

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Protection of Color Images by Selective Encryption

    Puech, W., Bors, A. G. & Rodrigues, J. M., 2013, Advanced Color Image Processing and Analysis. Fernandex-Maliogne, C. (ed.). New York: Springer, p. 397-421

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Real-time low-power task mapping in Networks-on-Chip

    Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2013, Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE, p. 14-19

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling

    Graydon, P. & Bate, I., 2013, Proceedings of the Workshop on Mixed-Criticality Systems. p. 19-24 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times

    Burkimsher, A., Bate, I. & Indrusiak, L. S., 2013, Proceedings of the 19th International Conference on Parallel Processing (Euro-Par 2013). Wolf, F., Mohr, B. & Mey, D. (eds.). Springer Berlin / Heidelberg, Vol. 8097. p. 126-137 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Search-based parameter tuning on application-level load balancing for distributed embedded systems

    Caliskanelli, I. & Indrusiak, L. S., 2013, Proceedings - 2013 IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 2013 IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013. IEEE Computer Society Press, p. 2050-2057 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Searching for the Minimum Failures that Can Cause a Hazard in a Wireless Sensor Network

    Bate, I. & Fairbairn, M., 2013, Proceedings of Genetic and Evolutionary Computation Conference (GECCO).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Simulink timed models for program verification

    Cavalcanti, A. L. C., Mota, A. & Woodcock, JAMES. C. P., 2013, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051 LNCS. p. 82-99

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Support for Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 9-14 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Supporting Learning Within the Workplace: Device Training in Healthcare

    Iacovides, I., Cox, A. L. & Blandford, A., 2013, Proceedings of the 31st European Conference on Cognitive Ergonomics. New York, NY, USA: ACM, p. 30:1-30:4 (ECCE '13).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Testing Autonomous Robot Control Software Using Procedural Content Generation

    Arnold, J. & Alexander, R., 2013, Computer Safety, Reliability, and Security. Springer, Vol. 8153 LNCS. p. 33-44 12 p. (Lecture Notes in Computer Science; vol. 8153).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Testing with Inputs and Outputs in CSP

    Cavalcanti, A. L. C. & Hierons, R., 2013, 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. Vol. 7793 LNCS. p. 359-374

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems

    Burns, A., 2013, ReTiMiCS, RTCSA. George, L. & Lipari, G. (eds.). p. 7-11 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Thermodynamic Depth in Undirected and Directed Networks

    Hancock, E. R. & Escolano, F., 2013, Advances in Network Complexity. Dehmer, M., Mowshowitz, A. & Emmert-Streib, F. (eds.). John Wiley & Sons, p. 229-247

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Towards A More Practical Model for Mixed Criticality Systems

    Burns, A. & Baruah, S., 2013, Proc. WMC, RTSS. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 1. p. 711-716

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Towards a Multi-Domain Model-Driven Traceability Approach

    Taromirad, M., Matragkas, N. D. & Paige, R. F., 2013, Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, MPM@MoDELS 2013, Miami, Florida, September 30, 2013.. p. 27-36 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Towards a multi-view point safety contract

    Ruiz, A., Kelly, T. & Espinoza, H., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. TurboTensors for Entropic Image Comparison

    Escolano, F., Hancock, E. R., Bonev, B. & Lozano, M. A., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 51-60 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  26. Unifying Theories of Logic and Specification

    Bandur, V. & Woodcock, J., 2013, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Iyoda, J. & Moura, L. M. D. (eds.). SPRINGER, Vol. 8195. p. 18-33 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1...7 8 9 10 11 12 13 14 ...72 Next