Sciweavers

782 search results - page 25 / 157
» Numerical Recipes in C
Sort
View
FAST
2010
13 years 10 months ago
End-to-end Data Integrity for File Systems: A ZFS Case Study
We present a study of the effects of disk and memory corruption on file system data integrity. Our analysis focuses on Sun's ZFS, a modern commercial offering with numerous r...
Yupu Zhang, Abhishek Rajimwale, Andrea C. Arpaci-D...
AAAI
1994
13 years 9 months ago
Activity Analysis: The Qualitative Analysis of Stationary Points for Optimal Reasoning
We present a theory of a modeler's problem decomposition skills in the context of optimal reasonzng -- the use of qualitative modeling to strategically guide numerical explor...
Brian C. Williams, Jonathan Cagan
FGCS
2006
83views more  FGCS 2006»
13 years 7 months ago
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
We present a new algorithm for computing the solution of large Markov chain models whose generators can be represented in the form of a generalized tensor algebra, such as network...
Anne Benoit, Brigitte Plateau, William J. Stewart
FGCS
2006
70views more  FGCS 2006»
13 years 7 months ago
GrAL--the grid algorithms library
6 Dedicated library support for mesh-level geometry components, central to numerical PDE solution, is scarce. We claim that the situation is due to the inadequacy of traditional de...
Guntram Berti
IJSYSC
2006
63views more  IJSYSC 2006»
13 years 7 months ago
Experimental demonstration of coordinated control for multi-vehicle teams
: This paper introduces two unique testbeds that have recently been developed at MIT to demonstrate coordination and control algorithms for teams of autonomous UAVs. The first test...
Ellis King, Yoshiaki Kuwata, Jonathan P. How