18306 search results - page 3458 / 3662 » Algorithmics in Exponential Time |
127
click to vote
MIDDLEWARE
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...
144
click to vote
PDP
2010
IEEE
15 years 20 days ago
2010
IEEE
—In the virtual execution environment, dynamic computing resource adjustment technique, configuring the computing resource of virtual machines automatically according to the actu...
157
click to vote
PPDP
2010
Springer
15 years 20 days ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
111
click to vote
RAS
2010
15 years 20 days ago
2010
An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate loc...
140
click to vote
SCP
2010
15 years 20 days ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...