Sciweavers

12289 search results - page 478 / 2458
» computing 2006
Sort
View
ACL2
2006
ACM
16 years 14 days ago
Memories: array-like records for ACL2
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
Jared Davis
IJMMS
2007
88views more  IJMMS 2007»
15 years 6 months ago
The sensual evaluation instrument: Developing a trans-cultural self-report measure of affect
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...
Katherine Isbister, Kristina Höök, Jarmo...
PPOPP
2006
ACM
16 years 13 days ago
Global-view abstractions for user-defined reductions and scans
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...
TAICPART
2006
IEEE
183views Education» more  TAICPART 2006»
16 years 15 days ago
AutoAbstract: Problem Statement and Hypothetical Solutions
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
Shaukat Ali
ECOOPW
2006
Springer
15 years 10 months ago
Fractal Component-Based Software Engineering
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...
Thierry Coupaye, Jean-Bernard Stefani