5451 search results - page 710 / 1091 » Typed Operational Semantics |
189
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Voltage scaling is one of the most effective mechanisms to reduce microprocessor power consumption. However, the increased severity of manufacturing-induced parameter variations a...
168
click to vote
ACSC
2007
IEEE
16 years 1 months ago
2007
IEEE
Mobile technology is particularly suited to a fully distributed (replicated) architecture for collaborative work. Users can maintain their own document copies, and can continue to...
193
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
In a recent work, we have shown that it is not possible to dependably build any type of distributed f fault or intrusiontolerant system under the asynchronous model. This result f...
292
click to vote
AFPAC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Most of the processing in vision today uses spatially invariant operations. This gives efficient and compact computing structures, with the conventional convenient separa...
191
click to vote
SIGMOD
1997
ACM
15 years 11 months ago
1997
ACM
A range query applies an aggregation operation over all selected cells of an OLAP data cube where the selection is speci ed by providing ranges of values for numeric dimensions. W...