1833 search results - page 271 / 367 » Mechanized Verification with Sharing |
158
Voted
SSDBM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Existing approaches to the management of streaming positional updates generally assume that all active user requests have equal importance, ignoring the possibility of an...
137
click to vote
CIRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, a communication-efficient dynamic task scheduling algorithm for a heterogeneous multi-robot system is proposed. To make this task scheduling algorithm to be scal...
139
Voted
COMSWARE
2007
IEEE
15 years 11 months ago
2007
IEEE
— Increasing number of communication softwares are built on distributed architectures based on the Peer-toPeer (P2P) model, such as Skype [1], and PeerCast [2]. This model provid...
122
click to vote
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
The electronics design industry is facing major challenges as transistors continue to decrease in size. The next generation of devices will be so small that the position of indivi...
144
Voted
EUROMICRO
2007
IEEE
15 years 11 months ago
2007
IEEE
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...