4463 search results - page 229 / 893 » computer 2000 |
168
click to vote
FCCM
2000
IEEE
15 years 9 months ago
2000
IEEE
Custom computing systems exhibit significant speedups over traditional microprocessors by mapping compute-intensive sections of a program to reconfigurable logic [Hauck98]. Howeve...
138
click to vote
VR
2000
IEEE
15 years 9 months ago
2000
IEEE
Although technologies such as head mounted displays and CAVEs can be used to provide large immersive visual displays within small physical spaces, it is difficult to provide virt...
131
click to vote
CSCW
2000
ACM
15 years 9 months ago
2000
ACM
Environmental factors affecting shared spaces are typically designed to appeal to the broadest audiences they are expected to serve, ignoring the preferences of the people actuall...
154
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
135
click to vote
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...