7508 search results - page 1139 / 1502 » A new approach for distributed computing in avionics systems |
195
Voted
DIALM
2007
ACM
15 years 10 months ago
2007
ACM
Reliable broadcast can be a very useful primitive for many distributed applications, especially in the context of sensoractuator networks. Recently, the issue of reliable broadcas...
179
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--A hybrid MPI/Pthreads parallelization was implemented in the RAxML phylogenetics code. New MPI code was added to the existing Pthreads production code to exploit parallel...
207
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Elucidating biological networks between proteins appears nowadays as one of the most important challenges in systems biology. Computational approaches to this problem ...
196
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
This paper develops a model for exceptions and an approach for incorporating them in commitment protocols among autonomous agents. Modeling and handling exceptions is critical for...
180
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...