5838 search results - page 1040 / 1168 » A File System for System Programming in Ubiquitous Computing |
114
Voted
TCS
2010
15 years 1 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
155
click to vote
IEEESCC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...
148
click to vote
HPDC
2009
IEEE
15 years 10 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
135
click to vote
MOBICOM
2010
ACM
15 years 3 months ago
2010
ACM
Mobility traces of people and vehicles have been collected and published to assist the design and evaluation of mobile networks, such as large-scale urban sensing networks. Althou...
147
click to vote
HPCA
2006
IEEE
16 years 3 months ago
2006
IEEE
Computer systems increasingly rely on dynamic, phasebased system management techniques, in which system hardware and software parameters may be altered or tuned at runtime for dif...