5838 search results - page 401 / 1168 » A File System for System Programming in Ubiquitous Computing |
155
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
147
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...
253
click to vote
POPL
2001
ACM
16 years 5 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
148
click to vote
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
189
click to vote
UPP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Achieving real-time response to complex, ambiguous, highbandwidth data is impractical with conventional programming. Only the narrow class of compressible input-output ma...