Search research publications and outputs

  1. 2018
  2. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C. 12 Jan 2018

    Article in Information Processing Letters

  3. An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic

    Moscholios, I., Vasilakis, V., Sarigiannidis, P., Sagias, N. & Logothetis, M. 5 Jan 2018

    Article in Iet communications

  4. Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs

    Soares Indrusiak, L., Burns, A. & Nikolic, B. 2018 Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE).

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

  5. Impact of Memory Frequency Scaling on User-centric Smartphone Workloads

    Mendis, H. R., Chen, W-M., Soares Indrusiak, L., Kuo, T-W. & Hsiu, P-C. 2018 Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018).

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

  6. Memory-Aware Genetic Algorithms for Task Mapping on Hard Real-Time Networks-on-Chip

    Still, L. R. & Soares Indrusiak, L. 2018 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

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

  7. Metaheuristic Design Patterns: New Perspectives for Larger-Scale Search Architectures

    Krawiec, K., Simons, C., Swan, J. & R. Woodward, J. 2018 Handbook of Research on Emergent Applications of Optimization Algorithms. Vasant, P., Alparslan-Gok, S. Z. & Weber, G-W. (eds.). Hershey, PA, USA: IGI Global, p. 1-36 36 p.

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

  8. Narrating Complexity

    Walsh, R. (ed.) & Stepney, S. (ed.) 2018 London: Springer.

    Research output: Book/ReportAnthology

  9. 2017
  10. Towards bio-responsive control for music

    Williams, D. A. H., Murphy, D. T. & Fazenda, B. 19 Dec 2017

    Research output: Contribution to conferencePaper

  11. Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks

    Alexei, S., Dmitry, B., Marina, P., Kudenko, D., Burakov, A. & Nadezhdina, E. 18 Dec 2017

    Research output: Contribution to conferencePaper

  12. Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines

    Burns, A. & Davis, R. I. 5 Dec 2017 6 p.

    Research output: Contribution to conferencePaper

  13. Local Analysis of Determinism for CSP

    Otoni, R., Cavalcanti, A. L. C. & Sampaio, A. C. A. 1 Dec 2017 Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Springer International Publishing Switzerland, p. 107-124 18 p. (Lecture Notes in Computer Science; vol. 10623)

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

  14. Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms

    Bruch, J. V., Alves da Silva, E., Zeferino, C. A. & Soares Indrusiak, L. 23 Nov 2017 VII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, p. 86-93 (Brazilian Symposium on Computing Systems Engineering (SBESC) )

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

  15. Improving efficiency of persistent storage access in embedded Linux

    Joyce, R. A. & Audsley, N. C. 17 Nov 2017

    Research output: Contribution to conferencePaper

  16. Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I. 9 Nov 2017 Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 10748)

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

  17. Sound Simulation and Co-simulation for Robotics

    Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J. Nov 2017 Present and Ulterior Software Engineering. M. M. & B. M. (eds.). Springer International Publishing Switzerland, p. 173-194 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday

    Stepney, S. (ed.) & Adamatzky, A. (ed.) 31 Oct 2017 SPRINGER. 400 p. (Emergence, Complexity and Computation)

    Research output: Book/ReportBook

  19. Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R., Punnekkat, S. & Chen, J-J. 28 Oct 2017

    Article in Real-Time Systems

Previous 1 2 3 4 5 6 7 8 ...223 Next