2477 search results - page 401 / 496 » Parallelizing Functional Programs by Generalization |
148
click to vote
HPDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Today Graphics Processing Units (GPUs) are a largely underexploited resource on existing desktops and a possible costeffective enhancement to high-performance systems. To date, mo...
127
Voted
CHI
2010
ACM
15 years 9 months ago
2010
ACM
In designing for engagement at a public multi-touch installation, we identified supporting multiple users and allowing for gradual discovery as challenges. In this paper, we prese...
120
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
We observed a general problem of sequential programs, which often results in design and programming errors in industrial software engineering projects, and propose a solution appr...
100
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Use case diagrams (UCDs) are widely used to describe requirements and desired functionality of software products. However, UCDs are loosely linked to source code, and maintaining ...
223
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction applicatio...