| 2012 | ||
|---|---|---|
| j4 | Cordelia V. Hall, John T. O'Donnell: Regular Expressions as Violin Bowing Patterns. Computer Music Journal 36(2): 74-84 (2012) | |
| c10 | John T. O'Donnell, Cordelia V. Hall: Optimisation and Parallelism in Synchronous Digital Circuit Simulators. CSE 2012: 94-101 | |
| c9 | John T. O'Donnell: Connecting the Dots: Computer Systems Education using a Functional Hardware Description Language. TFPIE 2012: 20-39 | |
| 2010 | ||
| c8 | Andreas Koltes, John T. O'Donnell: A framework for FPGA functional units in high performance computing. IPDPS Workshops 2010: 1-8 | |
| 2008 | ||
| c7 | Paul Cockshott, Andreas Koltes, John T. O'Donnell, Patrick Prosser, Wim Vanderbauwhede: A Hardware Relaxation Paradigm for Solving NP-Hard Problems. BCS Int. Acad. Conf. 2008: 75-86 | |
| 2006 | ||
| b2 | John T. O'Donnell, Cordelia V. Hall, Rex L. Page: Discrete mathematics using a computer (2. ed.). Springer 2006, isbn 978-1-84628-241-6, pp. I-XIX, 1-441 | |
| 2005 | ||
| c6 | Sarah Baillie, Stephen A. Brewster, Cordelia V. Hall, John T. O'Donnell: Motion Space Reduction in a Haptic Model of Violin and Viola Bowin. WHC 2005: 525-526 | |
| 2004 | ||
| j3 | John T. O'Donnell, Gudula Rünger: Derivation of a logarithmic time carry lookahead addition circuit. J. Funct. Program. 14(6): 697-713 (2004) | |
| 2003 | ||
| c5 | Krzysztof Czarnecki, John T. O'Donnell, Jörg Striegnitz, Walid Taha: DSL Implementation in MetaOCaml, Template Haskell, and C++. Domain-Specific Program Generation 2003: 51-72 | |
| c4 | John T. O'Donnell: Embedding a Hardware Description Language in Template Haskell. Domain-Specific Program Generation 2003: 143-164 | |
| 2000 | ||
| b1 | Cordelia V. Hall, John T. O'Donnell: Discrete mathematics using a computer. Springer 2000, isbn 978-1-85233-089-7, pp. I-XVIII, 1-339 | |
| 1994 | ||
| j2 | John T. O'Donnell: A Correctness Proof of Parallel Scan. Parallel Processing Letters 4: 329-338 (1994) | |
| 1993 | ||
| c3 | John T. O'Donnell: Data Parallel Implementation of Extensible Sparse Functional Arrays. PARLE 1993: 68-79 | |
| 1992 | ||
| c2 | John T. O'Donnell: Generating Netlists from Executable Circuit Specifications. Functional Programming 1992: 178-194 | |
| 1988 | ||
| j1 | John T. O'Donnell, Cordelia V. Hall: Debugging in Applicative Languages. Lisp and Symbolic Computation 1(2): 113-145 (1988) | |
| 1985 | ||
| c1 | John T. O'Donnell: An Architecture that Efficiently Updates Associative Aggregates in Applicative Programing Languages. FPCA 1985: 164-189 | |
Colors in the list of coauthors
Last update Sun May 26 11:22:10 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page