13489 search results - page 495 / 2698 » Operating System |
151
click to vote
SRDS
2000
IEEE
15 years 11 months ago
2000
IEEE
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
172
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Time-sharing operating systems may delay application processing of incoming messages because other processes are scheduled when the messages arrive. In this paper, we present a sim...
179
click to vote
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
We study parallel algorithms for computing the minimum spanning tree of a weighted undirected graph G with n vertices and m edges. We consider an input graph G with m=n p, where p...
250
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
Smartphones enable a new, rich user experience in pervasive computing, but their hardware is still very limited in terms of computation, memory, and energy reserves, thus limiting...
174
Voted
USS
2008
15 years 9 months ago
2008
A fundamental tension exists between safety in the common case and security under adversarial conditions for wireless implantable medical devices. We propose a class of new, fail-...