7694 search results - page 827 / 1539 » An Implementation of an Applicative File System |
191
click to vote
AMR
2003
Springer
16 years 26 days ago
2003
Springer
As more and more knowledge and information becomes available through computers, a critical capability of systems supporting knowledge management is the classification of documents ...
213
click to vote
ECOOP
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. Embedded computer control is increasingly common in appliances, vehicles, communication devices, medical instruments, and many other systems. Some embedded computer syste...
203
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
190
click to vote
ICMCS
1994
IEEE
15 years 11 months ago
1994
IEEE
Continuous media playback suffers when a station's operating system offers insufficient 1/0 throughput. Conventional 1/0 system structures support a memory-oriented read and ...
237
click to vote
SIGMOD
1993
ACM
15 years 11 months ago
1993
ACM
Abstract: We propose a framework for the specification of extensible database systems. A particular goal is to implement a software component for parsing and rule-based optimizatio...