3218 search results - page 269 / 644 » Timed Extensions for SDL |
185
click to vote
INFOCOM
2006
IEEE
16 years 18 days ago
2006
IEEE
—This paper studies the performance of contention based medium access control (MAC) protocols. In particular, a simple and accurate technique for estimating the throughput of the...
171
click to vote
IROS
2006
IEEE
16 years 18 days ago
2006
IEEE
— A room is a simple polygon with a prespecified point, called the door, on its boundary. Search starts at the door, and must detect any intruder that may be in the room, while ...
161
click to vote
KBSE
2006
IEEE
16 years 18 days ago
2006
IEEE
To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If mu...
170
click to vote
LICS
2006
IEEE
16 years 18 days ago
2006
IEEE
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
151
click to vote
VLSID
2006
IEEE
16 years 17 days ago
2006
IEEE
In this paper, for the first time, we analyze non-quasistatic (NQS) effects during single-event upsets (SEUs) in deep-submicron (DSM) MOS devices, using extensive 2D device, BSIM...