3116 search results - page 465 / 624 » Positively dependent types |
157
click to vote
SBCCI
2005
ACM
16 years 1 days ago
2005
ACM
Gate oxide tunneling current Igate and sub-threshold current Isub dominate the leakage of designs. The latter depends on threshold voltage Vth while Igate vary with the thickness ...
139
click to vote
SIGMETRICS
2005
ACM
16 years 1 days ago
2005
ACM
This paper considers the basic problem of “how accurate can we make Internet performance measurements”. The answer is somewhat counter-intuitive in that there are bounds on th...
194
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
In vague queries, a user enters a value that represents some real world object and expects as the result the set of database values that represent this real world object even with ...
184
click to vote
FSE
2005
Springer
16 years 21 hour ago
2005
Springer
A T-function is a mapping from n-bit words to n-bit words in which for each 0 ≤ i < n, bit i of any output word can depend only on bits 0, 1, . . . , i of any input word. All ...
165
click to vote
ICSE
2005
IEEE-ACM
16 years 8 hour ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...