10633 search results - page 1870 / 2127 » Relating Distributed Objects |
103
Voted
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
133
Voted
HPDC
2010
IEEE
15 years 3 months ago
2010
IEEE
As the number of cores inside compute clusters continues to grow, the scalability of MPI (Message Passing Interface) is important to ensure that programs can continue to execute o...
145
click to vote
AR
2008
15 years 2 months ago
2008
The performance of robotic and prosthetic hands in unstructured environments is severely limited by their having little or no tactile information compared to the rich tactile feed...
105
click to vote
APPML
2007
15 years 2 months ago
2007
The problem of optimal transportation between a set of sources and a set of wells has become recently the object of new mathematical models generalizing the Monge-Kantorovich prob...
106
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: In a previous study, we demonstrated that some essential proteins from pathogenic organisms contained sizable insertions/deletions (indels) when aligned to human prote...