2968 search results - page 285 / 594 » Network Programming Using PLAN |
111
click to vote
ICFP
2005
ACM
16 years 3 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
129
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
We report our experience in implementing type and memory safety in an efficient manner for sensor network nodes running TinyOS: tiny embedded systems running legacy, C-like code. ...
137
click to vote
CACM
2010
15 years 3 months ago
2010
Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as ...
109
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
113
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— This paper considers two issues arising in an integrated IEEE 802.16e/802.11 network: 1) finding a possible network, which mobile station (MSTA) can switch to, and 2) ...