5838 search results - page 260 / 1168 » A File System for System Programming in Ubiquitous Computing |
134
click to vote
GRID
2006
Springer
15 years 4 months ago
2006
Springer
Existing data grid scheduling systems handle huge data I/O via replica location services coupled with simple staging, decoupled from scheduling of computing tasks. However, when th...
143
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
115
click to vote
IANDC
2008
15 years 4 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
100
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
We present a novel system for performing information management in a unified manner. Users currently must manage large amounts of data which may be fragmented across file formats ...
127
click to vote
WFLP
2000
Springer
15 years 7 months ago
2000
Springer
Constructor Systems (CSs) are an important subclass of Term Rewriting Systems (TRSs) which can be used stract model of some programming languages. While normalizing strategies are...