2470 search results - page 272 / 494 » Liveness-Preserving Simulation Relations |
150
click to vote
IWSOS
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on ...
189
click to vote
INFOCOM
2008
IEEE
16 years 13 days ago
2008
IEEE
—A new and simple MAC protocol is proposed. Each node transmits a burst with length sampled from a geometric distribution with parameter q followed by a carrier sense slot. A nod...
196
click to vote
IPPS
2008
IEEE
16 years 13 days ago
2008
IEEE
SIMD (single instruction multiple data)-type processors have been found very efficient in image processing applications, because their repetitive structure is able to exploit the...
179
Voted
IROS
2008
IEEE
16 years 13 days ago
2008
IEEE
— A shell is a body enclosed between two closely spaced and curved surfaces. Classical theory of shells [38], [33], [16] assumes a parametrization along the lines of principal cu...
135
click to vote
ISCAS
2008
IEEE
16 years 13 days ago
2008
IEEE
— This paper presents models for estimating the transition activity of signals at the output of adders in Field Programmable Gate Arrays (FPGAs), given only word-level measures o...