242 search results - page 29 / 49 » Generative Power of CCGs with Generalized Type-Raised Catego... |
DAC
2012
ACM
11 years 11 months ago
2012
ACM
Due to the breakdown of Dennardian scaling, the percentage of a silicon chip that can switch at full frequency is dropping exponentially with each process generation. This utiliza...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
VEE
2009
ACM
14 years 3 months ago
2009
ACM
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
ISLPED
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...