Sciweavers

17450 search results - page 522 / 3490
» Numerical Methods with Applications
Sort
View
FAST
2010
15 years 9 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...
208
Voted
AOIS
2003
15 years 8 months ago
Comparing Agent-Oriented Methodologies
Numerous methodologies for developing agent-based systems have been proposed in the literature. However, their application is still limited due to their lack of maturity. Evaluati...
Khanh Hoa Dam, Michael Winikoff
206
Voted
SIAMAM
2010
104views more  SIAMAM 2010»
15 years 5 months ago
Guided Surface Waves on One- and Two-Dimensional Arrays of Spheres
Guided acoustic waves propagating along one- and two-dimensional arrays of rigid spheres are studied semi-analytically. The quasi-periodic wave field is constructed as a superposi...
I. Thompson, C. M. Linton
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 5 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
178
Voted
ICRA
2009
IEEE
123views Robotics» more  ICRA 2009»
15 years 5 months ago
Time-minimal path planning in dynamic current fields
Numerous approaches have been proposed for path planning in dynamic current fields, for a fixed departure time. However, in many applications, the departure time is not necessarily...
Michaël Soulignac, Patrick Taillibert, Michel...