28 search results - page 6 / 6 » Bringing Extensibility to Verified Compilers |
ICFP
2008
ACM
14 years 4 months ago
2008
ACM
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
AAAI
2008
13 years 7 months ago
2008
This paper studies commitments in multiagent systems. A dialectical commitment corresponds to an agent taking a position about a putative fact, including for the sake of argument....
NAS
2010
IEEE
13 years 2 months ago
2010
IEEE
The past five years witnessed a rapid development in wireless sensor networks, which have been widely used in military and civilian applications. Due to different requirements in t...