3101 search results - page 379 / 621 » Using Relational Databases in the Engineering Repository Sys... |
168
Voted
ICFEM
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
196
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
208
click to vote
ECWEB
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...
174
click to vote
PDPTA
2000
15 years 8 months ago
2000
Design of cluster file system is very important for building a general-purpose cluster with commodity components. To provide scalable high I/O performance needed in the scientific...
280
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
Algorithms that exploit sort orders are widely used to implement joins, grouping, duplicate elimination and other set operations. Query optimizers traditionally deal with sort ord...