3053 search results - page 230 / 611 » Performance of Generative Programming Based Protocol Impleme... |
118
Voted
ASPLOS
2006
ACM
15 years 6 months ago
2006
ACM
Sketching is a software synthesis approach where the programmer develops a partial implementation — a sketch — and a separate specification of the desired functionality. The ...
101
Voted
CGO
2010
IEEE
15 years 7 months ago
2010
IEEE
Tiling, a key transformation for optimizing programs, has been widely studied in literature. Parameterized tiled code is important for auto-tuning systems since they often execute...
106
Voted
RTAS
1998
IEEE
15 years 4 months ago
1998
IEEE
RSVP is a bandwidth reservation protocol that allows distributed real-time applications such as video-conferencing software to make bandwidth reservations over packetswitched netw...
122
Voted
PADL
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
103
Voted
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
We present a new protocol for routing in multi-radio, multi-hop wireless networks. Our protocol, Multi-Radio Link-Quality Source Routing, is designed for wireless networks with st...