Sciweavers

650 search results - page 64 / 130
» Strictly-Regular Number System and Data Structures
Sort
View
133
Voted
USENIX
1990
15 years 5 months ago
Implementation of the Ficus Replicated File System
As we approach nation-wide integration of computer systems, it is clear that le replication will play a key role, both to improve data availability in the face of failures, and to...
Richard G. Guy, John S. Heidemann, Wai-Kei Mak, Th...
DEXA
1994
Springer
102views Database» more  DEXA 1994»
15 years 7 months ago
The Design and Implementation of a Legal Text Database
We describe the design and implementation of a legal text database. The database of provides a number of Greek Council of State decisions in the form of a computer-accessible mediu...
Diomidis Spinellis
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 5 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
112
Voted
FAST
2003
15 years 5 months ago
Semantically-Smart Disk Systems
We propose and evaluate the concept of a semantically-smart disk system (SDS). As opposed to a traditional “smart” disk, an SDS has detailed knowledge of how the file system ...
Muthian Sivathanu, Vijayan Prabhakaran, Florentina...
256
Voted
ICDE
2008
IEEE
141views Database» more  ICDE 2008»
16 years 5 months ago
A General Framework for Fast Co-clustering on Large Datasets Using Matrix Decomposition
Abstract-- Simultaneously clustering columns and rows (coclustering) of large data matrix is an important problem with wide applications, such as document mining, microarray analys...
Feng Pan, Xiang Zhang, Wei Wang 0010