3516 search results - page 178 / 704 » Programming Languages: Application and Interpretation |
163
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
270
click to vote
ICFP
2009
ACM
16 years 6 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
179
click to vote
CASES
2001
ACM
15 years 9 months ago
2001
ACM
The rapid growth of silicon densities has made it feasible to deploy reconfigurable hardware as a highly parallel computing platform. However, in most cases, the application needs...
182
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
In the last years we have developed a platform for the realization of embodied (conversational) agents, in a distributed logic programming framework. In this paper we will present...
188
click to vote
POPL
1998
ACM
15 years 10 months ago
1998
ACM
constraint solver. The other infers annotations on bound variables in function abstractions by propagating type constraints downward from enclosing application nodes. We motivate o...