The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Kevin Hammond" ( http://dblp.L3S.de/Authors/Kevin_Hammond )

  Author page on DBLP  Author page in RDF  Community of Kevin Hammond in ASPL-2

Publication years (Num. hits)
1989-1995 (16) 1996-1999 (15) 2000-2003 (15) 2004-2007 (17) 2008-2011 (22) 2012-2013 (15) 2014-2016 (16) 2017-2019 (14)
Publication types (Num. hits)
article(31) book(1) incollection(6) inproceedings(87) proceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 24 occurrences of 17 keywords

Results
Found 131 publication records. Showing 130 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jerry Swan, Steven Adriænsen, Adam D. Barwell, Kevin Hammond, David R. White 0003 Extending the "Open-Closed Principle" to Automated Algorithm Configuration. Search on Bibsonomy Evolutionary Computation The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond Proof-Carrying Plans. Search on Bibsonomy PADL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Georgios C. Chasparis, Michael Rossbory, Vladimir Janjic, Kevin Hammond Learning-Based Dynamic Pinning of Parallelized Applications in Many-Core Systems. Search on Bibsonomy PDP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wojciech Turek, Aleksander Byrski, John Hughes, Kevin Hammond, Marek Zaionc Special issue on Parallel and distributed computing based on the functional programming paradigm. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1José Daniel García, Kevin Hammond, Lutz Schubert Reengineering for parallelism in heterogeneous parallel platforms. Search on Bibsonomy The Journal of Supercomputing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Stypka, Wojciech Turek, Aleksander Byrski, Marek Kisiel-Dorohinicki, Adam D. Barwell, Christopher Brown 0002, Kevin Hammond, Vladimir Janjic The Missing Link! A New Skeleton for Evolutionary Multi-agent Systems in Erlang. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Georgios C. Chasparis, Vladimir Janjic, Michael Rossbory, Kevin Hammond Learning-based Dynamic Pinning of Parallelized Applications in Many-Core Systems. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Adam D. Barwell, Christopher Brown 0002, Kevin Hammond Finding parallel functional pearls: Automatic parallel recursion scheme detection in Haskell functions via anti-unification. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aleksander Byrski, Katarzyna Rycerz, John Hughes, Kevin Hammond Special section on functional paradigm for high performance computing. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Castro, Kevin Hammond, Susmit Sarkar, Yasir Alguwaifli Automatically deriving cost models for structured parallel processes using hylomorphisms. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steffen Jost, Pedro B. Vasconcelos, Mário Florido, Kevin Hammond Type-Based Cost Analysis for Lazy Functional Languages. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adam D. Barwell, Kevin Hammond In search of a map: using program slicing to discover potential parallelism in recursive functions. Search on Bibsonomy FHPC@ICFP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Adam D. Barwell, Christopher Brown 0002, Kevin Hammond, Wojciech Turek, Aleksander Byrski Using Program Shaping and Algorithmic Skeletons to Parallelise an Evolutionary Multi-Agent System in Erlang. Search on Bibsonomy Computing and Informatics The full citation details ... 2016 DBLP  BibTeX  RDF
1Reimer Behrends, Kevin Hammond, Vladimir Janjic, Alexander Konovalov 0001, Steve Linton, Hans-Wolfgang Loidl, Patrick Maier 0001, Phil Trinder HPC-GAP: engineering a 21st-century high-performance computer algebra system. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond, Peng Fu 0001 Coinductive Soundness of Corecursive Type Class Resolution. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jost Berthold, Hans-Wolfgang Loidl, Kevin Hammond PAEAN: Portable and scalable runtime support for parallel Haskell dialects. Search on Bibsonomy J. Funct. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir Janjic, Christopher Brown 0002, K. Mackenzie, Kevin Hammond, Marco Danelutto, Marco Aldinucci, José Daniel García RPL: A Domain-Specific Language for Designing and Implementing Parallel C++ Applications. Search on Bibsonomy PDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Henrique Ferreiro, Laura M. Castro, Vladimir Janjic, Kevin Hammond Kindergarten cop: dynamic nursery resizing for GHC. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Castro, Kevin Hammond, Susmit Sarkar Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adam D. Barwell, Christopher Brown 0002, David Castro, Kevin Hammond Towards semi-automatic data-type translation for parallelism in Erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Frantisek Farka, Ekaterina Komendantskaya, Kevin Hammond Coinductive Soundness of Corecursive Type Class Resolution. Search on Bibsonomy LOPSTR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. Search on Bibsonomy ESOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vladimir Janjic, Christopher Brown 0002, Kevin Hammond Lapedo: Hybrid Skeletons for Programming Heterogeneous Multicore Machines in Erlang. Search on Bibsonomy PARCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Christopher Brown 0002, Susmit Sarkar Timing Properties and Correctness for Structured Parallel Programs on x86-64 Multicores. Search on Bibsonomy FOPARA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christopher Brown 0002, Marco Danelutto, Kevin Hammond, Peter Kilpatrick, Archibald Elliott Cost-Directed Refactoring for Parallel Erlang Programs. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christopher Brown 0002, Vladimir Janjic, Kevin Hammond, Holger Schöner, Kamran Idrees, Colin W. Glass Agricultural Reform: More Efficient Farming Using Advanced Parallel Refactoring Tools. Search on Bibsonomy PDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1István Bozó, Viktoria Fordós, Zoltán Horváth, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam D. Barwell, Christopher Brown 0002, Kevin Hammond Discovering parallel pattern candidates in Erlang. Search on Bibsonomy Erlang Workshop The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kevin Hammond Functional programming and the "megacore" era. Search on Bibsonomy Erlang Workshop The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Philip W. Trinder, M. I. Cole, Kevin Hammond, Hans-Wolfgang Loidl, Greg Michaelson Resource analyses for parallel and distributed coordination. Search on Bibsonomy Concurrency and Computation: Practice and Experience The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Steve Linton, Kevin Hammond, Alexander Konovalov 0001, Christopher Brown 0002, Philip W. Trinder, Hans-Wolfgang Loidl, Peter Horn, Dan Roozemond Easy composition of symbolic computation software using SCSCP: A new Lingua Franca for symbolic computation. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mehdi Goli, John A. W. McCall, Christopher Brown 0002, Vladimir Janjic, Kevin Hammond Mapping parallel programs to heterogeneous CPU/GPU architectures using a Monte Carlo Tree Search. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vladimir Janjic, Kevin Hammond How to be a Successful Thief - Feudal Work Stealing for Irregular Divide-and-Conquer Applications on Heterogeneous Distributed Systems. Search on Bibsonomy Euro-Par The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vladimir Janjic, Christopher Brown 0002, Max Neunhöffer, Kevin Hammond, Steve Linton, Hans-Wolfgang Loidl Space Exploration using Parallel Orbits: a Study in Parallel Symbolic Computing. Search on Bibsonomy PARCO The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gaétan Hains, Frédéric Gava, Kevin Hammond Guest Editors Note: High-Level Programming for Heterogeneous and Hierarchical Parallel Systems. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Paul H. J. Kelly Introduction to the Special Issue on Automatic Program Generation for Embedded Systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Abdallah Al Zain, Philip W. Trinder, Kevin Hammond Orchestrating computational algebra components into a high-performance parallel system. Search on Bibsonomy IJHPCN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Edwin Brady, Kevin Hammond Resource-Safe Systems Programming with Embedded Domain Specific Languages. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Danelutto, Kevin Hammond, Horacio González-Vélez ParaPhrase Workshop 2012. Search on Bibsonomy Euro-Par Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Vladimir Janjic, Kevin Hammond Using Load Information in Work-Stealing on Distributed Systems with Non-uniform Communication Latencies. Search on Bibsonomy Euro-Par The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hugo R. Simões, Pedro B. Vasconcelos, Mário Florido, Steffen Jost, Kevin Hammond Automatic amortised analysis of dynamic memory allocation for lazy functional programs. Search on Bibsonomy ICFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Henrique Ferreiro, Vladimir Janjic, Laura M. Castro, Kevin Hammond Repeating History: Execution Replay for Parallel Haskell Programs. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Heiko Falk, Kevin Hammond, Kim G. Larsen, Björn Lisper, Stefan M. Petters Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. Search on Bibsonomy EMSOFT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Christopher Brown 0002, Kevin Hammond, Marco Danelutto, Peter Kilpatrick A language-independent parallel refactoring framework. Search on Bibsonomy WRT@ICSE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Philip W. Trinder, Hans-Wolfgang Loidl, Kevin Hammond Functional Languages. Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kevin Hammond Glasgow Parallel Haskell (GpH). Search on Bibsonomy Encyclopedia of Parallel Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher Brown 0002, Hans-Wolfgang Loidl, Kevin Hammond ParaForming: Forming Parallel Haskell Programs Using Novel Refactoring Techniques. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Clemens Grelck, Kevin Hammond, Heinz Hertlein, Philip K. F. Hölzenspies, Chris R. Jesshope, Raimund Kirner, Bernd Scheuermann, Alexander V. Shafarenko, Iraneus te Boekhorst, Volkmar Wieser Engineering Concurrent Software Guided by Statistical Performance Analysis. Search on Bibsonomy PARCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christoph A. Herrmann, Kevin Hammond Counter Automata for Parameterised Timing Analysis of Box-Based Systems. Search on Bibsonomy FOPARA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Marco Aldinucci, Christopher Brown 0002, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer The ParaPhrase Project: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. Search on Bibsonomy FMCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christopher Brown 0002, Kevin Hammond, Marco Danelutto, Peter Kilpatrick, Holger Schöner, Tino Breddin Paraphrasing: Generating Parallel Programs Using Refactoring. Search on Bibsonomy FMCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kevin Hammond Why Parallel Functional Programming Matters: Panel Statement. Search on Bibsonomy Ada-Europe The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Edwin Brady, Kevin Hammond Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christopher Brown 0002, Hans-Wolfgang Loidl, Jost Berthold, Kevin Hammond Improving Your CASH Flow: The Computer Algebra SHell. Search on Bibsonomy IFL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann 0001 Static determination of quantitative resource usage for higher-order programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF resource analysis, functional programming, types
1Edwin Brady, Kevin Hammond Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. Search on Bibsonomy ICFP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vladimir Janjic, Kevin Hammond Granularity-Aware Work-Stealing for Computationally-Uniform Grids. Search on Bibsonomy CCGRID The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Steve Linton, Kevin Hammond, Alexander Konovalov 0001, Abdallah Al Zain, Philip W. Trinder, Peter Horn, Dan Roozemond Easy composition of symbolic computation software: a new lingua franca for symbolic computation. Search on Bibsonomy ISSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Greg Michaelson The Peter Landin prize. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann 0001 "Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. Search on Bibsonomy FM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Abdallah 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. Search on Bibsonomy DAMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF eden, multicore parallelism, haskell, algorithmic skeletons
1Jost Berthold, Simon Marlow, Kevin Hammond, Abdallah Al Zain Comparing and Optimising Parallel Haskell Implementations for Multicore Machines. Search on Bibsonomy ICPP Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Saleem Bhatti, Edwin Brady, Kevin Hammond, James McKinna Domain Specific Languages (DSLs) for Network Protocols (Position Paper). Search on Bibsonomy ICDCS Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Abdallah Al Zain, Valerie Gibson, Greg J. Michaelson, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl Towards Hume SIMD vectorisation. Search on Bibsonomy EUSIPCO The full citation details ... 2009 DBLP  BibTeX  RDF
1Edwin Brady, Christoph A. Herrmann, Kevin Hammond Lightweight Invariants with Full Dependent Types. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2008 DBLP  BibTeX  RDF
1Abdallah Al Zain, Philip W. Trinder, Kevin Hammond, Alexander Konovalov 0001, Steve Linton, Jost Berthold Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System. Search on Bibsonomy ISPA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Alexandru Cârstea, Marc Frîncu, Georgiana Macariu, Dana Petcu, Kevin Hammond Generic Access to Web and Grid-based Symbolic Computing Services: the SymGrid-Services Framework. Search on Bibsonomy ISPDC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Armelle 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. Search on Bibsonomy SAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF resource bounds, embedded systems, functional programming, motion tracking
1Kevin Hammond, Abdallah Al Zain, Gene Cooperman, Dana Petcu, Philip W. Trinder SymGrid: A Framework for Symbolic Computation on the Grid. Search on Bibsonomy Euro-Par The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Edwin Brady, James McKinna, Kevin Hammond Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2007 DBLP  BibTeX  RDF
1Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon Automatic Amortised Worst-Case Execution Time Analysis. Search on Bibsonomy WCET The full citation details ... 2007 DBLP  BibTeX  RDF
1Abdallah Al Zain, Kevin Hammond, Philip W. Trinder, Steve Linton, Hans-Wolfgang Loidl, Marco Costanti SymGrid-Par: Designing a Framework for Executing Computational Algebra Systems on Computational Grids. Search on Bibsonomy International Conference on Computational Science (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kevin Hammond SymGrid: A Framework for Symbolic Computations on the Grid. Search on Bibsonomy SYNASC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Christian Ferdinand, Reinhold Heckmann Towards formally verifiable resource bounds for real-time embedded systems. Search on Bibsonomy SIGBED Review The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Armelle Bonenfant, Christian Ferdinand, Kevin Hammond, Reinhold Heckmann Worst-Case Execution Times for a Purely Functional Language. Search on Bibsonomy IFL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Gudmund Grov, Greg Michaelson, Andrew Ireland Low-Level Programming in Hume: An Exploration of the HW-Hume Level. Search on Bibsonomy IFL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hugo R. Simões, Kevin Hammond, Mário Florido, Pedro B. Vasconcelos Using Intersection Types for Cost-Analysis of Higher-Order Polymorphic Functional Programs. Search on Bibsonomy TYPES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Edwin Brady, Kevin Hammond A verified staged interpreter is a verified compiler. Search on Bibsonomy GPCE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF domain specific language implementation, resource aware programming, functional programming, partial evaluation, dependent types, multi-stage programming
1Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann 0001, 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. Search on Bibsonomy WCET The full citation details ... 2006 DBLP  BibTeX  RDF
1Edwin Brady, Kevin Hammond A Dependently Typed Framework for Static Analysis of Program Execution Costs. Search on Bibsonomy IFL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann 0001, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace The Embounded project (project start paper). Search on Bibsonomy Trends in Functional Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Kevin Hammond Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: The Hume Approach. Search on Bibsonomy CEFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Greg Michaelson, Kevin Hammond, Jocelyn Sérot FSM-Hume: programming resource-limited systems using bounded automata. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multi-process simulation, functional language, finite state automata
1Kevin Hammond, Jost Berthold, Rita Loogen Automatic Skeletons in Template Haskell. Search on Bibsonomy Parallel Processing Letters The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hans-Wolfgang Loidl, Fernando Rubio 0001, 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. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF automatic task decomposition, load balancing, parallel computation, functional programming, Haskell, skeletons, ML, implicit parallelism
1Pedro B. Vasconcelos, Kevin Hammond Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. Search on Bibsonomy IFL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Greg Michaelson The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain. Search on Bibsonomy Domain-Specific Program Generation The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Greg Michaelson Hume: A Domain-Specific Language for Real-Time Embedded Systems. Search on Bibsonomy GPCE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Greg Michaelson, Kevin Hammond, Jocelyn Sérot FSM-Hume is finite state. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Kevin Hammond Is it time for real-time functional programming? Search on Bibsonomy Trends in Functional Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Kevin Hammond, Greg Michaelson Predictable Space Behaviour in FSM-Hume. Search on Bibsonomy IFL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos Cost Analysis Using Automatic Size and Time Inference. Search on Bibsonomy IFL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Kevin Hammond Parallel Programming: Models, Methods and Programming Languages. Search on Bibsonomy Euro-Par The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Kevin Hammond, Sharon Curtis (eds.) Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), University of Stirling, Bridge of Allan, Scotland, August 22nd to 24th, 2001 Search on Bibsonomy Scottish Functional Programming Workshop The full citation details ... 2002 DBLP  BibTeX  RDF
1Kevin Hammond The Dynamic Properties of Hume: A Functionally-Based Concurrent Language with Bounded Time and Space Behaviour. Search on Bibsonomy IFL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Philip W. Trinder, Hans-Wolfgang Loidl, Ed. Barry Jr., Kei Davis, Kevin Hammond, Ulrike Klusik, Simon L. Peyton Jones, Álvaro J. Rebón Portillo The Multi-architecture Performance of the Parallel Functional Language GP H (Research Note). Search on Bibsonomy Euro-Par The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michelle Cope, Ian P. Gent, Kevin Hammond Parallel heuristic search in Haskell. Search on Bibsonomy Scottish Functional Programming Workshop The full citation details ... 2000 DBLP  BibTeX  RDF
1Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Search on Bibsonomy Scottish Functional Programming Workshop The full citation details ... 2000 DBLP  BibTeX  RDF
1Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones Engineering parallel symbolic programs in GPH. Search on Bibsonomy Concurrency - Practice and Experience The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 130 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license