6202 search results - page 368 / 1241 » Without Loss of Generality |
181
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Automatically determining the situation of an ad-hoc group of people and devices within a smart environment is a significant challenge in pervasive computing systems. Current appr...
159
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
As RFID tags are increasingly attached to everyday items, it quickly becomes impractical to collect data from every tag in order to extract useful information. In this paper, we c...
175
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
We analyze the effect of errors in branch predictors, a representative example of speculative processor subsystems, to motivate the necessity for fault tolerance in such subsystem...
148
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
A contention-sensitive data structure is a concurrent data structure in which the overhead introduced by locking is eliminated in the common cases, when there is no contention, or ...
181
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...