7195 search results - page 322 / 1439 » On Computing Power |
138
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
121
click to vote
TCS
1998
15 years 4 months ago
1998
The notion of treewidth has seen to be a powerful vehicle for many graph algorithmic studies. This survey paper wants to give an overview of many classes of graphs that can be see...
128
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
Electronic textiles, known as computational fabrics, offer an emerging method for constructing wearable and large area applications. Because e-textiles are battery-driven and faul...
118
click to vote
SAC
1998
ACM
15 years 9 months ago
1998
ACM
This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
139
click to vote
MICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
Dynamic Random Access Memory (DRAM) is used as the bulk of the main memory in most computing systems and its energy and power consumption has become a first-class design considera...