2394 search results - page 29 / 479 » Implementing Mobile Haskell |
SMC
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, we experimentally implement and validate distributed consensus algorithms on a mobile actuator and sensor network platform under directed, possibly switching int...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Mobile platforms such as smart-phones and tablet computers have attained the technological capacity to perform tasks beyond their intended purposes. The steady increase of process...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. Type Classes have met a large success in Haskell and Isabelle, as a solution for sharing notations by overloading and for specith abstract structures by quantification o...
JFP
2007
13 years 7 months ago
2007
Delimited continuations are more expressive than traditional abortive continuations and they apparently require a framework beyond traditional continuation-passing style (CPS). We...
IWMM
2011
Springer
12 years 10 months ago
2011
Springer
In a parallel, shared-memory, language with a garbage collected heap, it is desirable for each processor to perform minor garbage collections independently. Although obvious, it i...