8874 search results - page 384 / 1775 » A New Implementation of Automath |
159
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
The Graspables project is an exploration of how measuring the way people hold and manipulate objects can be used as a user interface. As computational ability continues to be impl...
147
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
For my dissertation, I am designing, implementing and evaluating the use of a new kind of "authorable" virtual peer that allows children with autism to learn about recip...
158
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper a new technique for partial product reduction based on the use of look-up tables for efficient processing is presented. We describe how to construct counter devices ...
273
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
192
click to vote
OSDI
2008
ACM
16 years 7 months ago
2008
ACM
Artemis is a modular application designed for analyzing and troubleshooting the performance of large clusters running datacenter services. Artemis is composed of four modules: (1)...