2008 | ||
---|---|---|
39 | EE | Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl: Scheduling Light-Weight Parallelism in ArTCoP. PADL 2008: 214-229 |
38 | EE | 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. 19(2): 219-233 (2008) |
2007 | ||
37 | EE | Abdallah 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. International Conference on Computational Science (2) 2007: 617-624 |
36 | EE | Christoph A. Herrmann, Armelle Bonenfant, Kevin Hammond, Steffen Jost, Hans-Wolfgang Loidl, Robert F. Pointon: Automatic Amortised Worst-Case Execution Time Analysis. WCET 2007 |
35 | EE | David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A program logic for resources. Theor. Comput. Sci. 389(3): 411-445 (2007) |
2006 | ||
34 | Hans-Wolfgang Loidl: Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, TFP 2004, München, Germany, 25-26 November 2004. Intellect 2006 | |
33 | EE | 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 |
32 | EE | André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Strong Mobility in Mobile Haskell. J. UCS 12(7): 868-884 (2006) |
31 | EE | Martin Hofmann, Hans-Wolfgang Loidl: Preface. Theor. Comput. Sci. 364(3): 271-272 (2006) |
2005 | ||
30 | EE | Abdallah Al Zain, Philip W. Trinder, Hans-Wolfgang Loidl, Greg Michaelson: Managing Heterogeneity in a Grid Parallel Haskell. International Conference on Computational Science (2) 2005: 746-754 |
29 | 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: 195-210 | |
28 | Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska: Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming 2005: 211-226 | |
27 | EE | Martin Lange, Hans-Wolfgang Loidl: Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. Electr. Notes Theor. Comput. Sci. 128(3): 125-138 (2005) |
26 | EE | André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: mHaskell: Mobile Computation in a Purely Functional Language. J. UCS 11(7): 1234-1254 (2005) |
25 | EE | André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Towards Mobility Skeletons. Parallel Processing Letters 15(3): 273-288 (2005) |
2004 | ||
24 | EE | David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano: A Program Logic for Resource Verification. TPHOLs 2004: 34-49 |
2003 | ||
23 | André Rauber Du Bois, Philip W. Trinder, Hans-Wolfgang Loidl: Implementing Mobile Haskell. Trends in Functional Programming 2003: 79-94 | |
22 | EE | 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 16(3): 203-251 (2003) |
2002 | ||
21 | EE | Hans-Wolfgang Loidl: The Virtual Shared Memory Performance of a Parallel Graph Reduce. CCGRID 2002: 311-318 |
20 | EE | André Rauber Du Bois, Hans-Wolfgang Loidl, Philip W. Trinder: Thread Migration in a Parallel Graph Reducer. IFL 2002: 199-214 |
19 | EE | Álvaro J. Rebón Portillo, Kevin Hammond, Hans-Wolfgang Loidl, Pedro B. Vasconcelos: Cost Analysis Using Automatic Size and Time Inference. IFL 2002: 232-248 |
18 | EE | André Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder: Implementing Declarative Parallel Bottom-Avoiding Choice. SBAC-PAD 2002: 82-92 |
17 | Philip W. Trinder, Hans-Wolfgang Loidl, Robert F. Pointon: Parallel and Distributed Haskells. J. Funct. Program. 12(4&5): 469-510 (2002) | |
2001 | ||
16 | EE | Robert F. Pointon, Steffen Priebe, Hans-Wolfgang Loidl, Rita Loogen, Philip W. Trinder: Functional Vs Object-Oriented Distributed Languages. EUROCAST 2001: 642-656 |
15 | Hans-Wolfgang Loidl: Load Balancing in a Parallel Graph Reducer. Scottish Functional Programming Workshop 2001: 63-74 | |
14 | Hans-Wolfgang Loidl, Philip W. Trinder, Carsten Butz: Tuning Task Granularity and Data Locality of Data Parallel GPH Programs. Parallel Processing Letters 11(4): 471-486 (2001) | |
2000 | ||
13 | Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl: Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), University of Stirling, Bridge of Allan, Scotland, August 29th to September 1st, 1999 Intellect 2000 | |
12 | EE | Philip 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). Euro-Par 2000: 739-743 |
11 | EE | Robert F. Pointon, Philip W. Trinder, Hans-Wolfgang Loidl: The Design and Implementation of Glasgow Distributed Haskell. IFL 2000: 53-70 |
10 | Philip W. Trinder, Robert F. Pointon, Hans-Wolfgang Loidl: Runtime system level fault tolerance for a distributed functional language. Scottish Functional Programming Workshop 2000: 103-114 | |
9 | Hans-Wolfgang Loidl, Ulrike Klusik, Kevin Hammond, Rita Loogen, Philip W. Trinder: GpH and Eden: Comparing two parallel functional languages on a Beowulf cluster. Scottish Functional Programming Workshop 2000: 39-52 | |
1999 | ||
8 | Hans-Wolfgang Loidl, Philip W. Trinder, Kevin Hammond, Sahalu B. Junaidu, Richard G. Morgan, Simon L. Peyton Jones: Engineering parallel symbolic programs in GPH. Concurrency - Practice and Experience 11(12): 701-752 (1999) | |
1998 | ||
7 | Philip W. Trinder, Kevin Hammond, Hans-Wolfgang Loidl, Simon L. Peyton Jones: Algorithms + Strategy = Parallelism. J. Funct. Program. 8(1): 23-60 (1998) | |
1997 | ||
6 | EE | Hans-Wolfgang Loidl, Philip W. Trinder: Engineering Large Parallel Functional Programs. Implementation of Functional Languages 1997: 178-197 |
5 | EE | Hans-Wolfgang Loidl, Richard G. Morgan, Philip W. Trinder, Sanjay Poria, Chris Cooper, Simon L. Peyton Jones, Roberto Garigliano: Parallelising a Large Functional Program or: Keeping LOLITA Busy. Implementation of Functional Languages 1997: 198-213 |
1996 | ||
4 | Hans-Wolfgang Loidl, Kevin Hammond: Making a Packet: Cost-Effective Communication for a Parallel Graph Reducer. Implementation of Functional Languages 1996: 184-199 | |
1995 | ||
3 | Hans-Wolfgang Loidl, Kevin Hammond: On the Granularity of Divide-and-Conquer Parallelism. Functional Programming 1995: 8 | |
1994 | ||
2 | Hoon Hong, Hans-Wolfgang Loidl: Parallel Computation of Modular Multivariate Polynominal Resultants on a Shared Memory Machine. CONPAR 1994: 325-336 | |
1993 | ||
1 | Carla Limongelli, Hans-Wolfgang Loidl: Rational Number Artihmetic by Parallel P-adic Algorihtms. ACPC 1993: 72-86 |