17298 search results - page 165 / 3460 » Abstract computing machines |
101
Voted
ELP
1989
15 years 7 months ago
1989
BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...
99
Voted
CF
2005
ACM
15 years 5 months ago
2005
ACM
We survey results of a quarter century of work on computation by reversible general-purpose computers (in this setting Turing machines), and general reversible simulation of irrev...
88
Voted
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
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...
120
click to vote
CHI
1997
ACM
15 years 7 months ago
1997
ACM
Establishing that machines cannot automate creative design and that it is a difficult task for humans, I propose a computational model based on the human and machine complementari...
140
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Many natural problems in computer science concern structures like graphs where elements are not inherently ordered. In contrast, Turing machines and other common models of computa...