5838 search results - page 724 / 1168 » A File System for System Programming in Ubiquitous Computing |
158
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
186
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
186
click to vote
DATESO
2006
15 years 8 months ago
2006
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
187
click to vote
CACM
2010
15 years 4 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
196
click to vote
EUROPAR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present PerfMiner, a system for the transparent collection, storage and presentation of thread-level hardware performance data across an entire cluster. Every sub-proc...