433 search results - page 65 / 87 » Contracts: From Analysis to C Implementation |
108
click to vote
MOC
2010
14 years 4 months ago
2010
We study H(div) preconditioning for the saddle-point systems that arise in a stochastic Galerkin mixed formulation of the steady-state diffusion problem with random data. The key i...
VLUDS
2010
14 years 4 months ago
2010
In a manufacturing system (MS), a wide range of human activities are applied in production processes. The human factor plays a core role and should be incorporated into the design...
IWCMC
2010
ACM
14 years 11 months ago
2010
ACM
We consider the problem of control traffic overhead in MANETs with long-lived connections, operating under a reactive routing protocol (e.g. AODV). In such settings, control traff...
79
Voted
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We investigate in this paper the performance of a file sharing principle similar to the one implemented by eMule. For this purpose, we consider a system composed of N peers becomi...
164
click to vote
FAST
2011
14 years 1 months ago
2011
Shared storage underlies most enterprise VM deployments because it is an established technology that administrators are familiar with and because it good job of protecting data. H...