Learn More
We present the architecture and implementation results for Panda 2.0, a library for input and output of multidimensional arrays on parallel and sequential platforms. Panda achieves remarkable performance levels on the IBM SP2, showing excellent scalability as data size increases and as the number of nodes increases, and provides throughputs close to the(More)
This paper gives a static semantics for a large subset of Haskell, including giving a translation into a language without overloading. It is our intention to cover the complete language in due course. One innovative aspect is the use of ideas from the second-order lambda calculus to record type information in the program.
This document specifies an Internet standards track protocol for the Internet community, and requests discussion and suggestions for improvements. Please refer to the current edition of the "Internet Official Protocol Standards" (STD 1) for the standardization state and status of this protocol. Distribution of this memo is unlimited. Abstract This memo(More)
This paper describes the new runtime system being developed for the Glasgow Haskell Compiler. The goal is to provide support for mixed interpreted/compiled execution of Haskell programs, with Hugs as the interpreter. In the process, we've taken the opportunity to x some of the deeciencies of the old system (such as garbage collection of CAFs), add some new(More)
The aim of the ISPIDER project is to create a proteomics grid; that is, a technical platform that supports bioinformaticians in constructing, executing and evaluating in silico analyses of proteomics data. It will be constructed using a combination of generic e-science and Grid technologies, plus proteomics specific components and clients that embody(More)
Purpose – The purpose of this study is to evaluate the development of a blended e-learning pedagogical model for an undergraduate enterprise programme. The proliferation of e-learning programmes offers new opportunities and challenges for universities to meet the learning needs of new student markets. However, the use of e-learning as an enabling mechanism(More)