2863 search results - page 385 / 573 » Comparing Operating Systems Using Robustness Benchmarks |
166
Voted
CPHYSICS
2010
15 years 3 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
136
Voted
SLOGICA
2008
15 years 3 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
141
Voted
FAST
2010
15 years 6 months ago
2010
Data deduplication has become a popular technology for reducing the amount of storage space necessary for backup and archival data. Content defined chunking (CDC) techniques are w...
123
Voted
DSS
2008
15 years 3 months ago
2008
In this paper we consider a multi-agent system (MAS) for the logistics control of Automatic Guided Vehicles (AGVs) that are used in the dough making process at an industrial baker...
141
click to vote
USENIX
2007
15 years 6 months ago
2007
Random peer selection is used by numerous P2P applications; examples include application-level multicast, unstructured file sharing, and network location mapping. In most of thes...