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 technical advances that have enabled a framework for performance modeling to become practical for analyzing the performance of HPC applications.
This paper presents an experimental evaluation of a
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)
ISMM is a forum for research in management of dynamically allocated memory. Areas of interest include but are not limited to: explicit storage allocation and deallocation; garbage collection algorithms and implementations; compiler analyses to aid memory management; interactions with languages, operating systems, and hardware, especially the memory system;… (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)