2647 search results - page 388 / 530 » Solving Term Inequalities |
180
click to vote
DPD
2002
15 years 6 months ago
2002
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...
174
click to vote
MOC
2000
15 years 6 months ago
2000
A new formulation, a gauge formulation of the incompressible Navier-Stokes equations in terms of an auxiliary field a and a gauge variable , u = a + , was proposed recently by E an...
136
click to vote
SIAMAM
2000
15 years 6 months ago
2000
This paper deduces a new model aimed at simulating injection molding processes under isothermal conditions. These processes can be generally stated as infiltration problems in init...
153
click to vote
DSE
1998
15 years 6 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
161
click to vote
JACM
2002
15 years 6 months ago
2002
Given a collection of contigs and mate-pairs. The Contig Scaffolding Problem is to order and orientate the given contigs in a manner that is consistent with as many mate-pairs as p...