1875 search results - page 95 / 375 » A Calculus of Broadcasting Systems |
119
Voted
INFOCOM
2010
IEEE
2010
IEEE
Throughput and Delay Analysis on Uncoded and Coded Wireless Broadcast with Hard Deadline Constraints
15 years 1 months ago
Multimedia streaming applications have stringent QoS requirements. Typically each packet is associated with a packet delivery deadline. This work models and considers realtime stre...
134
Voted
DBPL
1995
Springer
15 years 7 months ago
1995
Springer
We study the problem of maintaining recursively-de ned views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanis...
128
Voted
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—This research considers network coded broadcast system with multi-rate transmission and dual queue stability constraints. Existing network coded broadcast systems consider singl...
170
Voted
VMCAI
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
163
Voted
SEFM
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...