10055 search results - page 1657 / 2011 » Structured programming using processes |
114
click to vote
WEBDB
2009
Springer
15 years 9 months ago
2009
Springer
The question whether a given set of views, defined by queries, can be used to answer another query, arises in several contexts such as query optimization, data integration and se...
122
click to vote
PVM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Most parallel systems on which MPI is used are now hierarchical: some processors are much closer to others in terms of interconnect performance. One of the most common su...
110
click to vote
SAT
2007
Springer
15 years 9 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
153
click to vote
IBERAMIA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we tackle the problem of providing a mobile robot with the ability to build a map of its environment using data gathered during navigation. The data correspond to the...
155
click to vote
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...