98 search results - page 9 / 20 » In memory of Manuel Bronstein |
HPCA
2001
IEEE
14 years 7 months ago
2001
IEEE
The memory overhead introduced by directories constitutes a major hurdle in the scalability of cc-NUMA architectures, which makes the shared-memory paradigm unfeasible for very la...
EUROMICRO
1998
IEEE
13 years 11 months ago
1998
IEEE
Several studies have demonstrated that out-of-order execution processors may not be the most adequate organization for wide issue processors due to the increasing penalties that w...
CASES
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we study, through a concrete case, the feasibility of using a high-level, general-purpose logic language in the design and implementation of applications targeting w...
PADL
2004
Springer
14 years 22 days ago
2004
Springer
We describe the current status of and provide performance results for a prototype compiler of Prolog to C, ciaocc. ciaocc is novel in that it is designed to accept different kinds...
ICLP
1995
Springer
13 years 11 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...