Edinburgh Research Explorer

Dr Bruno Bodin

Research Associate

  1. 2017
  2. Application-oriented Design Space Exploration for SLAM Algorithms

    Saeedi, S., Nardi, L., Johns, E., Bodin, B., Kelly, . P. H. J. & Davison, A. J. 24 Jul 2017 2017 IEEE International Conference on Robotics and Automation (ICRA). IEEE, p. 5716-5723 8 p.

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

  3. SimBench: A Portable Benchmarking Methodology for Full-System Simulators

    Wagstaff, H., Bodin, B., Spink, T. & Franke, B. 13 Jul 2017 2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). IEEE, p. 217-226 10 p.

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

  4. Compositional Timing-Aware Semantics for Synchronous Programming

    Aguado, J., Mendler, M., Wang, J., Bodin, B. & Roop, P. S. 4 Jul 2017 FDL 2017 Forum on specification & Design Languages. 8 p.

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

  5. Timing analysis of synchronous programs using WCRT Algebra: Scalability through abstraction

    Wang, J., Mendler, M., Roop, P. S. & Bodin, B. 30 Jun 2017 In : ACM Transactions on Embedded Computing Systems. 21 p.

    Research output: Contribution to journalArticle

  6. Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper

    Nardi, L., Bodin, B., Saeedi, S., Vespa, . E., Davison, A. J. & Kelly, . P. H. J. 2 Jun 2017 10 p.

    Research output: Contribution to conferencePaper

  7. 2016
  8. Diplomat: Mapping of multi-kernel applications using a static dataflow abstraction

    Bodin, B., Nardi, L., Kelly, . P. H. J. & O'Boyle, M. F. P. 8 Dec 2016 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) . IEEE, p. 241-250 10 p.

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

  9. Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding

    Bodin, B., Nardi, L., Zia, M. Z., Wagstaff, H., Sreekar Shenoy, G., Emani, M. K., Mawer, J., Kotselidis, C., Nisbet, A., Luján, M., Franke, B., Kelly, P. & O'Boyle, M. 1 Dec 2016 Parallel Architecture and Compilation Techniques (PACT), 2016 International Conference on. IEEE, p. 57-59 13 p.

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

  10. A Novel WCET semantics of Synchronous Programs

    Mendler, M., Roop, P. S. & Bodin, B. 17 Aug 2016 Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Springer International Publishing, p. 195-210 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9884)

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

  11. Comparative Design Space Exploration of Dense and Semi-Dense SLAM

    Zia, M. Z., Nardi, L., Jackson, A., Vespa, . E., Bodin, B., Kelly, P. H. J. & Davison, A. J. May 2016 2016 IEEE International Conference on Robotics and Automation (ICRA). IEEE, p. 1292 - 1299 8 p.

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

  12. Optimal and fast throughput evaluation of CSDF

    Bodin, B., Munier-Kordon, A. & Dinechin, B. D. D. 2016 DAC '16: The 53rd Annual Design Automation Conference 2016. 6 p.

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

Previous 1 2 Next