| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder |
Architecture-aware cost modelling for parallel performance portability.  |
Software Engineering (Workshops)  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Greg Michaelson, Ruth Aylett |
Special issue on social impact of AI: killer robots or friendly fridges. |
AI Soc. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerardo Canfora, Darren Dalcher, David Raffo, Victor R. Basili, Juan Fernández-Ramil, Václav Rajlich, Keith H. Bennett, Liz Burd, Malcolm Munro, Sophia Drossopoulou, Barry W. Boehm, Susan Eisenbach, Greg Michaelson, Peter Ross, Paul Wernick, Dewayne E. Perry |
In memory of Manny Lehman, 'Father of Software Evolution'. |
Journal of Software Maintenance |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gudmund Grov, Greg Michaelson |
Hume box calculus: robust system development through software transformation. |
Higher-Order and Symbolic Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Yan Deng, Greg Michaelson, Philip W. Trinder |
Cost-driven autonomous mobility. |
Computer Languages, Systems & Structures |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson |
Alison Cawsey. |
Computational Linguistics |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Allin Cottrell, W. Paul Cockshott, Greg Michaelson |
Is Economic Planning Hypercomputational? The Argument from Cantor Diagonalisation. |
IJUC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond, Greg Michaelson |
The Peter Landin prize. |
Higher-Order and Symbolic Computation |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Al Zain, Kevin Hammond, Jost Berthold, Philip W. Trinder, Greg Michaelson, Mustafa Aswad |
Low-pain, high-gain multicore programming in Haskell: coordinating irregular symbolic computations on multicore architectures. |
DAMP |
2009 |
DBLP DOI BibTeX RDF |
eden, multicore parallelism, haskell, algorithmic skeletons |
| 1 | Philip W. Trinder, Murray Cole, Hans-Wolfgang Loidl, Greg Michaelson |
Characterising Effective Resource Analyses for Parallel and Distributed Coordination. |
FOPARA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson |
Physical constraints on hypercomputation. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl |
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. |
IEEE Trans. Parallel Distrib. Syst. |
2008 |
DBLP DOI BibTeX RDF |
distributed and parallel languages, Grid Computing, Concurrent, Functional Languages |
| 1 | Gudmund Grov, Robert F. Pointon, Greg Michaelson, Andrew Ireland |
Preserving coordination properties when transforming concurrent system components. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Paul Cockshott, Greg Michaelson |
Are There New Models of Computation? Reply to Wegner and Eberbach. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson |
Inductive Synthesis of Functional Programs by U. Schmid, Springer Verlag, 2003, 420pp, ISBN 3540401741. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Armelle Bonenfant, Zezhi Chen, Kevin Hammond, Greg Michaelson, Andrew M. Wallace, Iain Wallace |
Towards resource-certified software: a formal cost model for time and its application to an image-processing example. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
resource bounds, embedded systems, functional programming, motion tracking |
| 1 | Gudmund Grov, Greg Michaelson, Andrew Ireland |
Formal verification of concurrent scheduling strategies using TLA. |
ICPADS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Yan Deng, Greg Michaelson, Philip W. Trinder |
Automatically Costed Autonomous Mobility. |
IAT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Scaife, Greg Michaelson, Susumu Horiguchi |
Empirical Parallel Performance Prediction From Semantics-Based Profiling. |
Scalable Computing: Practice and Experience |
2006 |
DBLP BibTeX RDF |
|
| 1 | Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl |
Managing Heterogeneity in a Grid Parallel Haskell. |
Scalable Computing: Practice and Experience |
2006 |
DBLP BibTeX RDF |
|
| 1 | Norman Scaife, Greg Michaelson, Susumu Horiguchi |
Parallel Standard ML with Skeletons. |
Scalable Computing: Practice and Experience |
2006 |
DBLP BibTeX RDF |
|
| 1 | Xiao Yan Deng, Greg Michaelson, Philip W. Trinder |
Autonomous mobility skeletons. |
Parallel Computing |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Paul Cockshott, Greg Michaelson |
Orthogonal parallel processing in vector Pascal. |
Computer Languages, Systems & Structures |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Yan Deng, Philip W. Trinder, Greg Michaelson |
Autonomous Mobile Programs. |
IAT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace |
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. |
WCET |
2006 |
DBLP BibTeX RDF |
|
| 1 | Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland |
Low-Level Programming in Hume: An Exploration of the HW-Hume Level. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson, W. Paul Cockshott |
Constraints on Hypercomputation. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cook, Andrew Ireland, Greg Michaelson, Norman Scaife |
Discovering applications of higher order functions through proof planning. |
Formal Asp. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Scaife, Susumu Horiguchi, Greg Michaelson, Paul Bristow |
A parallel SML compiler based on algorithmic skeletons. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson |
Managing Heterogeneity in a Grid Parallel Haskell. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Scaife, Greg Michaelson, Susumu Horiguchi |
Empirical Parallel Performance Prediction from Semantics-Based Profiling. |
International Conference on Computational Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace |
The Embounded project (project start paper). |
Trends in Functional Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Clemens Grelck, Frank Huch, Greg Michaelson, Philip W. Trinder (eds.) |
Implementation and Application of Functional Languages, 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers |
IFL |
2005 |
DBLP BibTeX RDF |
|
| 1 | Greg Michaelson, Kevin Hammond, Jocelyn Sérot |
FSM-Hume: programming resource-limited systems using bounded automata. |
SAC |
2004 |
DBLP DOI BibTeX RDF |
multi-process simulation, functional language, finite state automata |
| 1 | Philip W. Trinder, Greg Michaelson, Ricardo Pena (eds.) |
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers |
IFL |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder |
Comparing Parallel Functional Languages: Programming and Performance. |
Higher-Order and Symbolic Computation |
2003 |
DBLP DOI BibTeX RDF |
automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism |
| 1 | Kevin Hammond, Greg Michaelson |
The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. |
Domain-Specific Program Generation |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Greg Michaelson |
Hume: A Domain-Specific Language for Real-Time Embedded Systems. |
GPCE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson, Kevin Hammond, Jocelyn Sérot |
FSM-Hume is finite state. |
Trends in Functional Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yang Jun, Greg Michaelson, Philip W. Trinder |
Explaining Polymorphic Types. |
Comput. J. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Hammond, Greg Michaelson |
Predictable Space Behaviour in FSM-Hume. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nestor Miliaev, Alison Cawsey, Greg Michaelson |
Technical Documentation: An Integrated Architecture for Supporting the Author in Generation and Resource Editing. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Cook, Andrew Ireland, Greg Michaelson |
Higher Order Function Synthesis Through Proof Planning. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Norman Scaife, Greg Michaelson, Susumu Horiguchi |
Comparative Cross-Platform Performance Results from a Parallelizing SML Compiler. |
IFL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Jung, Greg Michaelson |
A visualisation of polymorphic type checking. |
J. Funct. Program. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl (eds.) |
Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999 |
Scottish Functional Programming Workshop |
2000 |
DBLP BibTeX RDF |
|
| 1 | Andrew M. Wallace, Greg Michaelson, Norman Scaife, W. J. Austin |
A Dual Source, Parallel Architecture for Computer Vision. |
The Journal of Supercomputing |
1998 |
DBLP DOI BibTeX RDF |
parallel vision, multi-source data, cooperative processing |
| 1 | Sandra P. Foubister, Greg Michaelson, N. Tomes |
Automatic assessment of elementary Standard ML programs using Ceilidh. |
J. Comp. Assisted Learning |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson |
Automatic Analysis Of Functional Program Style. |
Australian Software Engineering Conference |
1996 |
DBLP DOI BibTeX RDF |
automatic program assessment, functional programming, style analysis |
| 1 | Greg Michaelson |
Automatic Analysis Of Functional Program Style. |
ASYNC |
1996 |
DBLP DOI BibTeX RDF |
automatic program assessment, functional programming, style analysis |
| 1 | Greg Michaelson, Norman Scaife |
Prototyping a Parallel Vision System in Standard ML. |
J. Funct. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson |
Women and Men in Computer Cartoons from Punch: 1946 to 1982. |
Woman, Work and Computerization |
1994 |
DBLP BibTeX RDF |
|
| 1 | Greg Michaelson, Tore Bratvold, David Busvine, K. G. Waugh |
Parallel Implementations from Functional Prototype Instrumentation. |
PARCO |
1993 |
DBLP BibTeX RDF |
|
| 1 | Andrew M. Wallace, Greg Michaelson, P. McAndrew, K. G. Waugh, W. J. Austin |
Dynamic Control and Prototyping of Parallel Algorithms for Intermediate- and High-Level Vision. |
IEEE Computer |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Welch, Greg Michaelson |
The Edinburgh Woman in Computing Workshops. |
Woman into Computing |
1990 |
DBLP BibTeX RDF |
|
| 1 | S. Hopkins, Greg Michaelson, Andrew M. Wallace |
Parallel imperative and functional approaches to visual scene labelling. |
Image Vision Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Michaelson |
Grammars and Implementation Independent Structure Representation. |
POS |
1989 |
DBLP BibTeX RDF |
|
| 1 | Greg Michaelson |
Interpreters From Functions and Grammars. |
Comput. Lang. |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")