14190 search results - page 2680 / 2838 » Abstractions for hybrid systems |
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Virtual Output Queuing is widely used by highspeed packet switches to overcome head-of-line blocking. This is done by means of matching algorithms. In fixed-length VOQ...
115
click to vote
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...
170
click to vote
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper considers jointly optimal design of crosslayer congestion control, routing and scheduling for ad hoc wireless networks. We first formulate the rate constrai...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...