63 search results - page 13 / 13 » Distributed Controller Synthesis for Local Specifications |
TMC
2008
13 years 4 months ago
2008
There is a vast literature on the throughput analysis of the IEEE 802.11 media access control (MAC) protocol. However, very little has been done on investigating the interplay betw...
ICFP
2003
ACM
14 years 4 months ago
2003
ACM
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
ANCS
2008
ACM
13 years 7 months ago
2008
ACM
We describe the implementation of an OpenFlow Switch on the NetFPGA platform. OpenFlow is a way to deploy experimental or new protocols in networks that carry production traffic. ...