5451 search results - page 1036 / 1091 » Typed Operational Semantics |
210
Voted
GIS
2006
ACM
16 years 3 months ago
2006
ACM
Efficient evaluation of spatial queries is an important issue in spatial database. Among spatial operations, spatial join is very useful, intersection being the most common predic...
132
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
In this paper we propose a novel integrated circuit and architectural level technique to reduce leakage power consumption in high performance cache memories using single Vt (trans...
126
click to vote
DAC
2002
ACM
16 years 3 months ago
2002
ACM
The design of high-throughput large-state Viterbi decoders relies on the use of multiple arithmetic units. The global communication channels among these parallel processors often ...
110
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Three-dimensional (3-D) integrated circuits have emerged as promising candidates to overcome the interconnect bottlenecks of nanometer scale designs. While they offer several othe...
123
Voted
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...