Research output per year
Research output per year
- 24 results
Search results
-
2019
Colocation of Potential Parallelism in a Distributed Adaptive Run-Time System for Parallel Haskell
Belikov, E., Loidl, H.-W. & Michaelson, G., 24 Apr 2019, Trends in Functional Programming. TFP 2018. Pałka, M. & Myreen, M. (eds.). Springer, p. 1-19 19 p. (Lecture Notes in Computer Science; vol. 11457).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Graphical Program Transformations for Embedded Systems
Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., 8 Apr 2019, Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, p. 647-649 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
2018
Area-energy aware dataflow optimisation of visual tracking systems
Garcia, P., Bhowmik, D., Wallace, A., Stewart, R. & Michaelson, G., 8 Apr 2018, Applied Reconfigurable Computing: Architectures, Tools, and Applications. Springer, p. 523-536 14 p. (Lecture Notes in Computer Science; vol. 10824).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Citation (Scopus)26 Downloads (Pure) -
Parallel Mean Shift Accuracy and Performance Trade-Offs
Duncan, K., Stewart, R. J. & Michaelson, G. J., 6 Sept 2018, 2018 25th IEEE International Conference on Image Processing (ICIP). IEEE, p. 2197-2201 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile42 Downloads (Pure) -
2017
Power Efficient Dataflow Design for a Heterogeneous Smart Camera Architecture
Bhowmik, D., Garcia, P., Wallace, A., Stewart, R. & Michaelson, G., 1 Dec 2017, 2017 Conference on Design and Architectures for Signal and Image Processing (DASIP). IEEE, 8122128Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile8 Citations (Scopus)21 Downloads (Pure) -
2016
A Dataflow IR for memory efficient RIPL compilation to FPGAs
Stewart, R., Michaelson, G. J., Bhowmik, D., Garcia, P. & Wallace, A., 2016, Algorithms and Architectures for Parallel Processing: ICA3PP 2016 Collocated Workshops: SCDT, TAPEMS, BigTrust, UCER, DLMCS, Granada, Spain, December 14-16, 2016, Proceedings. Springer, p. 174-188 15 p. (Lecture Notes in Computer Science; vol. 10049).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile10 Citations (Scopus)59 Downloads (Pure) -
Are there domain specific languages?
Michaelson, G. J., 12 Mar 2016, RWDSL '16 Proceedings of the 1st International Workshop on Real World Domain Specific Languages. Association for Computing Machinery, 1Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2015
Profile driven dataflow optimisation of mean shift visual tracking
Bhowmik, D., Wallace, A., Stewart, R., Qian, X. & Michaelson, G., 9 Feb 2015, 2014 IEEE Global Conference on Signal and Information Processing (GlobalSIP). IEEE, 7032066Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Citation (Scopus)102 Downloads (Pure) -
RIPL: An Efficient Image Processing DSL for FPGAs
Stewart, R., Bhowmik, D., Michaelson, G. J. & Wallace, A. M., 2015, Proceedings of the Second International Workshop on FPGAs for Software Programmers. London, p. 80-81 2 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2012
Accelerated People Tracking using Texture in a Camera Network
Limprasert, W., Wallace, A. M. & Michaelson, G., Feb 2012, Proceedings of the International Conference on Computer Vision Theory and Applications 2012. SciTePress, Vol. 1. p. 225-234 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access4 Citations (Scopus) -
Harnessing parallelism in FPGAs using the hume language
Sérot, J. & Michaelson, G. J., 2012, Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing. Filinski, A. (ed.). Association for Computing Machinery, p. 27-36 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus) -
Modelling of secure data transmission over a multichannel wireless network in alloy
Alabdali, A. M., Georgieva, L. & Michaelson, G. J., 2012, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) . IEEE, p. 785-792 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2010
Characterising effective resource analyses for parallel and distributed coordination
Trinder, P., Cole, M., Loidl, H. W. & Michaelson, G., 2010, Foundational and Practical Aspects of Resource Analysis - First International Workshop, FOPARA 2009, Revised Selected Papers. Vol. 6324 LNCS. p. 67-83 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6324 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus) -
2009
Low-pain,high-gain multicore programming in haskell coordinating irregular symbolic computations on multiCore architectures
Zain, A. A., Trinder, P., Aswad, M., Michaelson, G., Hammond, K. & Berthold, J., 2009, Proceedings of the 4th ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, DAMP'09. p. 25-36 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6 Citations (Scopus) -
2008
Automatically costed autonomous mobility
Deng, X. Y., Michaelson, G. & Trinder, P., 2008, Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2007. p. 95-101 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
Formal action semantics for a UML action language
Yang, M., Michaelson, G. J. & Pooley, R. J., 2008, Proceedings of XII Brazilian Symposium on Programming Languages. p. 129-142Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2007
Autonomous mobile programs
Deng, X. Y., Trinder, P. & Michaelson, G., 2007, Proceedings - 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2006 Main Conference Proceedings), IAT'06. p. 177-183 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Citations (Scopus) -
Formal verification of concurrent scheduling strategies using TLA
Grov, G., Michaelson, G. & Ireland, A., 2007, The 13th International Conference on Parallel and Distributed Systems, ICPADS. Vol. 2.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Citations (Scopus) -
Low-level programming in Hume: An exploration of the HW-Hume level
Hammond, K., Grov, G., Michaelson, G. & Ireland, A., 2007, Implementation and Application of Functional Languages - 18th International Symposium, IFL 2006, Revised Selected Papers. Vol. 4449 LNCS. p. 91-107 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4449 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus) -
Towards resource-certified software: A formal cost model for time and its application to an image-processing example
Bonenfant, A., Chen, Z., Hammond, K., Michaelson, G., Wallace, A. & Wallace, I., 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. p. 1307-1314 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Citations (Scopus) -
2006
Constraints on hypercomputation
Michaelson, G. & Cockshott, P., 2006, Logical Approaches to Computational Barriers - Second Conference on Computability in Europe, CiE 2006, Proceedings. Vol. 3988 LNCS. p. 378-387 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3988 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Citations (Scopus) -
Towards formally verifiable WCET analysis for a functional programming language
Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hofmann, M., Jost, S., Loidl, H.-W., Michaelson, G., Pointon, R., Scaife, N., Sérot, J. & Wallace, A., 2006, Proceedings of the 6th International Workshop on Worst-Case Execution Time Analysis. Dagstuhl, (OpenAccess Series in Informatics; vol. 4).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2004
FSM-Hume: Programming resource-limited systems using bounded automata
Michaelson, G., Hammond, K. & Serot, J., 2004, Proceedings of the 2004 ACM Symposium on Applied Computing. Vol. 2. p. 1455-1461 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Citations (Scopus) -
1994
Women and men in computer cartoons from punch: 1946 to 1982
Michaelson, G., 1994, Proceedings of the IFIP TC9/WG9.1 Fifth International Conference on Woman, Work and Computerization: Breaking Old Boundaries - Building New Forms. Elsevier, p. 171-184 14 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Citation (Scopus)