Sciweavers

1723 search results - page 33 / 345
» Generalized file system dependencies
Sort
View
SAC
2003
ACM
15 years 3 months ago
UbiData: Ubiquitous Mobile File Service
One of the most challenging objectives of mobile data management is the ubiquitous, any time, anywhere access. This objective is very difficult to meet due to several network and ...
Jinsuo Zhang, Abdelsalam Helal, Joachim Hammer
AAECC
1998
Springer
167views Algorithms» more  AAECC 1998»
14 years 9 months ago
Generalized Bezout Identity
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
J. F. Pommaret, Alban Quadrat
HPDC
2008
IEEE
15 years 4 months ago
enabling cross-layer optimizations in storage systems with custom metadata
Today, several data-storage systems allow applications to create and manage custom metadata to improve data search and navigability in large-scale storage systems. Our thesis is t...
Elizeu Santos-Neto, Samer Al-Kiswany, Nazareno And...
LISA
2003
14 years 11 months ago
New NFS Tracing Tools and Techniques for System Analysis
Passive NFS traces provide an easy and unobtrusive way to measure, analyze, and gain an understanding of an NFS workload. Historically, such traces have been used primarily by fil...
Daniel Ellard, Margo I. Seltzer
ISARCS
2010
156views Hardware» more  ISARCS 2010»
14 years 11 months ago
A Road to a Formally Verified General-Purpose Operating System
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...
Martin Decký