We have written a new records library for modelling fixedsize arrays and linear memories. Our implementation provides fixnum-optimized O(log2 n) reads and writes from ad
In this paper we describe the development and testing of a tool for self-assessment of affect while interacting with computer systems, meant to be used in many cultures. We discus...
iew Abstractions for User-Defined Reductions and Scans iew Abstractions for User-Defined Reductions and Scans PPoPP March 29, 2006 Steve Deitz Brad Chamberlain David Callahan Larry...
Steven J. Deitz, David Callahan, Bradford L. Chamb...
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
This article is a report on the 5th international workshop devoted to the Fractal component model that took place the 4th of July 2006 in Nantes, France, as an ECOOP workshop. Prio...