28 search results - page 6 / 6 » Bringing Extensibility to Verified Compilers |
ICFP
2008
ACM
16 years 9 days 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...
115
Voted
AAAI
2008
15 years 2 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....
106
Voted
NAS
2010
IEEE
14 years 10 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...